Text.Roundtrip.Classes

Documentation

class ProductFunctor f where

Methods

(<*>) :: f alpha -> f beta -> f (alpha, beta)

Instances

ProductFunctor SpecPrinter

class Alternative f where

Methods

(<|>) :: f alpha -> f alpha -> f alpha

(<||>) :: f alpha -> f alpha -> f alpha

empty :: f alpha

Instances

Alternative SpecPrinter

class (IsoFunctor delta, ProductFunctor delta, Alternative delta) => Syntax delta where

Methods

pure :: Eq alpha => alpha -> delta alpha

rule :: String -> delta beta -> delta alpha -> delta alpha

ruleInfix :: String -> delta beta -> delta gamma -> delta alpha -> delta alpha

Instances

Syntax SpecPrinter

class Syntax delta => StringSyntax delta where

Methods

token :: (Char -> Bool) -> delta Char

anyToken :: delta Char

type Attribute = (Name, [Content])

class Syntax delta => XmlSyntax delta where

Methods

xmlBeginDoc :: delta ()

xmlEndDoc :: delta ()

xmlBeginElem :: Name -> delta ()

xmlEndElem :: Name -> delta ()

xmlAttrValue :: Name -> delta Text

xmlTextNotEmpty :: delta Text

Instances

XmlSyntax SpecPrinter