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 #

sconcat ∷ NonEmpty EnvEnv

stimes ∷ Integral b ⇒ b → EnvEnv

Show Env Source # 
Instance details

Defined in Constrained.Env

Methods

showsPrec ∷ Int → Env → ShowS

showEnv → String

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

showsPrec ∷ Int → EnvValue → ShowS

showEnvValue → String

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

showsPrec ∷ Int → EnvKey → ShowS

showEnvKey → String

showList ∷ [EnvKey] → ShowS

Eq EnvKey Source # 
Instance details

Defined in Constrained.Env

Methods

(==)EnvKeyEnvKey → Bool

(/=)EnvKeyEnvKey → Bool

Ord EnvKey Source # 
Instance details

Defined in Constrained.Env

Methods

compareEnvKeyEnvKey → Ordering

(<)EnvKeyEnvKey → Bool

(<=)EnvKeyEnvKey → Bool

(>)EnvKeyEnvKey → Bool

(>=)EnvKeyEnvKey → Bool

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 #

lookupEnv ∷ Typeable a ⇒ EnvVar a → Maybe a Source #

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