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

Safe HaskellNone

Language.Grammars.ZipperAG.Examples.Algol68

Documentation

data Root Source

Constructors

Root Its 

Instances

Data Root 
Show Root 
Typeable Root 

data Its Source

Constructors

ConsIts It Its 
NilIts 

Instances

Data Its 
Show Its 
Typeable Its 

data It Source

Constructors

Decl String 
Use String 
Block Its 

Instances

Data It 
Show It 
Typeable It 

constructor :: Typeable a => Zipper a -> StringSource

value :: Zipper a -> StringSource

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

errs :: Zipper Root -> [String]Source

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

lev :: Zipper Root -> IntSource

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

block :: ItSource

program :: ItsSource

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

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

semantics :: Its -> [String]Source