Text.Html.Nice

Nice HTML writer monad

module Text.Html.Nice.Writer

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

Traversable FastMarkup

Methods

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

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

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

sequence :: Monad m => FastMarkup (m a) -> m (FastMarkup 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.1.0.0-L9SfkuS6DkiEapIRA4K4Mf" 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 NoSourceStrictness DecidedLazy) (Rec0 (Stream 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 "FHole" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 IsEscaped)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 a)))) (C1 (MetaCons "FEmpty" PrefixI False) U1))))

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 Builder m

Methods

r :: Builder -> m Builder

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

Methods

r :: FastMarkup a -> 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.

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

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.