hets -- a heterogenous Specification (CASL) tool set
Contents
Index
Haskell.Hatchet.Env
Synopsis
type
Env
a =
FiniteMap
AHsName
a
emptyEnv
::
Env
a
unitEnv
:: (
AHsName
, a) ->
Env
a
lookupEnv
::
AHsName
->
Env
a ->
Maybe
a
addToEnv
:: (
AHsName
, a) ->
Env
a ->
Env
a
joinEnv
::
Env
a ->
Env
a ->
Env
a
joinListEnvs
:: [
Env
a] ->
Env
a
listToEnv
:: [(
AHsName
, a)] ->
Env
a
envToList
::
Env
a -> [(
AHsName
, a)]
getNamesFromEnv
::
Env
a -> [
AHsName
]
showEnv
::
Show
a =>
Env
a ->
String
pprintEnv
::
PPrint
a =>
Env
a ->
Doc
mapEnv
:: (
AHsName
-> e -> e') ->
Env
e ->
Env
e'
Produced by
Haddock
version 0.6