| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Markup.Types
- newtype InlineMarkupT m a = InlineMarkupT {
- runInlineMarkupT :: m a
- type InlineMarkup = InlineMarkupT Identity
- newtype HostedMarkupT m a = HostedMarkupT {
- runHostedMarkupT :: m a
- type HostedMarkup = HostedMarkupT Identity
- newtype LocalMarkupT m a = LocalMarkupT {
- runLocalMarkupT :: m a
- type LocalMarkup = LocalMarkupT Identity
Inline Deployment
newtype InlineMarkupT m a Source
Constructors
| InlineMarkupT | |
Fields
| |
Instances
| MonadTrans InlineMarkupT Source | |
| Monad m => Deploy Css Text (MarkupM ()) (InlineMarkupT m) Source | |
| Monad m => Deploy Css Text (MarkupM ()) (InlineMarkupT m) Source | |
| Monad m => Deploy JavaScript Text (MarkupM ()) (InlineMarkupT m) Source | |
| Monad m => Deploy JavaScript Text (MarkupM ()) (InlineMarkupT m) Source | |
| Monad m => Deploy Css Text (HtmlT m ()) (InlineMarkupT m) Source | |
| Monad m => Deploy Css Text (HtmlT m ()) (InlineMarkupT m) Source | |
| Monad m => Deploy JavaScript Text (HtmlT m ()) (InlineMarkupT m) Source | |
| Monad m => Deploy JavaScript Text (HtmlT m ()) (InlineMarkupT m) Source | |
| Monad m => Monad (InlineMarkupT m) Source | |
| Functor m => Functor (InlineMarkupT m) Source | |
| Applicative f => Applicative (InlineMarkupT f) Source | |
| (Comonad m, Monad m) => Comonad (InlineMarkupT m) Source | |
| Monoid (m a) => Monoid (InlineMarkupT m a) Source |
type InlineMarkup = InlineMarkupT Identity Source
Hosted Deployment
newtype HostedMarkupT m a Source
Constructors
| HostedMarkupT | |
Fields
| |
Instances
| MonadTrans HostedMarkupT Source | |
| (Monad m, MonadUrl b m, ToLocation s b t) => Deploy WebComponent s (MarkupM ()) (HostedMarkupT m) Source | |
| Monad m => Deploy WebComponent Text (MarkupM ()) (HostedMarkupT m) Source | |
| (Monad m, MonadUrl b m, ToLocation s b t) => Deploy Css s (MarkupM ()) (HostedMarkupT m) Source | |
| Monad m => Deploy Css Text (MarkupM ()) (HostedMarkupT m) Source | |
| (Monad m, MonadUrl b m, ToLocation s b t) => Deploy JavaScript s (MarkupM ()) (HostedMarkupT m) Source | |
| Monad m => Deploy JavaScript Text (MarkupM ()) (HostedMarkupT m) Source | |
| (Monad m, MonadUrl b m, ToLocation s b t) => Deploy Image s (MarkupM ()) (HostedMarkupT m) Source | |
| Monad m => Deploy Image Text (MarkupM ()) (HostedMarkupT m) Source | |
| (Monad m, MonadUrl b m, ToLocation s b t) => Deploy WebComponent s (HtmlT m ()) (HostedMarkupT m) Source | |
| Monad m => Deploy WebComponent Text (HtmlT m ()) (HostedMarkupT m) Source | |
| (Monad m, MonadUrl b m, ToLocation s b t) => Deploy Css s (HtmlT m ()) (HostedMarkupT m) Source | |
| Monad m => Deploy Css Text (HtmlT m ()) (HostedMarkupT m) Source | |
| (Monad m, MonadUrl b m, ToLocation s b t) => Deploy JavaScript s (HtmlT m ()) (HostedMarkupT m) Source | |
| Monad m => Deploy JavaScript Text (HtmlT m ()) (HostedMarkupT m) Source | |
| (Monad m, MonadUrl b m, ToLocation s b t) => Deploy Image s (HtmlT m ()) (HostedMarkupT m) Source | |
| Monad m => Deploy Image Text (HtmlT m ()) (HostedMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy WebComponent (Path b t) (MarkupM ()) (HostedMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy WebComponent (Location b t) (MarkupM ()) (HostedMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy Css (Path b t) (MarkupM ()) (HostedMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy Css (Location b t) (MarkupM ()) (HostedMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy JavaScript (Path b t) (MarkupM ()) (HostedMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy JavaScript (Location b t) (MarkupM ()) (HostedMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy Image (Path b t) (MarkupM ()) (HostedMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy Image (Location b t) (MarkupM ()) (HostedMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy WebComponent (Path b t) (HtmlT m ()) (HostedMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy WebComponent (Location b t) (HtmlT m ()) (HostedMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy Css (Path b t) (HtmlT m ()) (HostedMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy Css (Location b t) (HtmlT m ()) (HostedMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy JavaScript (Path b t) (HtmlT m ()) (HostedMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy JavaScript (Location b t) (HtmlT m ()) (HostedMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy Image (Path b t) (HtmlT m ()) (HostedMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy Image (Location b t) (HtmlT m ()) (HostedMarkupT m) Source | |
| Monad m => Monad (HostedMarkupT m) Source | |
| Functor m => Functor (HostedMarkupT m) Source | |
| Applicative f => Applicative (HostedMarkupT f) Source | |
| (Comonad m, Monad m) => Comonad (HostedMarkupT m) Source | |
| Monoid (m a) => Monoid (HostedMarkupT m a) Source |
type HostedMarkup = HostedMarkupT Identity Source
Local Deployment
newtype LocalMarkupT m a Source
Constructors
| LocalMarkupT | |
Fields
| |
Instances
| MonadTrans LocalMarkupT Source | |
| (Monad m, MonadUrl b m, ToLocation s b t) => Deploy WebComponent s (MarkupM ()) (LocalMarkupT m) Source | |
| Monad m => Deploy WebComponent Text (MarkupM ()) (LocalMarkupT m) Source | |
| (Monad m, MonadUrl b m, ToLocation s b t) => Deploy Css s (MarkupM ()) (LocalMarkupT m) Source | |
| Monad m => Deploy Css Text (MarkupM ()) (LocalMarkupT m) Source | |
| (Monad m, MonadUrl b m, ToLocation s b t) => Deploy JavaScript s (MarkupM ()) (LocalMarkupT m) Source | |
| Monad m => Deploy JavaScript Text (MarkupM ()) (LocalMarkupT m) Source | |
| (Monad m, MonadUrl b m, ToLocation s b t) => Deploy Image s (MarkupM ()) (LocalMarkupT m) Source | |
| Monad m => Deploy Image Text (MarkupM ()) (LocalMarkupT m) Source | |
| (Monad m, MonadUrl b m, ToLocation s b t) => Deploy WebComponent s (HtmlT m ()) (LocalMarkupT m) Source | |
| Monad m => Deploy WebComponent Text (HtmlT m ()) (LocalMarkupT m) Source | |
| (Monad m, MonadUrl b m, ToLocation s b t) => Deploy Css s (HtmlT m ()) (LocalMarkupT m) Source | |
| Monad m => Deploy Css Text (HtmlT m ()) (LocalMarkupT m) Source | |
| (Monad m, MonadUrl b m, ToLocation s b t) => Deploy JavaScript s (HtmlT m ()) (LocalMarkupT m) Source | |
| Monad m => Deploy JavaScript Text (HtmlT m ()) (LocalMarkupT m) Source | |
| (Monad m, MonadUrl b m, ToLocation s b t) => Deploy Image s (HtmlT m ()) (LocalMarkupT m) Source | |
| Monad m => Deploy Image Text (HtmlT m ()) (LocalMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy WebComponent (Path b t) (MarkupM ()) (LocalMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy WebComponent (Location b t) (MarkupM ()) (LocalMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy Css (Path b t) (MarkupM ()) (LocalMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy Css (Location b t) (MarkupM ()) (LocalMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy JavaScript (Path b t) (MarkupM ()) (LocalMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy JavaScript (Location b t) (MarkupM ()) (LocalMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy Image (Path b t) (MarkupM ()) (LocalMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy Image (Location b t) (MarkupM ()) (LocalMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy WebComponent (Path b t) (HtmlT m ()) (LocalMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy WebComponent (Location b t) (HtmlT m ()) (LocalMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy Css (Path b t) (HtmlT m ()) (LocalMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy Css (Location b t) (HtmlT m ()) (LocalMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy JavaScript (Path b t) (HtmlT m ()) (LocalMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy JavaScript (Location b t) (HtmlT m ()) (LocalMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy Image (Path b t) (HtmlT m ()) (LocalMarkupT m) Source | |
| (Monad m, MonadUrl b m) => Deploy Image (Location b t) (HtmlT m ()) (LocalMarkupT m) Source | |
| Monad m => Monad (LocalMarkupT m) Source | |
| Functor m => Functor (LocalMarkupT m) Source | |
| Applicative f => Applicative (LocalMarkupT f) Source | |
| (Comonad m, Monad m) => Comonad (LocalMarkupT m) Source | |
| Monoid (m a) => Monoid (LocalMarkupT m a) Source |
type LocalMarkup = LocalMarkupT Identity Source