Safe Haskell	None
Language	Haskell2010

LBNF.Abs

Description

The abstract syntax of language LBNF.

Documentation

Constructors

Instances details

Print Grammar Source #
Instance details Defined in LBNF.Print Methods prt :: Int -> Grammar -> Doc Source #
Read Grammar Source #
Instance details Defined in LBNF.Abs Methods readsPrec :: Int -> ReadS Grammar # readList :: ReadS [Grammar] # readPrec :: ReadPrec Grammar # readListPrec :: ReadPrec [Grammar] #
Show Grammar Source #
Instance details Defined in LBNF.Abs Methods showsPrec :: Int -> Grammar -> ShowS # show :: Grammar -> String # showList :: [Grammar] -> ShowS #
Eq Grammar Source #
Instance details Defined in LBNF.Abs Methods (==) :: Grammar -> Grammar -> Bool # (/=) :: Grammar -> Grammar -> Bool #
Ord Grammar Source #
Instance details Defined in LBNF.Abs Methods compare :: Grammar -> Grammar -> Ordering # (<) :: Grammar -> Grammar -> Bool # (<=) :: Grammar -> Grammar -> Bool # (>) :: Grammar -> Grammar -> Bool # (>=) :: Grammar -> Grammar -> Bool # max :: Grammar -> Grammar -> Grammar # min :: Grammar -> Grammar -> Grammar #

Constructors

Instances details

Print Rule Source #
Instance details Defined in LBNF.Print Methods prt :: Int -> Rule -> Doc Source #
Read Rule Source #
Instance details Defined in LBNF.Abs Methods readsPrec :: Int -> ReadS Rule # readList :: ReadS [Rule] # readPrec :: ReadPrec Rule # readListPrec :: ReadPrec [Rule] #
Show Rule Source #
Instance details Defined in LBNF.Abs Methods showsPrec :: Int -> Rule -> ShowS # show :: Rule -> String # showList :: [Rule] -> ShowS #
Eq Rule Source #
Instance details Defined in LBNF.Abs Methods (==) :: Rule -> Rule -> Bool # (/=) :: Rule -> Rule -> Bool #
Ord Rule Source #
Instance details Defined in LBNF.Abs Methods compare :: Rule -> Rule -> Ordering # (<) :: Rule -> Rule -> Bool # (<=) :: Rule -> Rule -> Bool # (>) :: Rule -> Rule -> Bool # (>=) :: Rule -> Rule -> Bool # max :: Rule -> Rule -> Rule # min :: Rule -> Rule -> Rule #
Print [Rule] Source #
Instance details Defined in LBNF.Print Methods prt :: Int -> [Rule] -> Doc Source #

Constructors

Term String
NT Ident

Instances details

Print Entry Source #
Instance details Defined in LBNF.Print Methods prt :: Int -> Entry -> Doc Source #
Read Entry Source #
Instance details Defined in LBNF.Abs Methods readsPrec :: Int -> ReadS Entry # readList :: ReadS [Entry] # readPrec :: ReadPrec Entry # readListPrec :: ReadPrec [Entry] #
Show Entry Source #
Instance details Defined in LBNF.Abs Methods showsPrec :: Int -> Entry -> ShowS # show :: Entry -> String # showList :: [Entry] -> ShowS #
Eq Entry Source #
Instance details Defined in LBNF.Abs Methods (==) :: Entry -> Entry -> Bool # (/=) :: Entry -> Entry -> Bool #
Ord Entry Source #
Instance details Defined in LBNF.Abs Methods compare :: Entry -> Entry -> Ordering # (<) :: Entry -> Entry -> Bool # (<=) :: Entry -> Entry -> Bool # (>) :: Entry -> Entry -> Bool # (>=) :: Entry -> Entry -> Bool # max :: Entry -> Entry -> Entry # min :: Entry -> Entry -> Entry #
Print [Entry] Source #
Instance details Defined in LBNF.Print Methods prt :: Int -> [Entry] -> Doc Source #

Constructors

Instances details

DebugPrint Ident Source #
Instance details Defined in CharacterTokenGrammar Methods debugPrint :: Ident -> String Source #
Print Ident Source #
Instance details Defined in LBNF.Print Methods prt :: Int -> Ident -> Doc Source #
IsString Ident Source #
Instance details Defined in LBNF.Abs Methods fromString :: String -> Ident #
Read Ident Source #
Instance details Defined in LBNF.Abs Methods readsPrec :: Int -> ReadS Ident # readList :: ReadS [Ident] # readPrec :: ReadPrec Ident # readListPrec :: ReadPrec [Ident] #
Show Ident Source #
Instance details Defined in LBNF.Abs Methods showsPrec :: Int -> Ident -> ShowS # show :: Ident -> String # showList :: [Ident] -> ShowS #
Eq Ident Source #
Instance details Defined in LBNF.Abs Methods (==) :: Ident -> Ident -> Bool # (/=) :: Ident -> Ident -> Bool #
Ord Ident Source #
Instance details Defined in LBNF.Abs Methods compare :: Ident -> Ident -> Ordering # (<) :: Ident -> Ident -> Bool # (<=) :: Ident -> Ident -> Bool # (>) :: Ident -> Ident -> Bool # (>=) :: Ident -> Ident -> Bool # max :: Ident -> Ident -> Ident # min :: Ident -> Ident -> Ident #