Test.StateMachine.Types.References

This module contains reference related types. It's taken almost verbatim from the Hedgehog library.

Documentation

newtype Var

Constructors

Var Int

Instances

Generic Var

Defined in Test.StateMachine.Types.References

Associated Types

type Rep Var :: Type -> Type

Methods

from :: Var -> Rep Var x

to :: Rep Var x -> Var

Read Var

Defined in Test.StateMachine.Types.References

Methods

readsPrec :: Int -> ReadS Var

readList :: ReadS [Var]

readPrec :: ReadPrec Var

readListPrec :: ReadPrec [Var]

Show Var

Defined in Test.StateMachine.Types.References

Methods

showsPrec :: Int -> Var -> ShowS

show :: Var -> String

showList :: [Var] -> ShowS

Eq Var

Defined in Test.StateMachine.Types.References

Methods

(==) :: Var -> Var -> Bool

(/=) :: Var -> Var -> Bool

Ord Var

Defined in Test.StateMachine.Types.References

Methods

compare :: Var -> Var -> Ordering

(<) :: Var -> Var -> Bool

(<=) :: Var -> Var -> Bool

(>) :: Var -> Var -> Bool

(>=) :: Var -> Var -> Bool

max :: Var -> Var -> Var

min :: Var -> Var -> Var

ToExpr Var

Defined in Test.StateMachine.Types.References

Methods

toExpr :: Var -> Expr

listToExpr :: [Var] -> Expr

type Rep Var

Defined in Test.StateMachine.Types.References

type Rep Var = D1 ('MetaData "Var" "Test.StateMachine.Types.References" "quickcheck-state-machine-0.7.2-FX39IRBervmEF0sah0Vq4p" 'True) (C1 ('MetaCons "Var" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data Symbolic a where

Constructors

Symbolic :: Typeable a => Var -> Symbolic a

Instances

Eq1 Symbolic

Defined in Test.StateMachine.Types.References

Methods

liftEq :: (a -> b -> Bool) -> Symbolic a -> Symbolic b -> Bool

Ord1 Symbolic

Defined in Test.StateMachine.Types.References

Methods

liftCompare :: (a -> b -> Ordering) -> Symbolic a -> Symbolic b -> Ordering

Show1 Symbolic

Defined in Test.StateMachine.Types.References

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Symbolic a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Symbolic a] -> ShowS

Typeable a => Read (Symbolic a)

Defined in Test.StateMachine.Types.References

Methods

readsPrec :: Int -> ReadS (Symbolic a)

readList :: ReadS [Symbolic a]

readPrec :: ReadPrec (Symbolic a)

readListPrec :: ReadPrec [Symbolic a]

Show (Symbolic a)

Defined in Test.StateMachine.Types.References

Methods

showsPrec :: Int -> Symbolic a -> ShowS

show :: Symbolic a -> String

showList :: [Symbolic a] -> ShowS

Eq (Symbolic a)

Defined in Test.StateMachine.Types.References

Methods

(==) :: Symbolic a -> Symbolic a -> Bool

(/=) :: Symbolic a -> Symbolic a -> Bool

Ord (Symbolic a)

Defined in Test.StateMachine.Types.References

Methods

compare :: Symbolic a -> Symbolic a -> Ordering

(<) :: Symbolic a -> Symbolic a -> Bool

(<=) :: Symbolic a -> Symbolic a -> Bool

(>) :: Symbolic a -> Symbolic a -> Bool

(>=) :: Symbolic a -> Symbolic a -> Bool

max :: Symbolic a -> Symbolic a -> Symbolic a

min :: Symbolic a -> Symbolic a -> Symbolic a

ToExpr a => ToExpr (Symbolic a)

Defined in Test.StateMachine.Types.References

Methods

toExpr :: Symbolic a -> Expr

listToExpr :: [Symbolic a] -> Expr

Typeable a => Read (Reference a Symbolic)

Defined in Test.StateMachine.Types.References

Methods

readsPrec :: Int -> ReadS (Reference a Symbolic)

readList :: ReadS [Reference a Symbolic]

readPrec :: ReadPrec (Reference a Symbolic)

readListPrec :: ReadPrec [Reference a Symbolic]

data Concrete a where

Constructors

Concrete :: Typeable a => a -> Concrete a

Instances

Eq1 Concrete

Defined in Test.StateMachine.Types.References

Methods

liftEq :: (a -> b -> Bool) -> Concrete a -> Concrete b -> Bool

Ord1 Concrete

Defined in Test.StateMachine.Types.References

Methods

liftCompare :: (a -> b -> Ordering) -> Concrete a -> Concrete b -> Ordering

Show1 Concrete

Defined in Test.StateMachine.Types.References

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Concrete a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Concrete a] -> ShowS

Show a => Show (Concrete a)

Defined in Test.StateMachine.Types.References

Methods

showsPrec :: Int -> Concrete a -> ShowS

show :: Concrete a -> String

showList :: [Concrete a] -> ShowS

ToExpr a => ToExpr (Concrete a)

Defined in Test.StateMachine.Types.References

Methods

toExpr :: Concrete a -> Expr

listToExpr :: [Concrete a] -> Expr

(ToExpr (MockState t), All (And ToExpr (Compose ToExpr (MockHandle t))) (RealHandles t)) => ToExpr (Model t Concrete)

Defined in Test.StateMachine.Lockstep.NAry

Methods

toExpr :: Model t Concrete -> Expr

listToExpr :: [Model t Concrete] -> Expr

All (And ToExpr (Compose ToExpr (MockHandle t))) (RealHandles t) => ToExpr (Refss t Concrete)

Defined in Test.StateMachine.Lockstep.NAry

Methods

toExpr :: Refss t Concrete -> Expr

listToExpr :: [Refss t Concrete] -> Expr

(ToExpr a, ToExpr (MockHandle t a)) => ToExpr (Refs t Concrete a)

Defined in Test.StateMachine.Lockstep.NAry

Methods

toExpr :: Refs t Concrete a -> Expr

listToExpr :: [Refs t Concrete a] -> Expr

newtype Reference a r

Constructors

Reference (r a)

Instances

Foldable (Reference a :: (Type -> Type) -> Type)

Defined in Test.StateMachine.Types.References

Methods

foldMap :: Monoid m => (forall (x :: k). p x -> m) -> Reference a p -> m

Functor (Reference a :: (Type -> Type) -> Type)

Defined in Test.StateMachine.Types.References

Methods

fmap :: (forall (x :: k). p x -> q x) -> Reference a p -> Reference a q

Traversable (Reference a :: (Type -> Type) -> Type)

Defined in Test.StateMachine.Types.References

Methods

traverse :: Applicative f => (forall (a0 :: k). p a0 -> f (q a0)) -> Reference a p -> f (Reference a q)

Generic (Reference a r)

Defined in Test.StateMachine.Types.References

Associated Types

type Rep (Reference a r) :: Type -> Type

Methods

from :: Reference a r -> Rep (Reference a r) x

to :: Rep (Reference a r) x -> Reference a r

Typeable a => Read (Reference a Symbolic)

Defined in Test.StateMachine.Types.References

Methods

readsPrec :: Int -> ReadS (Reference a Symbolic)

readList :: ReadS [Reference a Symbolic]

readPrec :: ReadPrec (Reference a Symbolic)

readListPrec :: ReadPrec [Reference a Symbolic]

(Show1 r, Show a) => Show (Reference a r)

Defined in Test.StateMachine.Types.References

Methods

showsPrec :: Int -> Reference a r -> ShowS

show :: Reference a r -> String

showList :: [Reference a r] -> ShowS

(Eq a, Eq1 r) => Eq (Reference a r)

Defined in Test.StateMachine.Types.References

Methods

(==) :: Reference a r -> Reference a r -> Bool

(/=) :: Reference a r -> Reference a r -> Bool

(Ord a, Ord1 r) => Ord (Reference a r)

Defined in Test.StateMachine.Types.References

Methods

compare :: Reference a r -> Reference a r -> Ordering

(<) :: Reference a r -> Reference a r -> Bool

(<=) :: Reference a r -> Reference a r -> Bool

(>) :: Reference a r -> Reference a r -> Bool

(>=) :: Reference a r -> Reference a r -> Bool

max :: Reference a r -> Reference a r -> Reference a r

min :: Reference a r -> Reference a r -> Reference a r

ToExpr (r a) => ToExpr (Reference a r)

Defined in Test.StateMachine.Types.References

Methods

toExpr :: Reference a r -> Expr

listToExpr :: [Reference a r] -> Expr

type Rep (Reference a r)

Defined in Test.StateMachine.Types.References

type Rep (Reference a r) = D1 ('MetaData "Reference" "Test.StateMachine.Types.References" "quickcheck-state-machine-0.7.2-FX39IRBervmEF0sah0Vq4p" 'True) (C1 ('MetaCons "Reference" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (r a))))

reference :: Typeable a => a -> Reference a Concrete

concrete :: Reference a Concrete -> a

opaque :: Reference (Opaque a) Concrete -> a

newtype Opaque a

Constructors

Opaque a

Instances

Show (Opaque a)

Defined in Test.StateMachine.Types.References

Methods

showsPrec :: Int -> Opaque a -> ShowS

show :: Opaque a -> String

showList :: [Opaque a] -> ShowS

Eq a => Eq (Opaque a)

Defined in Test.StateMachine.Types.References

Methods

(==) :: Opaque a -> Opaque a -> Bool

(/=) :: Opaque a -> Opaque a -> Bool

Ord a => Ord (Opaque a)

Defined in Test.StateMachine.Types.References

Methods

compare :: Opaque a -> Opaque a -> Ordering

(<) :: Opaque a -> Opaque a -> Bool

(<=) :: Opaque a -> Opaque a -> Bool

(>) :: Opaque a -> Opaque a -> Bool

(>=) :: Opaque a -> Opaque a -> Bool

max :: Opaque a -> Opaque a -> Opaque a

min :: Opaque a -> Opaque a -> Opaque a

ToExpr (Opaque a)

Defined in Test.StateMachine.Types.References

Methods

toExpr :: Opaque a -> Expr

listToExpr :: [Opaque a] -> Expr

unOpaque :: Opaque a -> a