Symantic.Parser.Grammar

Documentation

type Grammar repr = (Applicable repr, Alternable repr, Letable Name repr, Selectable repr, Matchable repr, Foldable repr, Lookable repr)

grammar :: Grammar repr => ObserveSharing Name (OptimizeComb Name repr) a -> repr a

A usual pipeline to interpret Combinators: observeSharing then optimizeComb then a polymorphic (repr).

showGrammar :: ObserveSharing Name (OptimizeComb Name DumpComb) a -> String

A usual pipeline to show Combinators: observeSharing then optimizeComb then dumpComb then show.

module Symantic.Parser.Grammar.Combinators

module Symantic.Parser.Grammar.Fixity

module Symantic.Parser.Grammar.Optimize

module Symantic.Parser.Grammar.ObserveSharing

module Symantic.Parser.Grammar.Write

module Symantic.Parser.Grammar.Dump

class Letable letName repr where

This class is not for manual usage like usual symantic operators, here def and ref are introduced by observeSharing.

Minimal complete definition

Nothing

Methods

def :: letName -> repr a -> repr a

(def letName x) let-binds (letName) to be equal to (x).

ref :: Bool -> letName -> repr a

(ref isRec letName) is a reference to (letName). (isRec) is True iif. this reference is recursive, ie. is reachable within its definition.

def :: Liftable1 repr => Letable letName (Output repr) => letName -> repr a -> repr a

(def letName x) let-binds (letName) to be equal to (x).

ref :: Liftable repr => Letable letName (Output repr) => Bool -> letName -> repr a

(ref isRec letName) is a reference to (letName). (isRec) is True iif. this reference is recursive, ie. is reachable within its definition.

Instances

Show letName => Letable letName WriteComb

Defined in Symantic.Parser.Grammar.Write

Methods

def :: letName -> WriteComb a -> WriteComb a

ref :: Bool -> letName -> WriteComb a

Show letName => Letable letName DumpComb

Defined in Symantic.Parser.Grammar.Dump

Methods

def :: letName -> DumpComb a -> DumpComb a

ref :: Bool -> letName -> DumpComb a

Letable Name (Comb repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

def :: Name -> Comb repr a -> Comb repr a

ref :: Bool -> Name -> Comb repr a

Letable Name (Machine inp)

Defined in Symantic.Parser.Machine.Instructions

Methods

def :: Name -> Machine inp a -> Machine inp a

ref :: Bool -> Name -> Machine inp a

(Letable letName repr, Eq letName, Hashable letName) => Letable letName (CleanDefs letName repr)

Defined in Symantic.Univariant.Letable

Methods

def :: letName -> CleanDefs letName repr a -> CleanDefs letName repr a

ref :: Bool -> letName -> CleanDefs letName repr a

(Letable letName repr, MakeLetName letName, Eq letName, Hashable letName) => Letable letName (ObserveSharing letName repr)

Defined in Symantic.Univariant.Letable

Methods

def :: letName -> ObserveSharing letName repr a -> ObserveSharing letName repr a

ref :: Bool -> letName -> ObserveSharing letName repr a

Letable letName (Comb repr) => Letable letName (OptimizeComb letName repr)

Defined in Symantic.Parser.Grammar.Optimize

Methods

def :: letName -> OptimizeComb letName repr a -> OptimizeComb letName repr a

ref :: Bool -> letName -> OptimizeComb letName repr a