Text.Roundtrip.Printer

Documentation

newtype Printer m r a

Constructors

Printer

Fields

unPrinter :: a -> m (Maybe r)

Instances

(Monad m, Monoid r) => ProductFunctor (Printer m r)

Monad m => Alternative (Printer m r)

(Monad m, Monoid r) => Syntax (Printer m r)

Monad m => StringSyntax (Printer m String)

Monad m => IsoFunctor (Printer m r)

printerApply :: Monad m => Iso a b -> Printer m r a -> Printer m r b

printerConcat :: (Monoid r, Monad m) => Printer m r a -> Printer m r b -> Printer m r (a, b)

printerAlternative :: Monad m => Printer m r a -> Printer m r a -> Printer m r a

printerEmpty :: Monad m => Printer m r a

printerPure :: (Monad m, Monoid r, Eq a) => a -> Printer m r a

runPrinter :: Printer Identity r a -> a -> Maybe r

runStringPrinter :: Printer Identity String a -> a -> Maybe String