Constrained.Env
newtype Env Source #
Typed environments for mapping `Var a` to a
a
Constructors
Fields
Defined in Constrained.Env
Methods
mempty ∷ Env #
mappend ∷ Env → Env → Env #
mconcat ∷ [Env] → Env #
(<>) ∷ Env → Env → Env #
sconcat ∷ NonEmpty Env → Env #
stimes ∷ Integral b ⇒ b → Env → Env #
showsPrec ∷ Int → Env → ShowS #
show ∷ Env → String #
showList ∷ [Env] → ShowS #
pretty ∷ Env → Doc ann Source #
prettyList ∷ [Env] → Doc ann Source #
data EnvValue where Source #
showsPrec ∷ Int → EnvValue → ShowS #
show ∷ EnvValue → String #
showList ∷ [EnvValue] → ShowS #
pretty ∷ EnvValue → Doc ann Source #
prettyList ∷ [EnvValue] → Doc ann Source #
data EnvKey where Source #
showsPrec ∷ Int → EnvKey → ShowS #
show ∷ EnvKey → String #
showList ∷ [EnvKey] → ShowS #
(==) ∷ EnvKey → EnvKey → Bool #
(/=) ∷ EnvKey → EnvKey → Bool #
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 → Doc ann Source #
prettyList ∷ [EnvKey] → Doc ann Source #
extendEnv ∷ (Typeable a, Show a) ⇒ Var a → a → Env → Env Source #
removeVar ∷ Var 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 #