Lykah.EHtml

A writer monad that writes the assets needed for the current asset (internal monad) while producing the current asset's HTML (monad transformer)

Documentation

type EHtml self a = HtmlT (RWS (Env self) [Identifier] ()) a

Html monad with inner Reader (See Env) and Writer Monad writing a list of identifiers of actually used assets

readWebsite :: (MonadReader (Env (b, b1)) m, MonadTrans t) => (b -> a) -> t m a

readPathed :: (MonadReader (Env (a1, b)) m, MonadTrans t) => (b -> a) -> t m a

readPage :: (MonadReader (Env (a1, Pathed b)) m, MonadTrans t) => (b -> a) -> t m a

askPathed :: EHtml (a, b) b

localEHtml :: (a -> b) -> EHtml b c -> EHtml a c

renderEHtml

Arguments

:: (env, Pathed a)

current env and current asset to be rendered

-> [Pathed ()]

All pathed entities that can be referenced

-> EHtml (env, Pathed a) ()

-> (Assets, [Identifier])

render the given EHtml to the given path

poster :: AttributeValue -> Attribute

stylesheet :: Monad m => AttributeValue -> MarkupT m ()

javascript :: Monad m => AttributeValue -> MarkupT m ()

javascript' :: (Bl.ToValue a, Monad m) => a -> MarkupT m ()

stylesheet' :: (Bl.ToValue a, Monad m) => a -> MarkupT m ()

class_' :: Bl.ToValue a => a -> Attribute

value' :: Bl.ToValue a => a -> Attribute

for' :: Bl.ToValue a => a -> Attribute

poster' :: Bl.ToValue a => a -> Attribute

src' :: Bl.ToValue a => a -> Attribute

type_' :: Bl.ToValue a => a -> Attribute

style' :: Bl.ToValue a => a -> Attribute

id' :: Bl.ToValue a => a -> Attribute

href' :: Bl.ToValue a => a -> Attribute

script' :: (Bl.ToMarkup a, Monad m) => a -> MarkupT m ()

title' :: (Bl.ToMarkup a, Monad m) => a -> MarkupT m ()

label' :: (Bl.ToMarkup a, Monad m) => a -> MarkupT m ()

video' :: (Bl.ToMarkup a, Monad m) => a -> MarkupT m ()

h1' :: (Bl.ToMarkup a, Monad m) => a -> MarkupT m ()

b' :: (Bl.ToMarkup a, Monad m) => a -> MarkupT m ()

a' :: (Bl.ToMarkup a, Monad m) => a -> MarkupT m ()

link' :: (Bl.ToValue h, Bl.ToMarkup t, Monad m) => h -> t -> MarkupT m ()

link :: Monad m => AttributeValue -> MarkupT m () -> MarkupT m ()

linkB' :: (Bl.ToValue h, Bl.ToMarkup t, Monad m) => h -> t -> MarkupT m ()

linkB :: Monad m => AttributeValue -> MarkupT m () -> MarkupT m ()

path' :: IDO a => a -> EHtml b FilePath

autoLink' :: IDO a1 => a1 -> EHtml a ()

path :: Identifier -> EHtml b FilePath

namedLinkF

Arguments

:: Maybe String

Fragment

-> EHtml a ()

-> Identifier

-> EHtml a ()

Link with given name and href from identifier plus optional fragment

namedLink :: EHtml a () -> Identifier -> EHtml a ()

namedLinkB :: EHtml a () -> Identifier -> EHtml a ()

namedLinkF'

Arguments

:: IDO b

=> String

Fragment

-> EHtml a ()

-> b

-> EHtml a ()

namedLink' :: IDO b => EHtml a () -> b -> EHtml a ()

namedLinkB' :: IDO b => EHtml a () -> b -> EHtml a ()

autoLink :: Identifier -> EHtml a ()

creates a link with name from object

anchor :: Monad m => AttributeValue -> MarkupT m ()

(!#) :: Attributable h => h -> AttributeValue -> h

(!$) :: (Bl.ToValue a, Attributable h) => h -> a -> h

(#) :: (ListLike full item, IsString full) => full -> full -> full

append fragment

quote :: Monad m => MarkupT m () -> MarkupT m ()

lorem :: IsString t => [t]

googleAnalytics :: Monad m => T.Text -> MarkupT m ()

stackExchange :: Monad m => AttributeValue -> AttributeValue -> MarkupT m ()

blank :: Attributable h => h -> h