utility-ht-0.0.17.1: src/DocTest/Data/Maybe/HT.hs

-- Do not edit! Automatically created with doctest-extract from src/Data/Maybe/HT.hs
{-# LINE 6 "src/Data/Maybe/HT.hs" #-}

module DocTest.Data.Maybe.HT where

import Data.Maybe.HT
import qualified Test.DocTest.Driver as DocTest

{-# LINE 7 "src/Data/Maybe/HT.hs" #-}
import     Control.Monad (guard)

test :: DocTest.T ()
test = do
 DocTest.printPrefix "Data.Maybe.HT:15: "
{-# LINE 15 "src/Data/Maybe/HT.hs" #-}
 DocTest.property(
{-# LINE 15 "src/Data/Maybe/HT.hs" #-}
      \b x ->  (guard b >> x)  ==  (toMaybe b =<< (x::Maybe Char))
  )