Text.Tamper

Documentation

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

data TamperT t m a

Instances

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

Defined in Text.Tamper.Internal

Methods

writer :: (a, s) -> TamperT t m a

tell :: s -> TamperT t m ()

listen :: TamperT t m a -> TamperT t m (a, s)

pass :: TamperT t m (a, s -> s) -> TamperT t m a

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

Defined in Text.Tamper.Internal

Methods

get :: TamperT t m s

put :: s -> TamperT t m ()

state :: (s -> (a, s)) -> TamperT t m a

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

Defined in Text.Tamper.Internal

Methods

ask :: TamperT t m s

local :: (s -> s) -> TamperT t m a -> TamperT t m a

reader :: (s -> a) -> TamperT t m a

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

Defined in Text.Tamper.Internal

Methods

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

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

Defined in Text.Tamper.Internal

Methods

(!) :: TamperT t m () -> (t, t) -> TamperT t m ()

Monad m => Monad (TamperT t m)

Defined in Text.Tamper.Internal

Methods

(>>=) :: TamperT t m a -> (a -> TamperT t m b) -> TamperT t m b

(>>) :: TamperT t m a -> TamperT t m b -> TamperT t m b

return :: a -> TamperT t m a

fail :: String -> TamperT t m a

Functor m => Functor (TamperT t m)

Defined in Text.Tamper.Internal

Methods

fmap :: (a -> b) -> TamperT t m a -> TamperT t m b

(<$) :: a -> TamperT t m b -> TamperT t m a

Monad m => Applicative (TamperT t m)

Defined in Text.Tamper.Internal

Methods

pure :: a -> TamperT t m a

(<*>) :: TamperT t m (a -> b) -> TamperT t m a -> TamperT t m b

liftA2 :: (a -> b -> c) -> TamperT t m a -> TamperT t m b -> TamperT t m c

(*>) :: TamperT t m a -> TamperT t m b -> TamperT t m b

(<*) :: TamperT t m a -> TamperT t m b -> TamperT t m a

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

Defined in Text.Tamper.Internal

Methods

fromString :: String -> TamperT t m a

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

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

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

class Attributable t a | a -> t

Minimal complete definition

(!)

Instances

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

Defined in Text.Tamper.Internal

Methods

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

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

Defined in Text.Tamper.Internal

Methods

(!) :: TamperT t m () -> (t, 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 ()