Text.Tamper

Documentation

runTamperT :: Monad m => TamperT t m a -> m (a, NodeList t)

data TamperT t m a

Instances

MonadReader s m => MonadReader s (TamperT t m)

MonadState s m => MonadState s (TamperT t m)

MonadWriter s m => MonadWriter s (TamperT t m)

(Ord t, Monad m, Functor m) => Attributable t (TamperT t m a -> TamperT t m a)

(Ord t, Monad m, Functor m) => Attributable t (TamperT t m ())

Monad m => Monad (TamperT t m)

Functor m => Functor (TamperT t m)

(Monad m, Functor m) => Applicative (TamperT t m)

(IsString t, Monad m, (~) * a ()) => IsString (TamperT t m a)

Note that this instance declaration is actually a lie: the a value cannot be used, but is required to avoid ambiguous instances.

nodeWithContent :: Monad m => Node t -> TamperT t m a -> TamperT t m a

simpleNode :: Monad m => Node t -> TamperT t m ()

class Attributable t a | a -> t where

Methods

(!) :: a -> (t, t) -> a

Instances

(Ord t, Monad m, Functor m) => Attributable t (TamperT t m a -> TamperT t m a)

(Ord t, Monad m, Functor m) => Attributable t (TamperT t m ())

text :: Monad m => t -> TamperT t m ()

comment :: Monad m => t -> TamperT t m ()

cdata :: Monad m => t -> TamperT t m ()

preEscaped :: Monad m => t -> TamperT t m ()