Data.Markup.Types

Documentation

newtype InlineMarkupT i m a

Mirror of the ReaderT monad transformer - used to coerce markup to inline rendering.

Constructors

InlineMarkupT

Fields

runInlineMarkupT :: i -> m a

Instances

(InlineMarkup markup t input, Monad m) => Markup markup t (InlineMarkupT input m)

Monad m => MonadReader i (InlineMarkupT i m)

MonadTrans (InlineMarkupT i)

Alternative f => Alternative (InlineMarkupT i f)

Monad m => Monad (InlineMarkupT i m)

Functor m => Functor (InlineMarkupT i m)

MonadPlus m => MonadPlus (InlineMarkupT i m)

Applicative f => Applicative (InlineMarkupT i f)

newtype HostedMarkupT i m a

Mirror of the ReaderT monad transformer - used to coerce markup to hosted rendering.

Constructors

HostedMarkupT

Fields

runHostedMarkupT :: i -> m a

Instances

(HostedMarkup markup t input, Monad m) => Markup markup t (HostedMarkupT input m)

Monad m => MonadReader i (HostedMarkupT i m)

MonadTrans (HostedMarkupT i)

Alternative f => Alternative (HostedMarkupT i f)

Monad m => Monad (HostedMarkupT i m)

Functor m => Functor (HostedMarkupT i m)

MonadPlus m => MonadPlus (HostedMarkupT i m)

Applicative f => Applicative (HostedMarkupT i f)

newtype LocalMarkupT i m a

Mirror of the ReaderT monad transformer - used to coerce markup to local rendering.

Constructors

LocalMarkupT

Fields

runLocalMarkupT :: i -> m a

Instances

(LocalMarkup markup t input, Monad m) => Markup markup t (LocalMarkupT input m)

Monad m => MonadReader i (LocalMarkupT i m)

MonadTrans (LocalMarkupT i)

Alternative f => Alternative (LocalMarkupT i f)

Monad m => Monad (LocalMarkupT i m)

Functor m => Functor (LocalMarkupT i m)

MonadPlus m => MonadPlus (LocalMarkupT i m)

Applicative f => Applicative (LocalMarkupT i f)