hakaru-0.7.0: A probabilistic programming language
Safe HaskellNone
LanguageHaskell2010

Language.Hakaru.Syntax.Gensym

Documentation

class Monad m => Gensym m where Source #

Methods

freshVarId :: m Nat Source #

Instances

Instances details
(Monad m, MonadState Nat m) => Gensym m Source # 
Instance details

Defined in Language.Hakaru.Syntax.Gensym

Methods

freshVarId :: m Nat Source #

freshVar :: (Functor m, Gensym m) => Variable (a :: Hakaru) -> m (Variable a) Source #

varOfType :: (Functor m, Gensym m) => Sing (a :: Hakaru) -> m (Variable a) Source #

varForExpr :: (Functor m, Gensym m, ABT Term abt) => abt '[] a -> m (Variable a) Source #