Modulehedgehog-1.7

Hedgehog.Internal.State

11 types
15 values

Packagehedgehog-1.7
Exports26
LicenceBSD-3-Clause

valueaction

:: (MonadGen gen, MonadTest m)
=> [Command gen m state]
-> GenT (StateT (Context state) (GenBase gen)) (Action m state)

valueconcrete :: Var a Concrete -> a

valuedropInvalid :: [Action m state] -> State (Context state) [Action m state]

valueemptyEnvironment :: Environment

valueexecuteParallel

:: (MonadTest m, MonadCatch m, MonadBaseControl IO m, HasCallStack)
=> forall (v :: Type -> Type). state v
-> Parallel m state
-> m ()

valueexecuteSequential

:: (MonadTest m, MonadCatch m, HasCallStack)
=> forall (v :: Type -> Type). state v
-> Sequential m state
-> m ()

valueinsertConcrete :: Symbolic a -> Concrete a -> Environment -> Environment

valueopaque :: Var (Opaque a) Concrete -> a

valueparallel

:: (MonadGen gen, MonadTest m)
=> Range Int
-> Range Int
-> forall (v :: Type -> Type). state v
-> [Command gen m state]
-> gen (Parallel m state)

valuereify

:: TraversableB t
=> Environment
-> t Symbolic
-> Either EnvironmentError (t Concrete)

valuereifyDynamic

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

valuereifyEnvironment

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

valuesequential

:: (MonadGen gen, MonadTest m)
=> Range Int
-> forall (v :: Type -> Type). state v
-> [Command gen m state]
-> gen (Sequential m state)

valuetakeVariables :: TraversableB t => t Symbolic -> Map Name TypeRep

valuevariablesOK :: TraversableB t => t Symbolic -> Map Name TypeRep -> Bool

datadata Action (m :: Type -> Type) (state :: (Type -> Type) -> Type)

Constructors

forall input output. (TraversableB input, Show (input Symbolic), Show output) => Action
- actionInput :: input Symbolic
- actionOutput :: Symbolic output
- actionExecute :: input Concrete -> m output
- actionRequire :: state Symbolic -> input Symbolic -> Bool
- actionUpdate :: forall (v :: Type -> Type). Ord1 v => state v -> input v -> Var output v -> state v
- actionEnsure :: state Concrete -> state Concrete -> input Concrete -> output -> Test ()

Instances1Show

Show (Action m state)Defined in hedgehog-1.7 · Hedgehog.Internal.State

datadata Callback (input :: (Type -> Type) -> Type) output (state :: (Type -> Type) -> Type)

Constructors

Require (state Symbolic -> input Symbolic -> Bool)
Update (forall (v :: Type -> Type). Ord1 v => state v -> input v -> Var output v -> state v)
Ensure (state Concrete -> state Concrete -> input Concrete -> output -> Test ())

datadata Command (gen :: Type -> Type) (m :: Type -> Type) (state :: (Type -> Type) -> Type)

Constructors

forall input output. (TraversableB input, Show (input Symbolic), Show output, Typeable output) => Command
- commandGen :: state Symbolic -> Maybe (gen (input Symbolic))
- commandExecute :: input Concrete -> m output
- commandCallbacks :: [Callback input output state]

newtypenewtype Concrete a where

Constructors

Concrete :: a -> Concrete a

Instances9Functor, Foldable, Traversable, Eq1, Ord1, Show1, …

Functor ConcreteDefined in hedgehog-1.7 · Hedgehog.Internal.State
Foldable ConcreteDefined in hedgehog-1.7 · Hedgehog.Internal.State
Traversable ConcreteDefined in hedgehog-1.7 · Hedgehog.Internal.State
Eq1 ConcreteDefined in hedgehog-1.7 · Hedgehog.Internal.State
Ord1 ConcreteDefined in hedgehog-1.7 · Hedgehog.Internal.State
Show1 ConcreteDefined in hedgehog-1.7 · Hedgehog.Internal.State
Eq a => Eq (Concrete a)Defined in hedgehog-1.7 · Hedgehog.Internal.State
Ord a => Ord (Concrete a)Defined in hedgehog-1.7 · Hedgehog.Internal.State
Show a => Show (Concrete a)Defined in hedgehog-1.7 · Hedgehog.Internal.State

newtypenewtype Environment

Constructors

Environment
- unEnvironment :: Map Name Dynamic

Instances1Show

Show EnvironmentDefined in hedgehog-1.7 · Hedgehog.Internal.State

datadata EnvironmentError

Constructors

EnvironmentValueNotFound !Name
EnvironmentTypeError !TypeRep !TypeRep

Instances3Eq, Ord, Show

Eq EnvironmentErrorDefined in hedgehog-1.7 · Hedgehog.Internal.State
Ord EnvironmentErrorDefined in hedgehog-1.7 · Hedgehog.Internal.State
Show EnvironmentErrorDefined in hedgehog-1.7 · Hedgehog.Internal.State

newtypenewtype Name

Constructors

Name Int

Instances4Eq, Num, Ord, Show

Eq NameDefined in hedgehog-1.7 · Hedgehog.Internal.State
Num NameDefined in hedgehog-1.7 · Hedgehog.Internal.State
Ord NameDefined in hedgehog-1.7 · Hedgehog.Internal.State
Show NameDefined in hedgehog-1.7 · Hedgehog.Internal.State

datadata Parallel (m :: Type -> Type) (state :: (Type -> Type) -> Type)

Constructors

Parallel
- parallelPrefix :: [Action m state]
- parallelBranch1 :: [Action m state]
- parallelBranch2 :: [Action m state]

Instances1Show

Show (Parallel m state)Defined in hedgehog-1.7 · Hedgehog.Internal.State

newtypenewtype Sequential (m :: Type -> Type) (state :: (Type -> Type) -> Type)

Constructors

Sequential
- sequentialActions :: [Action m state]

Instances1Show

Show (Sequential m state)Defined in hedgehog-1.7 · Hedgehog.Internal.State

datadata Symbolic a where

Constructors

Symbolic :: Typeable a => Name -> Symbolic a

Instances6Eq1, Ord1, Show1, Eq, Ord, Show

Eq1 SymbolicDefined in hedgehog-1.7 · Hedgehog.Internal.State
Ord1 SymbolicDefined in hedgehog-1.7 · Hedgehog.Internal.State
Show1 SymbolicDefined in hedgehog-1.7 · Hedgehog.Internal.State
Eq (Symbolic a)Defined in hedgehog-1.7 · Hedgehog.Internal.State
Ord (Symbolic a)Defined in hedgehog-1.7 · Hedgehog.Internal.State
Show (Symbolic a)Defined in hedgehog-1.7 · Hedgehog.Internal.State

newtypenewtype Var a (v :: Type -> Type)

Constructors

Var (v a)

Instances5FunctorB, TraversableB, Eq, Ord, Show

FunctorB (Var a)Defined in hedgehog-1.7 · Hedgehog.Internal.State
TraversableB (Var a)Defined in hedgehog-1.7 · Hedgehog.Internal.State
(Eq a, Eq1 v) => Eq (Var a v)Defined in hedgehog-1.7 · Hedgehog.Internal.State
(Ord a, Ord1 v) => Ord (Var a v)Defined in hedgehog-1.7 · Hedgehog.Internal.State
(Show a, Show1 v) => Show (Var a v)Defined in hedgehog-1.7 · Hedgehog.Internal.State