Control.Monad.Trans.Free.Church.Alternate

Documentation

newtype FreeT f (m :: Type -> Type) a

Constructors

FreeT

Fields

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

Instances

MonadBase b m => MonadBase b (FreeT f m)

Defined in Control.Monad.Trans.Free.Church.Alternate

Methods

liftBase :: b α -> FreeT f m α

MonadTrans (FreeT f)

Defined in Control.Monad.Trans.Free.Church.Alternate

Methods

lift :: Monad m => m a -> FreeT f m a

ThreadsEff (FreeT f) (ReaderPrim i)

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

ThreadsEff (FreeT f) (Unravel p)

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

Functor s => ThreadsEff (FreeT f) (Optional s)

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

ThreadsEff (FreeT f) (Regional s)

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

Monoid w => ThreadsEff (FreeT f) (ListenPrim w)

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

Monad (FreeT f m)

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)

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)

Defined in Control.Monad.Trans.Free.Church.Alternate

Methods

fail :: String -> FreeT f m a

Applicative (FreeT f m)

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)

Defined in Control.Monad.Trans.Free.Church.Alternate

Methods

liftIO :: IO a -> FreeT f m a

MonadThrow m => MonadThrow (FreeT f m)

Defined in Control.Monad.Trans.Free.Church.Alternate

Methods

throwM :: Exception e => e -> FreeT f m a

MonadCatch m => MonadCatch (FreeT f m)

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

Constructors

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

newtype LayeredFreeT f m a

Constructors

LayeredFreeT

Fields

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

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

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

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

Instances

(forall (f :: Type -> Type). Threads (FreeT f) p) => FreeThreads p

Defined in Control.Monad.Trans.Free.Church.Alternate

liftF :: f a -> FreeT f m a

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

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