Text.Roundtrip.Classes

Documentation

class ProductFunctor f where

Minimal complete definition

(<*>)

Methods

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

Instances

ProductFunctor SpecPrinter

Methods

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

class Alternative f where

Minimal complete definition

(<||>), empty

Methods

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

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

empty :: f alpha

Instances

Alternative SpecPrinter

Methods

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

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

empty :: SpecPrinter alpha

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

Minimal complete definition

pure

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

Methods

pure :: Eq alpha => alpha -> SpecPrinter alpha

rule :: String -> SpecPrinter beta -> SpecPrinter alpha -> SpecPrinter alpha

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

class Syntax delta => StringSyntax delta where

Minimal complete definition

token

Methods

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

anyToken :: delta Char

type Attribute = (Name, [Content])

class Syntax delta => XmlSyntax delta where

Minimal complete definition

xmlBeginDoc, xmlEndDoc, xmlBeginElem, xmlEndElem, xmlAttrValue, xmlTextNotEmpty

Methods

xmlBeginDoc :: delta ()

xmlEndDoc :: delta ()

xmlBeginElem :: Name -> delta ()

xmlEndElem :: Name -> delta ()

xmlAttrValue :: Name -> delta Text

xmlTextNotEmpty :: delta Text

Instances

XmlSyntax SpecPrinter

Methods

xmlBeginDoc :: SpecPrinter ()

xmlEndDoc :: SpecPrinter ()

xmlBeginElem :: Name -> SpecPrinter ()

xmlEndElem :: Name -> SpecPrinter ()

xmlAttrValue :: Name -> SpecPrinter Text

xmlTextNotEmpty :: SpecPrinter Text