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 -> ()

(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.3.0-FPvZVt0dNb03fE7NHgRw8L" False) ((:+:) ((:+:) ((:+:) (C1 (MetaCons "Bunch" PrefixI False) (S1 (MetaSel (Nothing Symbol) SourceUnpack SourceStrict DecidedUnpack) (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 DecidedUnpack) (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

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

Re-exports of Builder functions

module Data.Text.Lazy.Builder

module Data.Text.Lazy.Builder.Int

module Data.Text.Lazy.Builder.RealFloat

Re-exports of lazy Text functions

data Text :: *

Instances

ToMarkup Text

Methods

toMarkup :: Text -> Markup

preEscapedToMarkup :: Text -> Markup

ToValue Text

Methods

toValue :: Text -> AttributeValue

preEscapedToValue :: Text -> AttributeValue

ToFastMarkup Text

Methods

toFastMarkup :: Text -> FastMarkup b

Monad m => Render Text m

Methods

r :: Text -> m Builder

type Item Text

type Item Text = Char

fromStrict :: Text -> Text

O(c) Convert a strict Text into a lazy Text.

toStrict :: Text -> Text

O(n) Convert a lazy Text into a strict Text.