hakaru-0.4.0: A probabilistic programming language
Language.Hakaru.Syntax.Gensym
class Monad m => Gensym m where Source #
Minimal complete definition
freshVarId
Methods
freshVarId :: m Nat Source #
Instances
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 #