ZipperAG-0.4: An implementationg of Attribute Grammars using Functional Zippers

Safe Haskell	None

Language.Grammars.ZipperAG.Examples.Algol68

Documentation

data Root Source

Constructors

Instances

Data Root
Show Root
Typeable Root

data Its Source

Constructors

ConsIts It Its
NilIts

Instances

Data Its
Show Its
Typeable Its

Constructors

Decl String
Use String
Block Its

Instances

Data It
Show It
Typeable It

constructor :: Typeable a => Zipper a -> String Source

(.$) :: Zipper a -> Int -> Zipper aSource

value :: Zipper a -> String Source

(.|) :: Zipper a -> Int -> Bool Source

parent :: Zipper a -> Zipper aSource

dclo :: Zipper Root -> [(String, Int)]Source

errs :: Zipper Root -> [String]Source

dcli :: Zipper Root -> [(String, Int)]Source

lev :: Zipper Root -> Int Source

env :: Zipper Root -> [(String, Int)]Source

block :: It Source

program :: Its Source

mBIn :: Eq a => a -> [(a, t)] -> [a]Source

mNBIn :: (Eq a, Eq b) => (a, b) -> [(a, b)] -> [a]Source

semantics :: Its -> [String]Source