Safe Haskell	Safe-Inferred
Language	Haskell2010

Constrained.Env

Synopsis

Documentation

Typed environments for mapping `Var a` to a

Constructors

Env
Fields unEnv ∷ Map EnvKey EnvValue

Instances details

Monoid Env Source #
Instance details Defined in Constrained.Env Methods mempty ∷ Env mappend ∷ Env → Env → Env mconcat ∷ [Env] → Env
Semigroup Env Source #
Instance details Defined in Constrained.Env Methods (<>) ∷ Env → Env → Env # sconcat ∷ NonEmpty Env → Env stimes ∷ Integral b ⇒ b → Env → Env
Show Env Source #
Instance details Defined in Constrained.Env Methods showsPrec ∷ Int → Env → ShowS show ∷ Env → String showList ∷ [Env] → ShowS
Pretty Env Source #
Instance details Defined in Constrained.Env Methods pretty ∷ Env → Doc ann Source # prettyList ∷ [Env] → Doc ann Source #

Constructors

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

Instances details

Show EnvValue Source #
Instance details Defined in Constrained.Env Methods showsPrec ∷ Int → EnvValue → ShowS show ∷ EnvValue → String showList ∷ [EnvValue] → ShowS
Pretty EnvValue Source #
Instance details Defined in Constrained.Env Methods pretty ∷ EnvValue → Doc ann Source # prettyList ∷ [EnvValue] → Doc ann Source #

Constructors

Instances details

Show EnvKey Source #
Instance details Defined in Constrained.Env Methods showsPrec ∷ Int → EnvKey → ShowS show ∷ EnvKey → String showList ∷ [EnvKey] → ShowS
Eq EnvKey Source #
Instance details Defined in Constrained.Env Methods (==) ∷ EnvKey → EnvKey → Bool (/=) ∷ EnvKey → EnvKey → Bool
Ord EnvKey Source #
Instance details Defined in Constrained.Env Methods compare ∷ EnvKey → EnvKey → Ordering (<) ∷ EnvKey → EnvKey → Bool (<=) ∷ EnvKey → EnvKey → Bool (>) ∷ EnvKey → EnvKey → Bool (>=) ∷ EnvKey → EnvKey → Bool max ∷ EnvKey → EnvKey → EnvKey min ∷ EnvKey → EnvKey → EnvKey
Pretty EnvKey Source #
Instance details Defined in Constrained.Env Methods pretty ∷ EnvKey → Doc ann Source # prettyList ∷ [EnvKey] → Doc ann Source #

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

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

lookupEnv ∷ Typeable a ⇒ Env → Var a → Maybe a Source #

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