-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Abstraction for markup languages
--   
--   This library tries to make things more uniformly controlled when
--   working with markup languages in haskell - namely <i>deployment</i> of
--   markup assets.
--   
--   Deployment, from this library's perspective, means <i>how</i>
--   something can be rendered to markup, yet still achieve the same
--   "result" to the end user (namely the DOM).
--   
--   We use monad transformers to infer the deployment mechanism for a
--   context of markup. The three deployment mechanisms provided include
--   <i>inline</i> (content is slapped between markup tags), <i>hosted</i>
--   (entirely external - uses raw text as a url), and <i>local</i> (which
--   uses the <a>urlpath</a> library to realize what kind of link to
--   create).
@package markup
@version 2.0.0

module Data.Markup.Class

-- | Overload assets and their markup library, over some deployment
class Deploy symbol input markup (m :: * -> *)
deploy :: Deploy symbol input markup m => symbol -> input -> m markup

-- | Overload extraction of (co)monad
class Markup (m :: * -> *)
renderMarkup :: Markup m => m a -> a
toMarkup :: Markup m => a -> m a
instance (GHC.Base.Monad m, Control.Comonad.Comonad m) => Data.Markup.Class.Markup m

module Data.Markup.Types
newtype InlineMarkupT m a
InlineMarkupT :: m a -> InlineMarkupT m a
[runInlineMarkupT] :: InlineMarkupT m a -> m a
type InlineMarkup = InlineMarkupT Identity
newtype HostedMarkupT m a
HostedMarkupT :: m a -> HostedMarkupT m a
[runHostedMarkupT] :: HostedMarkupT m a -> m a
type HostedMarkup = HostedMarkupT Identity
newtype LocalMarkupT m a
LocalMarkupT :: m a -> LocalMarkupT m a
[runLocalMarkupT] :: LocalMarkupT m a -> m a
type LocalMarkup = LocalMarkupT Identity
instance GHC.Base.Functor m => GHC.Base.Functor (Data.Markup.Types.LocalMarkupT m)
instance GHC.Base.Functor m => GHC.Base.Functor (Data.Markup.Types.HostedMarkupT m)
instance GHC.Base.Functor m => GHC.Base.Functor (Data.Markup.Types.InlineMarkupT m)
instance GHC.Base.Monoid (m a) => GHC.Base.Monoid (Data.Markup.Types.InlineMarkupT m a)
instance GHC.Base.Applicative f => GHC.Base.Applicative (Data.Markup.Types.InlineMarkupT f)
instance GHC.Base.Monad m => GHC.Base.Monad (Data.Markup.Types.InlineMarkupT m)
instance GHC.Base.Monoid (m a) => GHC.Base.Monoid (Data.Markup.Types.HostedMarkupT m a)
instance GHC.Base.Applicative f => GHC.Base.Applicative (Data.Markup.Types.HostedMarkupT f)
instance GHC.Base.Monad m => GHC.Base.Monad (Data.Markup.Types.HostedMarkupT m)
instance GHC.Base.Monoid (m a) => GHC.Base.Monoid (Data.Markup.Types.LocalMarkupT m a)
instance GHC.Base.Applicative f => GHC.Base.Applicative (Data.Markup.Types.LocalMarkupT f)
instance GHC.Base.Monad m => GHC.Base.Monad (Data.Markup.Types.LocalMarkupT m)
instance (Control.Comonad.Comonad m, GHC.Base.Monad m) => Control.Comonad.Comonad (Data.Markup.Types.InlineMarkupT m)
instance Control.Monad.Trans.Class.MonadTrans Data.Markup.Types.InlineMarkupT
instance (Control.Comonad.Comonad m, GHC.Base.Monad m) => Control.Comonad.Comonad (Data.Markup.Types.HostedMarkupT m)
instance Control.Monad.Trans.Class.MonadTrans Data.Markup.Types.HostedMarkupT
instance (Control.Comonad.Comonad m, GHC.Base.Monad m) => Control.Comonad.Comonad (Data.Markup.Types.LocalMarkupT m)
instance Control.Monad.Trans.Class.MonadTrans Data.Markup.Types.LocalMarkupT

module Data.Markup.Library
data Image
Image :: Image
data JavaScript
JavaScript :: JavaScript
data Css
Css :: Css
data WebComponent
WebComponent :: WebComponent
instance GHC.Classes.Eq Data.Markup.Library.WebComponent
instance GHC.Show.Show Data.Markup.Library.WebComponent
instance GHC.Classes.Eq Data.Markup.Library.Css
instance GHC.Show.Show Data.Markup.Library.Css
instance GHC.Classes.Eq Data.Markup.Library.JavaScript
instance GHC.Show.Show Data.Markup.Library.JavaScript
instance GHC.Classes.Eq Data.Markup.Library.Image
instance GHC.Show.Show Data.Markup.Library.Image
instance GHC.Base.Monad m => Data.Markup.Class.Deploy Data.Markup.Library.Image Data.Text.Internal.Text (Lucid.Base.HtmlT m ()) (Data.Markup.Types.HostedMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.Image (Path.Internal.Path b t) (Lucid.Base.HtmlT m ()) (Data.Markup.Types.HostedMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.Image (Path.Extended.Location b t) (Lucid.Base.HtmlT m ()) (Data.Markup.Types.HostedMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m, Data.Url.ToLocation s b t) => Data.Markup.Class.Deploy Data.Markup.Library.Image s (Lucid.Base.HtmlT m ()) (Data.Markup.Types.HostedMarkupT m)
instance GHC.Base.Monad m => Data.Markup.Class.Deploy Data.Markup.Library.Image Data.Text.Internal.Text (Lucid.Base.HtmlT m ()) (Data.Markup.Types.LocalMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.Image (Path.Internal.Path b t) (Lucid.Base.HtmlT m ()) (Data.Markup.Types.LocalMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.Image (Path.Extended.Location b t) (Lucid.Base.HtmlT m ()) (Data.Markup.Types.LocalMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m, Data.Url.ToLocation s b t) => Data.Markup.Class.Deploy Data.Markup.Library.Image s (Lucid.Base.HtmlT m ()) (Data.Markup.Types.LocalMarkupT m)
instance GHC.Base.Monad m => Data.Markup.Class.Deploy Data.Markup.Library.Image Data.Text.Internal.Text (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.HostedMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.Image (Path.Internal.Path b t) (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.HostedMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.Image (Path.Extended.Location b t) (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.HostedMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m, Data.Url.ToLocation s b t) => Data.Markup.Class.Deploy Data.Markup.Library.Image s (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.HostedMarkupT m)
instance GHC.Base.Monad m => Data.Markup.Class.Deploy Data.Markup.Library.Image Data.Text.Internal.Text (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.LocalMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.Image (Path.Internal.Path b t) (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.LocalMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.Image (Path.Extended.Location b t) (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.LocalMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m, Data.Url.ToLocation s b t) => Data.Markup.Class.Deploy Data.Markup.Library.Image s (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.LocalMarkupT m)
instance GHC.Base.Monad m => Data.Markup.Class.Deploy Data.Markup.Library.JavaScript Data.Text.Internal.Text (Lucid.Base.HtmlT m ()) (Data.Markup.Types.InlineMarkupT m)
instance GHC.Base.Monad m => Data.Markup.Class.Deploy Data.Markup.Library.JavaScript Data.Text.Internal.Lazy.Text (Lucid.Base.HtmlT m ()) (Data.Markup.Types.InlineMarkupT m)
instance GHC.Base.Monad m => Data.Markup.Class.Deploy Data.Markup.Library.JavaScript Data.Text.Internal.Text (Lucid.Base.HtmlT m ()) (Data.Markup.Types.HostedMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.JavaScript (Path.Internal.Path b t) (Lucid.Base.HtmlT m ()) (Data.Markup.Types.HostedMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.JavaScript (Path.Extended.Location b t) (Lucid.Base.HtmlT m ()) (Data.Markup.Types.HostedMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m, Data.Url.ToLocation s b t) => Data.Markup.Class.Deploy Data.Markup.Library.JavaScript s (Lucid.Base.HtmlT m ()) (Data.Markup.Types.HostedMarkupT m)
instance GHC.Base.Monad m => Data.Markup.Class.Deploy Data.Markup.Library.JavaScript Data.Text.Internal.Text (Lucid.Base.HtmlT m ()) (Data.Markup.Types.LocalMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.JavaScript (Path.Internal.Path b t) (Lucid.Base.HtmlT m ()) (Data.Markup.Types.LocalMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.JavaScript (Path.Extended.Location b t) (Lucid.Base.HtmlT m ()) (Data.Markup.Types.LocalMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m, Data.Url.ToLocation s b t) => Data.Markup.Class.Deploy Data.Markup.Library.JavaScript s (Lucid.Base.HtmlT m ()) (Data.Markup.Types.LocalMarkupT m)
instance GHC.Base.Monad m => Data.Markup.Class.Deploy Data.Markup.Library.JavaScript Data.Text.Internal.Text (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.InlineMarkupT m)
instance GHC.Base.Monad m => Data.Markup.Class.Deploy Data.Markup.Library.JavaScript Data.Text.Internal.Lazy.Text (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.InlineMarkupT m)
instance GHC.Base.Monad m => Data.Markup.Class.Deploy Data.Markup.Library.JavaScript Data.Text.Internal.Text (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.HostedMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.JavaScript (Path.Internal.Path b t) (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.HostedMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.JavaScript (Path.Extended.Location b t) (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.HostedMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m, Data.Url.ToLocation s b t) => Data.Markup.Class.Deploy Data.Markup.Library.JavaScript s (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.HostedMarkupT m)
instance GHC.Base.Monad m => Data.Markup.Class.Deploy Data.Markup.Library.JavaScript Data.Text.Internal.Text (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.LocalMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.JavaScript (Path.Internal.Path b t) (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.LocalMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.JavaScript (Path.Extended.Location b t) (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.LocalMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m, Data.Url.ToLocation s b t) => Data.Markup.Class.Deploy Data.Markup.Library.JavaScript s (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.LocalMarkupT m)
instance GHC.Base.Monad m => Data.Markup.Class.Deploy Data.Markup.Library.Css Data.Text.Internal.Text (Lucid.Base.HtmlT m ()) (Data.Markup.Types.InlineMarkupT m)
instance GHC.Base.Monad m => Data.Markup.Class.Deploy Data.Markup.Library.Css Data.Text.Internal.Lazy.Text (Lucid.Base.HtmlT m ()) (Data.Markup.Types.InlineMarkupT m)
instance GHC.Base.Monad m => Data.Markup.Class.Deploy Data.Markup.Library.Css Data.Text.Internal.Text (Lucid.Base.HtmlT m ()) (Data.Markup.Types.HostedMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.Css (Path.Internal.Path b t) (Lucid.Base.HtmlT m ()) (Data.Markup.Types.HostedMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.Css (Path.Extended.Location b t) (Lucid.Base.HtmlT m ()) (Data.Markup.Types.HostedMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m, Data.Url.ToLocation s b t) => Data.Markup.Class.Deploy Data.Markup.Library.Css s (Lucid.Base.HtmlT m ()) (Data.Markup.Types.HostedMarkupT m)
instance GHC.Base.Monad m => Data.Markup.Class.Deploy Data.Markup.Library.Css Data.Text.Internal.Text (Lucid.Base.HtmlT m ()) (Data.Markup.Types.LocalMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.Css (Path.Internal.Path b t) (Lucid.Base.HtmlT m ()) (Data.Markup.Types.LocalMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.Css (Path.Extended.Location b t) (Lucid.Base.HtmlT m ()) (Data.Markup.Types.LocalMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m, Data.Url.ToLocation s b t) => Data.Markup.Class.Deploy Data.Markup.Library.Css s (Lucid.Base.HtmlT m ()) (Data.Markup.Types.LocalMarkupT m)
instance GHC.Base.Monad m => Data.Markup.Class.Deploy Data.Markup.Library.Css Data.Text.Internal.Text (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.InlineMarkupT m)
instance GHC.Base.Monad m => Data.Markup.Class.Deploy Data.Markup.Library.Css Data.Text.Internal.Lazy.Text (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.InlineMarkupT m)
instance GHC.Base.Monad m => Data.Markup.Class.Deploy Data.Markup.Library.Css Data.Text.Internal.Text (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.HostedMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.Css (Path.Internal.Path b t) (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.HostedMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.Css (Path.Extended.Location b t) (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.HostedMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m, Data.Url.ToLocation s b t) => Data.Markup.Class.Deploy Data.Markup.Library.Css s (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.HostedMarkupT m)
instance GHC.Base.Monad m => Data.Markup.Class.Deploy Data.Markup.Library.Css Data.Text.Internal.Text (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.LocalMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.Css (Path.Internal.Path b t) (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.LocalMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.Css (Path.Extended.Location b t) (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.LocalMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m, Data.Url.ToLocation s b t) => Data.Markup.Class.Deploy Data.Markup.Library.Css s (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.LocalMarkupT m)
instance GHC.Base.Monad m => Data.Markup.Class.Deploy Data.Markup.Library.WebComponent Data.Text.Internal.Text (Lucid.Base.HtmlT m ()) (Data.Markup.Types.HostedMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.WebComponent (Path.Internal.Path b t) (Lucid.Base.HtmlT m ()) (Data.Markup.Types.HostedMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.WebComponent (Path.Extended.Location b t) (Lucid.Base.HtmlT m ()) (Data.Markup.Types.HostedMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m, Data.Url.ToLocation s b t) => Data.Markup.Class.Deploy Data.Markup.Library.WebComponent s (Lucid.Base.HtmlT m ()) (Data.Markup.Types.HostedMarkupT m)
instance GHC.Base.Monad m => Data.Markup.Class.Deploy Data.Markup.Library.WebComponent Data.Text.Internal.Text (Lucid.Base.HtmlT m ()) (Data.Markup.Types.LocalMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.WebComponent (Path.Internal.Path b t) (Lucid.Base.HtmlT m ()) (Data.Markup.Types.LocalMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.WebComponent (Path.Extended.Location b t) (Lucid.Base.HtmlT m ()) (Data.Markup.Types.LocalMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m, Data.Url.ToLocation s b t) => Data.Markup.Class.Deploy Data.Markup.Library.WebComponent s (Lucid.Base.HtmlT m ()) (Data.Markup.Types.LocalMarkupT m)
instance GHC.Base.Monad m => Data.Markup.Class.Deploy Data.Markup.Library.WebComponent Data.Text.Internal.Text (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.HostedMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.WebComponent (Path.Internal.Path b t) (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.HostedMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.WebComponent (Path.Extended.Location b t) (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.HostedMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m, Data.Url.ToLocation s b t) => Data.Markup.Class.Deploy Data.Markup.Library.WebComponent s (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.HostedMarkupT m)
instance GHC.Base.Monad m => Data.Markup.Class.Deploy Data.Markup.Library.WebComponent Data.Text.Internal.Text (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.LocalMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.WebComponent (Path.Internal.Path b t) (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.LocalMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m) => Data.Markup.Class.Deploy Data.Markup.Library.WebComponent (Path.Extended.Location b t) (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.LocalMarkupT m)
instance (GHC.Base.Monad m, Data.Url.MonadUrl b m, Data.Url.ToLocation s b t) => Data.Markup.Class.Deploy Data.Markup.Library.WebComponent s (Text.Blaze.Internal.MarkupM ()) (Data.Markup.Types.LocalMarkupT m)

module Data.Markup