Language.Symantic.Grammar.Terminal

Symantics for terminal grammars.

Type Terminal

newtype Terminal g a

Terminal grammar.

Constructors

Terminal

Fields

• unTerminal :: g a

Instances

ContextFreeOf Terminal

Methods

cfOf :: Terminal g a -> CF g a

Functor g => Functor (Terminal g)

Methods

fmap :: (a -> b) -> Terminal g a -> Terminal g b

(<$) :: a -> Terminal g b -> Terminal g a

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_String g => Gram_String (Terminal g)

Methods

string :: String -> Terminal g String

text :: Text -> Terminal g Text

textLazy :: Text -> Terminal g Text

Gram_Char g => Gram_Char (Terminal g)

Methods

any :: Terminal g Char

but :: Terminal (Terminal g) Char -> Terminal (Terminal g) Char -> Terminal (Terminal g) Char

eoi :: Terminal g ()

eol :: Terminal g Char

space :: Terminal g Char

char :: Char -> Terminal g Char

unicat :: Unicat -> Terminal g Char

range :: (Char, Char) -> Terminal g Char

Gram_Alt p => Gram_Alt (Terminal p)

Methods

empty :: Terminal p a

(<+>) :: Terminal p a -> Terminal p a -> Terminal p a

choice :: [Terminal p a] -> Terminal p a

Class Gram_Char

class Gram_Rule g => Gram_Char g where

Symantics for terminal grammars.

Minimal complete definition

any, but, eoi, char, unicat, range

Methods

any :: g Char

but :: Terminal g Char -> Terminal g Char -> Terminal g Char

eoi :: g ()

eol :: g Char

space :: g Char

char :: Char -> g Char

unicat :: Unicat -> g Char

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

Instances

Gram_Char RuleEBNF

Methods

any :: RuleEBNF Char

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

eoi :: RuleEBNF ()

eol :: RuleEBNF Char

space :: RuleEBNF Char

char :: Char -> RuleEBNF Char

unicat :: Unicat -> RuleEBNF Char

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

Gram_Char EBNF

Methods

any :: EBNF Char

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

eoi :: EBNF ()

eol :: EBNF Char

space :: EBNF Char

char :: Char -> EBNF Char

unicat :: Unicat -> EBNF Char

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

Gram_Char g => Gram_Char (Terminal g)

Methods

any :: Terminal g Char

but :: Terminal (Terminal g) Char -> Terminal (Terminal g) Char -> Terminal (Terminal g) Char

eoi :: Terminal g ()

eol :: Terminal g Char

space :: Terminal g Char

char :: Char -> Terminal g Char

unicat :: Unicat -> Terminal g Char

range :: (Char, Char) -> Terminal g Char

Gram_Char g => Gram_Char (CF g)

Methods

any :: CF g Char

but :: Terminal (CF g) Char -> Terminal (CF g) Char -> Terminal (CF g) Char

eoi :: CF g ()

eol :: CF g Char

space :: CF g Char

char :: Char -> CF g Char

unicat :: Unicat -> CF g Char

range :: (Char, Char) -> CF g Char

Gram_Char g => Gram_Char (Reg lr g)

Methods

any :: Reg lr g Char

but :: Terminal (Reg lr g) Char -> Terminal (Reg lr g) Char -> Terminal (Reg lr g) Char

eoi :: Reg lr g ()

eol :: Reg lr g Char

space :: Reg lr g Char

char :: Char -> Reg lr g Char

unicat :: Unicat -> Reg lr g Char

range :: (Char, Char) -> Reg lr g Char

Type Unicat

data Unicat

Unicode category.

Constructors

Unicat_Letter

Unicat_Mark

Unicat_Number

Unicat_Punctuation

Unicat_Symbol

Unicat GeneralCategory

Instances

Eq Unicat

Methods

(==) :: Unicat -> Unicat -> Bool

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

Show Unicat

Methods

showsPrec :: Int -> Unicat -> ShowS

show :: Unicat -> String

showList :: [Unicat] -> ShowS

unicode_categories :: Unicat -> [GeneralCategory]

Class Gram_String

class Functor g => Gram_String g where

Minimal complete definition

string

Methods

string :: String -> g String

text :: Text -> g Text

textLazy :: Text -> g Text

Instances

Gram_String RuleEBNF

Methods

string :: String -> RuleEBNF String

text :: Text -> RuleEBNF Text

textLazy :: Text -> RuleEBNF Text

Gram_String EBNF

Methods

string :: String -> EBNF String

text :: Text -> EBNF Text

textLazy :: Text -> EBNF Text

Gram_String g => Gram_String (Terminal g)

Methods

string :: String -> Terminal g String

text :: Text -> Terminal g Text

textLazy :: Text -> Terminal g Text

Gram_String g => Gram_String (CF g)

Methods

string :: String -> CF g String

text :: Text -> CF g Text

textLazy :: Text -> CF g Text

Gram_String g => Gram_String (Reg lr g)

Methods

string :: String -> Reg lr g String

text :: Text -> Reg lr g Text

textLazy :: Text -> Reg lr g Text

Orphan instances

IsString (EBNF String)

Methods

fromString :: String -> EBNF String