Text.Html.Nice

Nice HTML writer monad

module Text.Html.Nice.Writer

data Attr a

Constructors

(:=)

Fields

• attrKey :: !AttrName
• attrVal :: !Text

(:-)

Fields

• attrKey :: !AttrName
• attrValHole :: a

Instances

Functor Attr

Methods

fmap :: (a -> b) -> Attr a -> Attr b

(<$) :: a -> Attr b -> Attr a

Foldable Attr

Methods

fold :: Monoid m => Attr m -> m

foldMap :: Monoid m => (a -> m) -> Attr a -> m

foldr :: (a -> b -> b) -> b -> Attr a -> b

foldr' :: (a -> b -> b) -> b -> Attr a -> b

foldl :: (b -> a -> b) -> b -> Attr a -> b

foldl' :: (b -> a -> b) -> b -> Attr a -> b

foldr1 :: (a -> a -> a) -> Attr a -> a

foldl1 :: (a -> a -> a) -> Attr a -> a

toList :: Attr a -> [a]

null :: Attr a -> Bool

length :: Attr a -> Int

elem :: Eq a => a -> Attr a -> Bool

maximum :: Ord a => Attr a -> a

minimum :: Ord a => Attr a -> a

sum :: Num a => Attr a -> a

product :: Num a => Attr a -> a

Traversable Attr

Methods

traverse :: Applicative f => (a -> f b) -> Attr a -> f (Attr b)

sequenceA :: Applicative f => Attr (f a) -> f (Attr a)

mapM :: Monad m => (a -> m b) -> Attr a -> m (Attr b)

sequence :: Monad m => Attr (m a) -> m (Attr a)

Eq a => Eq (Attr a)

Methods

(==) :: Attr a -> Attr a -> Bool

(/=) :: Attr a -> Attr a -> Bool

Show a => Show (Attr a)

Methods

showsPrec :: Int -> Attr a -> ShowS

show :: Attr a -> String

showList :: [Attr a] -> ShowS

HTML5 support

module Text.Html.Nice.Writer.Html5

Rendering

data FastMarkup a

Instances

Functor FastMarkup

Methods

fmap :: (a -> b) -> FastMarkup a -> FastMarkup b

(<$) :: a -> FastMarkup b -> FastMarkup a

Foldable FastMarkup

Methods

fold :: Monoid m => FastMarkup m -> m

foldMap :: Monoid m => (a -> m) -> FastMarkup a -> m

foldr :: (a -> b -> b) -> b -> FastMarkup a -> b

foldr' :: (a -> b -> b) -> b -> FastMarkup a -> b

foldl :: (b -> a -> b) -> b -> FastMarkup a -> b

foldl' :: (b -> a -> b) -> b -> FastMarkup a -> b

foldr1 :: (a -> a -> a) -> FastMarkup a -> a

foldl1 :: (a -> a -> a) -> FastMarkup a -> a

toList :: FastMarkup a -> [a]

null :: FastMarkup a -> Bool

length :: FastMarkup a -> Int

elem :: Eq a => a -> FastMarkup a -> Bool

maximum :: Ord a => FastMarkup a -> a

minimum :: Ord a => FastMarkup a -> a

sum :: Num a => FastMarkup a -> a

product :: Num a => FastMarkup a -> a

Eq a => Eq (FastMarkup a)

Methods

(==) :: FastMarkup a -> FastMarkup a -> Bool

(/=) :: FastMarkup a -> FastMarkup a -> Bool

Show a => Show (FastMarkup a)

Methods

showsPrec :: Int -> FastMarkup a -> ShowS

show :: FastMarkup a -> String

showList :: [FastMarkup a] -> ShowS

Generic (FastMarkup a)

Associated Types

type Rep (FastMarkup a) :: * -> *

Methods

from :: FastMarkup a -> Rep (FastMarkup a) x

to :: Rep (FastMarkup a) x -> FastMarkup a

Monoid (FastMarkup a)

Methods

mempty :: FastMarkup a

mappend :: FastMarkup a -> FastMarkup a -> FastMarkup a

mconcat :: [FastMarkup a] -> FastMarkup a

NFData a => NFData (FastMarkup a)

Methods

rnf :: FastMarkup a -> ()

ToFastMarkup (FastMarkup Void)

Methods

toFastMarkup :: FastMarkup Void -> FastMarkup b

(Render a m, Monad m) => Render (FastMarkup a) m

Methods

r :: FastMarkup a -> m Builder

type Rep (FastMarkup a)

type Rep (FastMarkup a) = D1 * (MetaData "FastMarkup" "Text.Html.Nice.Internal" "nice-html-0.4.1-CwW1bHm54io1dxKzvNIhVg" False) ((:+:) * ((:+:) * ((:+:) * (C1 * (MetaCons "Bunch" PrefixI False) (S1 * (MetaSel (Nothing Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 * (Vector (FastMarkup a))))) (C1 * (MetaCons "FStream" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * (Stream a))))) ((:+:) * (C1 * (MetaCons "FHole" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * IsEscaped)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * a)))) (C1 * (MetaCons "FLText" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Text))))) ((:+:) * ((:+:) * (C1 * (MetaCons "FSText" PrefixI False) (S1 * (MetaSel (Nothing Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 * Text))) (C1 * (MetaCons "FBuilder" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 * Builder)))) ((:+:) * (C1 * (MetaCons "FEmpty" PrefixI False) (U1 *)) (C1 * (MetaCons "FDeep" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (FastMarkup (FastMarkup a))))))))

class Render a m where

Minimal complete definition

r

Methods

r :: a -> m Builder

Instances

Monad m => Render Void m

Methods

r :: Void -> m Builder

Monad m => Render Text m

Methods

r :: Text -> m Builder

Monad m => Render Text m

Methods

r :: Text -> m Builder

Monad m => Render Builder m

Methods

r :: Builder -> m Builder

(Render a m, Monad m) => Render (FastMarkup a) m

Methods

r :: FastMarkup a -> m Builder

(ToFastMarkup a, Monad m) => Render (RenderToFastMarkup a) m

Methods

r :: RenderToFastMarkup a -> m Builder

(Render b m, (~) (* -> *) m' (ReaderT * a m)) => Render (a -> b) m'

Methods

r :: (a -> b) -> m' Builder

(Monad m, Render b m) => Render ((:$) a b) m

Defer application of an argument to rendering

Methods

r :: (a :$ b) -> m Builder

r_ :: Render a Identity => a -> Builder

data a :$ b infixl 0

Constructors

(:$) (FastMarkup (a -> b)) a infixl 0

Instances

Functor ((:$) a)

Methods

fmap :: (a -> b) -> (a :$ a) -> a :$ b

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

Show a => Show ((:$) a b)

Methods

showsPrec :: Int -> (a :$ b) -> ShowS

show :: (a :$ b) -> String

showList :: [a :$ b] -> ShowS

(Monad m, Render b m) => Render ((:$) a b) m

Defer application of an argument to rendering

Methods

r :: (a :$ b) -> m Builder

renderM :: Monad m => (a -> m Builder) -> FastMarkup a -> m Builder

Render FastMarkup

renderMs :: Monad m => (a -> m (FastMarkup Void)) -> FastMarkup a -> m Builder

Render FastMarkup by recursively rendering any sub-markup.

render :: FastMarkup Void -> Builder

Render FastMarkup that has no holes.

Utility

recompile :: FastMarkup a -> FastMarkup a

unlayer :: FastMarkup (FastMarkup a) -> FastMarkup a