Language.Symantic.Grammar.Operators

Symantics to handle Prefix, Postfix or Infix operators, of different Precedences and possibly with left and/or right Associativity.

Class Gram_Op

class (Gram_Char g, Gram_String g, Gram_Rule g, Gram_Alt g, Gram_Try g, Gram_App g, Gram_AltApp g, Gram_CF g) => Gram_Op g where

Symantics for operators.

Methods

operators

Arguments

:: CF g a

expression

-> CF g (Unifix, a -> a)

prefix operator

-> CF g (Infix, a -> a -> a)

infix operator

-> CF g (Unifix, a -> a)

postfix operator

-> CF g (Either Error_Fixity a)

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

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

Instances

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_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_Op g => Gram_Op (CF g)

Methods

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

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

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

Type Error_Fixity

data Error_Fixity

Constructors

Error_Fixity_Infix_not_combinable Infix Infix

Instances

Eq Error_Fixity

Methods

(==) :: Error_Fixity -> Error_Fixity -> Bool

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

Show Error_Fixity

Methods

showsPrec :: Int -> Error_Fixity -> ShowS

show :: Error_Fixity -> String

showList :: [Error_Fixity] -> ShowS

Type OpTree

data OpTree a

Tree of operators.

Useful to recombine operators according to their Precedence.

Constructors

OpTree0 a

OpTree1 Unifix (a -> a) (OpTree a)

OpTree2 Infix (a -> a -> a) (OpTree a) (OpTree a)

Instances

Show a => Show (OpTree a)

Methods

showsPrec :: Int -> OpTree a -> ShowS

show :: OpTree a -> String

showList :: [OpTree a] -> ShowS

insertUnifix :: (Unifix, a -> a) -> OpTree a -> OpTree a

Insert an Unifix operator into an OpTree.

insertInfix :: OpTree a -> (Infix, a -> a -> a) -> Either Error_Fixity (OpTree a) -> Either Error_Fixity (OpTree a)

Insert an Infix operator into an OpTree.

evalOpTree :: OpTree a -> a

Collapse an OpTree.

gram_operators :: (Gram_Op g, Gram_RuleEBNF g) => [CF g ()]