Control.Monad.Trans.Stitch

Documentation

newtype StitchT m a

Constructors

StitchT (WriterT Block m a)

Instances

MonadTrans StitchT

Defined in Control.Monad.Trans.Stitch

Methods

lift :: Monad m => m a -> StitchT m a

Monad m => Monad (StitchT m)

Defined in Control.Monad.Trans.Stitch

Methods

(>>=) :: StitchT m a -> (a -> StitchT m b) -> StitchT m b

(>>) :: StitchT m a -> StitchT m b -> StitchT m b

return :: a -> StitchT m a

fail :: String -> StitchT m a

Functor m => Functor (StitchT m)

Defined in Control.Monad.Trans.Stitch

Methods

fmap :: (a -> b) -> StitchT m a -> StitchT m b

(<$) :: a -> StitchT m b -> StitchT m a

Applicative m => Applicative (StitchT m)

Defined in Control.Monad.Trans.Stitch

Methods

pure :: a -> StitchT m a

(<*>) :: StitchT m (a -> b) -> StitchT m a -> StitchT m b

liftA2 :: (a -> b -> c) -> StitchT m a -> StitchT m b -> StitchT m c

(*>) :: StitchT m a -> StitchT m b -> StitchT m b

(<*) :: StitchT m a -> StitchT m b -> StitchT m a

MonadIO m => MonadIO (StitchT m)

Defined in Control.Monad.Trans.Stitch

Methods

liftIO :: IO a -> StitchT m a

Alternative m => Alternative (StitchT m)

Defined in Control.Monad.Trans.Stitch

Methods

empty :: StitchT m a

(<|>) :: StitchT m a -> StitchT m a -> StitchT m a

some :: StitchT m a -> StitchT m [a]

many :: StitchT m a -> StitchT m [a]

(Applicative m, Semigroup a) => Semigroup (StitchT m a)

Defined in Control.Monad.Trans.Stitch

Methods

(<>) :: StitchT m a -> StitchT m a -> StitchT m a

sconcat :: NonEmpty (StitchT m a) -> StitchT m a

stimes :: Integral b => b -> StitchT m a -> StitchT m a

(Applicative m, Monoid a, Semigroup a) => Monoid (StitchT m a)

Defined in Control.Monad.Trans.Stitch

Methods

mempty :: StitchT m a

mappend :: StitchT m a -> StitchT m a -> StitchT m a

mconcat :: [StitchT m a] -> StitchT m a

runStitchT :: StitchT m a -> m (a, Block)