Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Fresh carrier
Since: 1.0.0.0
Instances
MonadTrans FreshC Source # | |
Defined in Control.Carrier.Fresh.Strict | |
MonadFail m => MonadFail (FreshC m) Source # | |
Defined in Control.Carrier.Fresh.Strict | |
MonadFix m => MonadFix (FreshC m) Source # | |
Defined in Control.Carrier.Fresh.Strict | |
MonadIO m => MonadIO (FreshC m) Source # | |
Defined in Control.Carrier.Fresh.Strict | |
(Alternative m, Monad m) => Alternative (FreshC m) Source # | |
Monad m => Applicative (FreshC m) Source # | |
Functor m => Functor (FreshC m) Source # | |
Monad m => 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