hakaru-0.4.0: A probabilistic programming language

Safe Haskell	None
Language	Haskell2010

Language.Hakaru.Syntax.Gensym

Documentation

class Monad m => Gensym m where Source #

Minimal complete definition

Methods

freshVarId :: m Nat Source #

Instances

(Monad m, MonadState Nat m) => Gensym m Source #
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 #