Text.Parsec.Applicative.Grammar

Documentation

data Grammar s t

Constructors

Grammar

Fields

start :: s

productions :: Map s (Expr s t)

Instances

(Show s, Show t) => Show (Grammar s t)

data Expr s t

Constructors

End

Empty

Terminal t

NonTerminal s

Sequence [Expr s t]

Choice [Expr s t]

Repeat (Expr s t)

Try (Expr s t)

Fail (Maybe String)

Instances

(Show s, Show t) => Show (Expr s t)

nonTerminals :: Eq s => [(s, Parser s tt td ())] -> Parser s tt td a -> [(s, Parser s tt td ())]

parserToGrammar :: Ord s => Parser s tt td a -> Maybe (Grammar s tt)

ce :: Parser s tt td a -> Expr s tt

isFail :: Expr s t -> Bool

flatten :: Expr s t -> Expr s t

flattenSequence :: Expr s t -> [Expr s t]

flattenChoice :: Expr s t -> [Expr s t]