Safe Haskell	None
Language	Haskell2010

Control.Monad.Trans.Free.Church.Alternate

Documentation

newtype FreeT f (m :: * -> *) a Source #

Constructors

FreeT
Fields unFreeT :: forall r. (forall x. f x -> (x -> m r) -> m r) -> (a -> m r) -> m r

Instances

Instances details

MonadBase b m => MonadBase b (FreeT f m) Source #
Instance details Defined in Control.Monad.Trans.Free.Church.Alternate Methods liftBase :: b α -> FreeT f m α #
MonadTrans (FreeT f) Source #
Instance details Defined in Control.Monad.Trans.Free.Church.Alternate Methods lift :: Monad m => m a -> FreeT f m a #
ThreadsEff (FreeT f) (ReaderPrim i) Source #
Instance details Defined in Control.Monad.Trans.Free.Church.Alternate Methods threadEff :: Monad m => (forall x. ReaderPrim i m x -> m x) -> ReaderPrim i (FreeT f m) a -> FreeT f m a Source #
ThreadsEff (FreeT f) (Unravel p) Source #
Instance details Defined in Control.Monad.Trans.Free.Church.Alternate Methods threadEff :: Monad m => (forall x. Unravel p m x -> m x) -> Unravel p (FreeT f m) a -> FreeT f m a Source #
Functor s => ThreadsEff (FreeT f) (Optional s) Source #
Instance details Defined in Control.Monad.Trans.Free.Church.Alternate Methods threadEff :: Monad m => (forall x. Optional s m x -> m x) -> Optional s (FreeT f m) a -> FreeT f m a Source #
ThreadsEff (FreeT f) (Regional s) Source #
Instance details Defined in Control.Monad.Trans.Free.Church.Alternate Methods threadEff :: Monad m => (forall x. Regional s m x -> m x) -> Regional s (FreeT f m) a -> FreeT f m a Source #
Monoid w => ThreadsEff (FreeT f) (ListenPrim w) Source #
Instance details Defined in Control.Monad.Trans.Free.Church.Alternate Methods threadEff :: Monad m => (forall x. ListenPrim w m x -> m x) -> ListenPrim w (FreeT f m) a -> FreeT f m a Source #
Monad (FreeT f m) Source #
Instance details Defined in Control.Monad.Trans.Free.Church.Alternate Methods (>>=) :: FreeT f m a -> (a -> FreeT f m b) -> FreeT f m b # (>>) :: FreeT f m a -> FreeT f m b -> FreeT f m b # return :: a -> FreeT f m a #
Functor (FreeT f m) Source #
Instance details Defined in Control.Monad.Trans.Free.Church.Alternate Methods fmap :: (a -> b) -> FreeT f m a -> FreeT f m b # (<$) :: a -> FreeT f m b -> FreeT f m a #
MonadFail m => MonadFail (FreeT f m) Source #
Instance details Defined in Control.Monad.Trans.Free.Church.Alternate Methods fail :: String -> FreeT f m a #
Applicative (FreeT f m) Source #
Instance details Defined in Control.Monad.Trans.Free.Church.Alternate Methods pure :: a -> FreeT f m a # (<>) :: FreeT f m (a -> b) -> FreeT f m a -> FreeT f m b # liftA2 :: (a -> b -> c) -> FreeT f m a -> FreeT f m b -> FreeT f m c # (>) :: FreeT f m a -> FreeT f m b -> FreeT f m b # (<*) :: FreeT f m a -> FreeT f m b -> FreeT f m a #
MonadIO m => MonadIO (FreeT f m) Source #
Instance details Defined in Control.Monad.Trans.Free.Church.Alternate Methods liftIO :: IO a -> FreeT f m a #
MonadThrow m => MonadThrow (FreeT f m) Source #
Instance details Defined in Control.Monad.Trans.Free.Church.Alternate Methods throwM :: Exception e => e -> FreeT f m a #
MonadCatch m => MonadCatch (FreeT f m) Source #
Instance details Defined in Control.Monad.Trans.Free.Church.Alternate Methods catch :: Exception e => FreeT f m a -> (e -> FreeT f m a) -> FreeT f m a #

data Coyoneda f a where Source #

Constructors

Coyoneda :: (x -> a) -> f x -> Coyoneda f a

newtype LayeredFreeT f m a Source #

Constructors

LayeredFreeT
Fields unLayeredFreeT :: m (Either a (Coyoneda f (LayeredFreeT f m a)))

toLayeredFreeT :: Monad m => FreeT f m a -> LayeredFreeT f m a Source #

fromLayeredFreeT :: Monad m => LayeredFreeT f m a -> FreeT f m a Source #

class (forall f. Threads (FreeT f) p) => FreeThreads p Source #

Instances

Instances details

(forall (f :: Type -> Type). Threads (FreeT f) p) => FreeThreads p Source #
Instance details Defined in Control.Monad.Trans.Free.Church.Alternate

liftF :: f a -> FreeT f m a Source #

foldFreeT :: Monad m => (a -> b) -> (forall x. (x -> m b) -> f x -> m b) -> FreeT f m a -> m b Source #

foldFreeT' :: Monad m => (m r -> r) -> (a -> r) -> (forall x. (x -> r) -> f x -> r) -> FreeT f m a -> r Source #