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

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

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

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

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.0-BWWTJ8RJVPk3Dmgg7XSpMH" 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

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

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

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

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)

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

(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

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

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

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.0-BWWTJ8RJVPk3Dmgg7XSpMH" 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

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

Show (Opaque a)

Defined in Test.StateMachine.Types.References

Methods

showsPrec :: Int -> Opaque a -> ShowS

show :: Opaque a -> String

showList :: [Opaque a] -> ShowS

ToExpr (Opaque a)

Defined in Test.StateMachine.Types.References

Methods

toExpr :: Opaque a -> Expr

listToExpr :: [Opaque a] -> Expr

unOpaque :: Opaque a -> a