Test.StateMachine.Types.GenSym

Documentation

data GenSym a

Instances

Monad GenSym

Defined in Test.StateMachine.Types.GenSym

Methods

(>>=) :: GenSym a -> (a -> GenSym b) -> GenSym b

(>>) :: GenSym a -> GenSym b -> GenSym b

return :: a -> GenSym a

fail :: String -> GenSym a

Functor GenSym

Defined in Test.StateMachine.Types.GenSym

Methods

fmap :: (a -> b) -> GenSym a -> GenSym b

(<$) :: a -> GenSym b -> GenSym a

Applicative GenSym

Defined in Test.StateMachine.Types.GenSym

Methods

pure :: a -> GenSym a

(<*>) :: GenSym (a -> b) -> GenSym a -> GenSym b

liftA2 :: (a -> b -> c) -> GenSym a -> GenSym b -> GenSym c

(*>) :: GenSym a -> GenSym b -> GenSym b

(<*) :: GenSym a -> GenSym b -> GenSym a

runGenSym :: GenSym a -> Counter -> (a, Counter)

genSym :: Typeable a => GenSym (Reference a Symbolic)

data Counter

Instances

Show Counter

Defined in Test.StateMachine.Types.GenSym

Methods

showsPrec :: Int -> Counter -> ShowS

show :: Counter -> String

showList :: [Counter] -> ShowS

newCounter :: Counter