Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Fresh carrier
Since: 1.1.0.0
Instances
MonadTrans FreshC Source # | |
Defined in Control.Carrier.Fresh.Church | |
MonadFail m => MonadFail (FreshC m) Source # | |
Defined in Control.Carrier.Fresh.Church | |
MonadFix m => MonadFix (FreshC m) Source # | |
Defined in Control.Carrier.Fresh.Church | |
MonadIO m => MonadIO (FreshC m) Source # | |
Defined in Control.Carrier.Fresh.Church | |
Alternative m => Alternative (FreshC m) Source # | |
Applicative (FreshC m) Source # | |
Functor (FreshC m) Source # | |
Monad (FreshC m) Source # | |
(Alternative m, Monad m) => MonadPlus (FreshC m) Source # | |
Algebra sig m => Algebra (Fresh :+: sig) (FreshC m) Source # | |
Fresh effect
module Control.Effect.Fresh