ADP.Fusion.Term.Epsilon.Type

Documentation

data Epsilon

Constructors

Epsilon

Instances

Build Epsilon

TermStaticVar Epsilon PointL

TermStaticVar Epsilon (Outside PointL)

(Monad m, MkStream m ls PointL) => MkStream m ((:!:) ls Epsilon) PointL

(Monad m, MkStream m ls Subword) => MkStream m ((:!:) ls Epsilon) Subword

(Monad m, Element ls (Outside PointL), MkStream m ls (Outside PointL)) => MkStream m ((:!:) ls Epsilon) (Outside PointL)

(Monad m, MkStream m ls (Outside Subword)) => MkStream m ((:!:) ls Epsilon) (Outside Subword)

(Monad m, TerminalStream m a (Outside is)) => TerminalStream m (TermSymbol a Epsilon) (Outside ((:.) is PointL))

(Monad m, TerminalStream m a is) => TerminalStream m (TermSymbol a Epsilon) ((:.) is PointL)

Element ls i => Element ((:!:) ls Epsilon) i

type Stack Epsilon = (:!:) S Epsilon

data Elm ((:!:) ls Epsilon) = ElmEpsilon !i !i !(Elm ls i)

type Arg ((:!:) ls Epsilon) = (:.) (Arg ls) ()

type TermArg (TermSymbol a Epsilon) = (:.) (TermArg a) ()