Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
Documentation
Typed environments for mapping `Var a` to a
singletonEnv ∷ (Typeable a, Show a) ⇒ Var a → a → Env Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Typed environments for mapping `Var a` to a
singletonEnv ∷ (Typeable a, Show a) ⇒ Var a → a → Env Source #