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 #

mappendEnvEnvEnv #

mconcat ∷ [Env] → Env #

Semigroup Env Source # 
Instance details

Defined in Constrained.Env

Methods

(<>)EnvEnvEnv #

sconcatNonEmpty EnvEnv #

stimesIntegral b ⇒ b → EnvEnv #

Show Env Source # 
Instance details

Defined in Constrained.Env

Methods

showsPrecIntEnvShowS #

showEnvString #

showList ∷ [Env] → ShowS #

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

Methods

showsPrecIntEnvValueShowS #

showEnvValueString #

showList ∷ [EnvValue] → ShowS #

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

Methods

showsPrecIntEnvKeyShowS #

showEnvKeyString #

showList ∷ [EnvKey] → ShowS #

Eq EnvKey Source # 
Instance details

Defined in Constrained.Env

Methods

(==)EnvKeyEnvKeyBool #

(/=)EnvKeyEnvKeyBool #

Ord EnvKey Source # 
Instance details

Defined in Constrained.Env

Methods

compareEnvKeyEnvKeyOrdering #

(<)EnvKeyEnvKeyBool #

(<=)EnvKeyEnvKeyBool #

(>)EnvKeyEnvKeyBool #

(>=)EnvKeyEnvKeyBool #

maxEnvKeyEnvKeyEnvKey #

minEnvKeyEnvKeyEnvKey #

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 #