Language.Grammars.ZipperAG.Examples.SmartParentesis

Documentation

data Root

Constructors

Root Exp

Instances

Eq Root

Data Root

Ord Root

Show Root

Typeable Root

data Exp

Constructors

Add Exp Exp

Mul Exp Exp

Div Exp Exp

Sub Exp Exp

Lit Int

Instances

Eq Exp

Data Exp

Ord Exp

Show Exp

Typeable Exp

constructor :: Zipper Root -> String

lexeme :: Zipper Root -> Int

enclosingOpPrecedence :: Zipper Root -> Int

leftOrRight :: Zipper Root -> String

bpp :: Zipper Root -> String

wrapInParens :: (Eq a1, Ord a) => a -> a -> a1 -> a1 -> Bool

exp2str :: Exp -> String

expr :: Root

semantics :: Root -> String