Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
class Monad m => Gensym m where Source #
freshVarId :: m Nat Source #
Instances
(Monad m, MonadState Nat m) => Gensym m Source # | |
Defined in Language.Hakaru.Syntax.Gensym freshVarId :: m Nat Source # |