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