Language.Symantic.Grammar.EBNF

Type EBNF

newtype EBNF a

Extended Backus-Naur-Form, following the ISO-IEC-14977 notations, augmented with the following notations:

• ("U+", code_point): for ISO-IEC-10646 (aka. Unicode).
• (char, "…", char): for character range.
• (rule, "&", rule): for the intersection.
• (rule, "-", rule): for the difference.
• (rule, " ", rule): for rule application.

Inherited attributes are:

• RuleMode is the requested rendering mode of a Rule (body or reference).
• Infix and Side are the properties of the parent operator, used to enclose the operand in parenthesis only when needed.

Synthetized attributes are:

• Text of the EBNF rendition.

Constructors

EBNF

Fields

• unEBNF :: RuleMode -> (Infix, Side) -> Text

Instances

Functor EBNF

Methods

fmap :: (a -> b) -> EBNF a -> EBNF b

(<$) :: a -> EBNF b -> EBNF a

Applicative EBNF

Methods

pure :: a -> EBNF a

(<*>) :: EBNF (a -> b) -> EBNF a -> EBNF b

(*>) :: EBNF a -> EBNF b -> EBNF b

(<*) :: EBNF a -> EBNF b -> EBNF a

Gram_RuleEBNF EBNF

Methods

ruleEBNF :: EBNF () -> EBNF a -> RuleEBNF a

argEBNF :: Text -> EBNF a

Gram_Rule EBNF

Methods

rule :: Text -> Rule (EBNF a)

rule1 :: Text -> Rule (EBNF a -> EBNF b)

rule2 :: Text -> Rule (EBNF a -> EBNF b -> EBNF c)

rule3 :: Text -> Rule (EBNF a -> EBNF b -> EBNF c -> EBNF d)

rule4 :: Text -> Rule (EBNF a -> EBNF b -> EBNF c -> EBNF d -> EBNF e)

Gram_Terminal EBNF

Methods

any :: EBNF Char

but :: Terminal EBNF Char -> Terminal EBNF Char -> Terminal EBNF Char

eoi :: EBNF ()

char :: Char -> EBNF Char

string :: String -> EBNF String

unicat :: Unicat -> EBNF Char

range :: (Char, Char) -> EBNF Char

Gram_RegL EBNF

Methods

(<*.) :: RegL EBNF (a -> b) -> Terminal EBNF a -> RegL EBNF b

manyL :: Terminal EBNF a -> RegL EBNF [a]

someL :: Terminal EBNF a -> RegL EBNF [a]

Gram_RegR EBNF

Methods

(.*>) :: Terminal EBNF (a -> b) -> RegR EBNF a -> RegR EBNF b

manyR :: Terminal EBNF a -> RegR EBNF [a]

someR :: Terminal EBNF a -> RegR EBNF [a]

Gram_Try EBNF

Methods

try :: EBNF a -> EBNF a

Gram_Alt EBNF

Methods

empty :: EBNF a

(<+>) :: EBNF a -> EBNF a -> EBNF a

choice :: [EBNF a] -> EBNF a

Gram_Comment EBNF

Methods

commentable :: EBNF () -> EBNF () -> EBNF () -> EBNF ()

comment_line :: CF EBNF String -> CF EBNF String

comment_block :: CF EBNF String -> Reg lr EBNF String -> CF EBNF String

lexeme :: CF EBNF a -> CF EBNF a

parens :: CF EBNF a -> CF EBNF a

symbol :: String -> CF EBNF String

Gram_AltApp EBNF

Methods

option :: a -> EBNF a -> EBNF a

optional :: EBNF a -> EBNF (Maybe a)

many :: EBNF a -> EBNF [a]

some :: EBNF a -> EBNF [a]

skipMany :: EBNF a -> EBNF ()

inside :: (in_ -> next) -> CF EBNF begin -> CF EBNF in_ -> CF EBNF end -> CF EBNF next -> CF EBNF next

Gram_App EBNF

Methods

between :: EBNF open -> EBNF close -> EBNF a -> EBNF a

Gram_CF EBNF

Methods

(<&) :: CF EBNF (a -> b) -> Reg lr EBNF a -> CF EBNF b

(&>) :: Reg lr EBNF (a -> b) -> CF EBNF a -> CF EBNF b

minus :: CF EBNF a -> Reg lr EBNF b -> CF EBNF a

Gram_Op EBNF

Methods

operators :: CF EBNF a -> CF EBNF (Unifix, a -> a) -> CF EBNF (Infix, a -> a -> a) -> CF EBNF (Unifix, a -> a) -> CF EBNF (Either Error_Fixity a)

infixrG :: CF EBNF a -> CF EBNF (a -> a -> a) -> CF EBNF a

infixlG :: CF EBNF a -> CF EBNF (a -> a -> a) -> CF EBNF a

Gram_Error err EBNF

Methods

catch :: EBNF (Either err a) -> EBNF a

Gram_State st EBNF

Methods

stateBefore :: EBNF (st -> (st, a)) -> EBNF a

stateAfter :: EBNF (st -> (st, a)) -> EBNF a

getBefore :: EBNF (st -> a) -> EBNF a

getAfter :: EBNF (st -> a) -> EBNF a

put :: EBNF (st, a) -> EBNF a

Gram_Reader st EBNF

Methods

askBefore :: EBNF (st -> a) -> EBNF a

askAfter :: EBNF (st -> a) -> EBNF a

Show (EBNF a)

Methods

showsPrec :: Int -> EBNF a -> ShowS

show :: EBNF a -> String

showList :: [EBNF a] -> ShowS

runEBNF :: EBNF a -> Text

Get textual rendition of given EBNF.

renderEBNF :: RuleEBNF a -> Text

Get textual rendition of given RuleEBNF.

ebnf_const :: Text -> EBNF a

EBNF returns a constant rendition.

ebnf_arg :: EBNF a -> EBNF b -> EBNF () infixl 5

EBNF which adds an argument to be applied.

Type RuleMode

data RuleMode

Constructors

RuleMode_Body

Request to generate the body of the rule.

RuleMode_Ref

Request to generate a reference to the rule.

Instances

Eq RuleMode

Methods

(==) :: RuleMode -> RuleMode -> Bool

(/=) :: RuleMode -> RuleMode -> Bool

Show RuleMode

Methods

showsPrec :: Int -> RuleMode -> ShowS

show :: RuleMode -> String

showList :: [RuleMode] -> ShowS

Type Rule

type Rule a = a -> a

Class Gram_Rule

class Gram_Rule g where

Methods

rule :: Text -> Rule (g a)

rule1 :: Text -> Rule (g a -> g b)

rule2 :: Text -> Rule (g a -> g b -> g c)

rule3 :: Text -> Rule (g a -> g b -> g c -> g d)

rule4 :: Text -> Rule (g a -> g b -> g c -> g d -> g e)

Instances

Gram_Rule RuleEBNF

Methods

rule :: Text -> Rule (RuleEBNF a)

rule1 :: Text -> Rule (RuleEBNF a -> RuleEBNF b)

rule2 :: Text -> Rule (RuleEBNF a -> RuleEBNF b -> RuleEBNF c)

rule3 :: Text -> Rule (RuleEBNF a -> RuleEBNF b -> RuleEBNF c -> RuleEBNF d)

rule4 :: Text -> Rule (RuleEBNF a -> RuleEBNF b -> RuleEBNF c -> RuleEBNF d -> RuleEBNF e)

Gram_Rule EBNF

Methods

rule :: Text -> Rule (EBNF a)

rule1 :: Text -> Rule (EBNF a -> EBNF b)

rule2 :: Text -> Rule (EBNF a -> EBNF b -> EBNF c)

rule3 :: Text -> Rule (EBNF a -> EBNF b -> EBNF c -> EBNF d)

rule4 :: Text -> Rule (EBNF a -> EBNF b -> EBNF c -> EBNF d -> EBNF e)

Gram_Rule g => Gram_Rule (Terminal g)

Methods

rule :: Text -> Rule (Terminal g a)

rule1 :: Text -> Rule (Terminal g a -> Terminal g b)

rule2 :: Text -> Rule (Terminal g a -> Terminal g b -> Terminal g c)

rule3 :: Text -> Rule (Terminal g a -> Terminal g b -> Terminal g c -> Terminal g d)

rule4 :: Text -> Rule (Terminal g a -> Terminal g b -> Terminal g c -> Terminal g d -> Terminal g e)

Gram_Rule g => Gram_Rule (CF g)

Methods

rule :: Text -> Rule (CF g a)

rule1 :: Text -> Rule (CF g a -> CF g b)

rule2 :: Text -> Rule (CF g a -> CF g b -> CF g c)

rule3 :: Text -> Rule (CF g a -> CF g b -> CF g c -> CF g d)

rule4 :: Text -> Rule (CF g a -> CF g b -> CF g c -> CF g d -> CF g e)

Gram_Rule g => Gram_Rule (Reg lr g)

Methods

rule :: Text -> Rule (Reg lr g a)

rule1 :: Text -> Rule (Reg lr g a -> Reg lr g b)

rule2 :: Text -> Rule (Reg lr g a -> Reg lr g b -> Reg lr g c)

rule3 :: Text -> Rule (Reg lr g a -> Reg lr g b -> Reg lr g c -> Reg lr g d)

rule4 :: Text -> Rule (Reg lr g a -> Reg lr g b -> Reg lr g c -> Reg lr g d -> Reg lr g e)

Type RuleEBNF

newtype RuleEBNF a

Constructors

RuleEBNF

Fields

• unRuleEBNF :: EBNF a

Instances

Functor RuleEBNF

Methods

fmap :: (a -> b) -> RuleEBNF a -> RuleEBNF b

(<$) :: a -> RuleEBNF b -> RuleEBNF a

Applicative RuleEBNF

Methods

pure :: a -> RuleEBNF a

(<*>) :: RuleEBNF (a -> b) -> RuleEBNF a -> RuleEBNF b

(*>) :: RuleEBNF a -> RuleEBNF b -> RuleEBNF b

(<*) :: RuleEBNF a -> RuleEBNF b -> RuleEBNF a

Gram_RuleEBNF RuleEBNF

Methods

ruleEBNF :: EBNF () -> RuleEBNF a -> RuleEBNF a

argEBNF :: Text -> RuleEBNF a

Gram_Rule RuleEBNF

Methods

rule :: Text -> Rule (RuleEBNF a)

rule1 :: Text -> Rule (RuleEBNF a -> RuleEBNF b)

rule2 :: Text -> Rule (RuleEBNF a -> RuleEBNF b -> RuleEBNF c)

rule3 :: Text -> Rule (RuleEBNF a -> RuleEBNF b -> RuleEBNF c -> RuleEBNF d)

rule4 :: Text -> Rule (RuleEBNF a -> RuleEBNF b -> RuleEBNF c -> RuleEBNF d -> RuleEBNF e)

Gram_Terminal RuleEBNF

Methods

any :: RuleEBNF Char

but :: Terminal RuleEBNF Char -> Terminal RuleEBNF Char -> Terminal RuleEBNF Char

eoi :: RuleEBNF ()

char :: Char -> RuleEBNF Char

string :: String -> RuleEBNF String

unicat :: Unicat -> RuleEBNF Char

range :: (Char, Char) -> RuleEBNF Char

Gram_RegL RuleEBNF

Methods

(<*.) :: RegL RuleEBNF (a -> b) -> Terminal RuleEBNF a -> RegL RuleEBNF b

manyL :: Terminal RuleEBNF a -> RegL RuleEBNF [a]

someL :: Terminal RuleEBNF a -> RegL RuleEBNF [a]

Gram_RegR RuleEBNF

Methods

(.*>) :: Terminal RuleEBNF (a -> b) -> RegR RuleEBNF a -> RegR RuleEBNF b

manyR :: Terminal RuleEBNF a -> RegR RuleEBNF [a]

someR :: Terminal RuleEBNF a -> RegR RuleEBNF [a]

Gram_Try RuleEBNF

Methods

try :: RuleEBNF a -> RuleEBNF a

Gram_Alt RuleEBNF

Methods

empty :: RuleEBNF a

(<+>) :: RuleEBNF a -> RuleEBNF a -> RuleEBNF a

choice :: [RuleEBNF a] -> RuleEBNF a

Gram_Comment RuleEBNF

Methods

commentable :: RuleEBNF () -> RuleEBNF () -> RuleEBNF () -> RuleEBNF ()

comment_line :: CF RuleEBNF String -> CF RuleEBNF String

comment_block :: CF RuleEBNF String -> Reg lr RuleEBNF String -> CF RuleEBNF String

lexeme :: CF RuleEBNF a -> CF RuleEBNF a

parens :: CF RuleEBNF a -> CF RuleEBNF a

symbol :: String -> CF RuleEBNF String

Gram_AltApp RuleEBNF

Methods

option :: a -> RuleEBNF a -> RuleEBNF a

optional :: RuleEBNF a -> RuleEBNF (Maybe a)

many :: RuleEBNF a -> RuleEBNF [a]

some :: RuleEBNF a -> RuleEBNF [a]

skipMany :: RuleEBNF a -> RuleEBNF ()

inside :: (in_ -> next) -> CF RuleEBNF begin -> CF RuleEBNF in_ -> CF RuleEBNF end -> CF RuleEBNF next -> CF RuleEBNF next

Gram_App RuleEBNF

Methods

between :: RuleEBNF open -> RuleEBNF close -> RuleEBNF a -> RuleEBNF a

Gram_CF RuleEBNF

Methods

(<&) :: CF RuleEBNF (a -> b) -> Reg lr RuleEBNF a -> CF RuleEBNF b

(&>) :: Reg lr RuleEBNF (a -> b) -> CF RuleEBNF a -> CF RuleEBNF b

minus :: CF RuleEBNF a -> Reg lr RuleEBNF b -> CF RuleEBNF a

Gram_Op RuleEBNF

Methods

operators :: CF RuleEBNF a -> CF RuleEBNF (Unifix, a -> a) -> CF RuleEBNF (Infix, a -> a -> a) -> CF RuleEBNF (Unifix, a -> a) -> CF RuleEBNF (Either Error_Fixity a)

infixrG :: CF RuleEBNF a -> CF RuleEBNF (a -> a -> a) -> CF RuleEBNF a

infixlG :: CF RuleEBNF a -> CF RuleEBNF (a -> a -> a) -> CF RuleEBNF a

Gram_Error err RuleEBNF

Methods

catch :: RuleEBNF (Either err a) -> RuleEBNF a

Gram_State st RuleEBNF

Methods

stateBefore :: RuleEBNF (st -> (st, a)) -> RuleEBNF a

stateAfter :: RuleEBNF (st -> (st, a)) -> RuleEBNF a

getBefore :: RuleEBNF (st -> a) -> RuleEBNF a

getAfter :: RuleEBNF (st -> a) -> RuleEBNF a

put :: RuleEBNF (st, a) -> RuleEBNF a

Gram_Reader st RuleEBNF

Methods

askBefore :: RuleEBNF (st -> a) -> RuleEBNF a

askAfter :: RuleEBNF (st -> a) -> RuleEBNF a

Class Gram_RuleEBNF

class Gram_RuleEBNF g where

Symantics for rendering EBNF rules.

• ruleEBNF renders a rule, either its body or a reference to it, according to RuleMode.
• argEBNF renders an argument.

Minimal complete definition

ruleEBNF, argEBNF

Methods

ruleEBNF :: EBNF () -> g a -> RuleEBNF a

argEBNF :: Text -> g a

Instances

Gram_RuleEBNF RuleEBNF

Methods

ruleEBNF :: EBNF () -> RuleEBNF a -> RuleEBNF a

argEBNF :: Text -> RuleEBNF a

Gram_RuleEBNF EBNF

Methods

ruleEBNF :: EBNF () -> EBNF a -> RuleEBNF a

argEBNF :: Text -> EBNF a

Gram_RuleEBNF g => Gram_RuleEBNF (CF g)

Methods

ruleEBNF :: EBNF () -> CF g a -> RuleEBNF a

argEBNF :: Text -> CF g a

Gram_RuleEBNF g => Gram_RuleEBNF (Reg SideL g)

Methods

ruleEBNF :: EBNF () -> Reg SideL g a -> RuleEBNF a

argEBNF :: Text -> Reg SideL g a

Gram_RuleEBNF g => Gram_RuleEBNF (Reg SideR g)

Methods

ruleEBNF :: EBNF () -> Reg SideR g a -> RuleEBNF a

argEBNF :: Text -> Reg SideR g a