Test.StateMachine.Internal.Types.Environment

This module contains environments that are used to translate between symbolic and concrete references. It's taken verbatim from the Hedgehog library.

Documentation

newtype Environment

A mapping of symbolic values to concrete values.

Constructors

Environment

Fields

• unEnvironment :: Map Var Dynamic

Instances

Show Environment

Methods

showsPrec :: Int -> Environment -> ShowS

show :: Environment -> String

showList :: [Environment] -> ShowS

data EnvironmentError

Environment errors.

Constructors

EnvironmentValueNotFound !Var

EnvironmentTypeError !TypeRep !TypeRep

Instances

Eq EnvironmentError

Methods

(==) :: EnvironmentError -> EnvironmentError -> Bool

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

Ord EnvironmentError

Methods

compare :: EnvironmentError -> EnvironmentError -> Ordering

(<) :: EnvironmentError -> EnvironmentError -> Bool

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

(>) :: EnvironmentError -> EnvironmentError -> Bool

(>=) :: EnvironmentError -> EnvironmentError -> Bool

max :: EnvironmentError -> EnvironmentError -> EnvironmentError

min :: EnvironmentError -> EnvironmentError -> EnvironmentError

Show EnvironmentError

Methods

showsPrec :: Int -> EnvironmentError -> ShowS

show :: EnvironmentError -> String

showList :: [EnvironmentError] -> ShowS

emptyEnvironment :: Environment

Create an empty environment.

insertConcrete :: Symbolic a -> Concrete a -> Environment -> Environment

Insert a symbolic / concrete pairing in to the environment.

reifyDynamic :: forall a. Typeable a => Dynamic -> Either EnvironmentError (Concrete a)

Cast a Dynamic in to a concrete value.

reifyEnvironment :: Environment -> forall a. Symbolic a -> Either EnvironmentError (Concrete a)

Turns an environment in to a function for looking up a concrete value from a symbolic one.

reify :: HTraversable t => Environment -> t Symbolic b -> Either EnvironmentError (t Concrete b)

Convert a symbolic structure to a concrete one, using the provided environment.