constrained-generators-0.2.0.0: Framework for generating constrained random data using a subset of first order logic
Safe HaskellSafe-Inferred
LanguageHaskell2010

Constrained.Env

Synopsis

Documentation

newtype Env Source #

Typed environments for mapping `Var a` to a

Constructors

Env 

Fields

Instances

Instances details
Monoid Env Source # 
Instance details

Defined in Constrained.Env

Methods

memptyEnv Source #

mappendEnvEnvEnv Source #

mconcat ∷ [Env] → Env Source #

Semigroup Env Source # 
Instance details

Defined in Constrained.Env

Methods

(<>)EnvEnvEnv Source #

sconcatNonEmpty EnvEnv Source #

stimesIntegral b ⇒ b → EnvEnv Source #

Show Env Source # 
Instance details

Defined in Constrained.Env

Methods

showsPrecIntEnvShowS Source #

showEnvString Source #

showList ∷ [Env] → ShowS Source #

Pretty Env Source # 
Instance details

Defined in Constrained.Env

Methods

prettyEnvDoc ann Source #

prettyList ∷ [Env] → Doc ann Source #

data EnvValue where Source #

Constructors

EnvValue ∷ (Typeable a, Show a) ⇒ !a → EnvValue 

Instances

Instances details
Show EnvValue Source # 
Instance details

Defined in Constrained.Env

Pretty EnvValue Source # 
Instance details

Defined in Constrained.Env

Methods

prettyEnvValueDoc ann Source #

prettyList ∷ [EnvValue] → Doc ann Source #

data EnvKey where Source #

Constructors

EnvKey ∷ !(Var a) → EnvKey 

Instances

Instances details
Show EnvKey Source # 
Instance details

Defined in Constrained.Env

Eq EnvKey Source # 
Instance details

Defined in Constrained.Env

Methods

(==)EnvKeyEnvKeyBool Source #

(/=)EnvKeyEnvKeyBool Source #

Ord EnvKey Source # 
Instance details

Defined in Constrained.Env

Pretty EnvKey Source # 
Instance details

Defined in Constrained.Env

Methods

prettyEnvKeyDoc ann Source #

prettyList ∷ [EnvKey] → Doc ann Source #

extendEnv ∷ (Typeable a, Show a) ⇒ Var a → a → EnvEnv Source #

removeVarVar a → EnvEnv Source #

singletonEnv ∷ (Typeable a, Show a) ⇒ Var a → a → Env Source #

lookupEnvTypeable a ⇒ EnvVar a → Maybe a Source #

findEnv ∷ (Typeable a, MonadGenError m) ⇒ EnvVar a → m a Source #