zm-0.2.2: Language independent, reproducible, absolute types
ZM.Util
Contents
Synopsis
proxyOf :: a -> Proxy a Source #
Return the proxy for the type of the given value
runEnv :: State (Map k a1) a -> (a, Map k a1) Source #
Run a State monad with an empty map as environment
execEnv :: State (Map k a1) a -> Map k a1 Source #
Exec a State monad with an empty map as environment