zm-0.3.2: Language independent, reproducible, absolute types

Safe HaskellSafe
LanguageHaskell2010

ZM.Util

Contents

Synopsis

Documentation

proxyOf :: a -> Proxy a Source #

Return the proxy for the type of the given value

State Monad utilities

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