Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
Instances
Monad m => RunFreshT x m (VFreshT x m) Source # | |
Defined in Parsley.Internal.Common.Fresh | |
MonadState s m => MonadState s (VFreshT x m) Source # | |
MonadReader r m => MonadReader r (VFreshT x m) Source # | |
(Monad m, Ord x, Enum x) => MonadFresh x (VFreshT x m) Source # | |
MonadTrans (VFreshT x) Source # | |
Defined in Parsley.Internal.Common.Fresh | |
Monad m => Monad (VFreshT x m) Source # | |
Functor m => Functor (VFreshT x m) Source # | |
MonadFix m => MonadFix (VFreshT x m) Source # | |
Defined in Parsley.Internal.Common.Fresh | |
Monad m => Applicative (VFreshT x m) Source # | |
Defined in Parsley.Internal.Common.Fresh | |
MonadIO m => MonadIO (VFreshT x m) Source # | |
Defined in Parsley.Internal.Common.Fresh |
Instances
Monad m => RunFreshT x m (HFreshT x m) Source # | |
Defined in Parsley.Internal.Common.Fresh | |
MonadState s m => MonadState s (HFreshT x m) Source # | |
MonadReader r m => MonadReader r (HFreshT x m) Source # | |
(Monad m, Ord x, Enum x) => MonadFresh x (HFreshT x m) Source # | |
MonadTrans (HFreshT x) Source # | |
Defined in Parsley.Internal.Common.Fresh | |
Monad m => Monad (HFreshT x m) Source # | |
Functor m => Functor (HFreshT x m) Source # | |
MonadFix m => MonadFix (HFreshT x m) Source # | |
Defined in Parsley.Internal.Common.Fresh | |
Monad m => Applicative (HFreshT x m) Source # | |
Defined in Parsley.Internal.Common.Fresh | |
MonadIO m => MonadIO (HFreshT x m) Source # | |
Defined in Parsley.Internal.Common.Fresh |
evalFreshT :: RunFreshT x n m => m a -> x -> n a Source #
execFreshT :: RunFreshT x n m => m a -> x -> n x Source #
class Monad m => MonadFresh x m | m -> x where Source #
construct :: MonadFresh x m => (x -> a) -> m a Source #
mapVFreshT :: (m (a, x, x) -> n (b, x, x)) -> VFreshT x m a -> VFreshT x n b Source #