Text.Syntax.Classes

Documentation

class ProductFunctor f where

Methods

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

Instances

ProductFunctor Parser

ProductFunctor Printer

class Alternative f where

Methods

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

empty :: f alpha

Instances

Alternative Parser

Alternative Printer

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

Methods

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

token :: delta Char

Instances

Syntax Parser

Syntax Printer