ADP.Fusion.Term.Epsilon.Type

Documentation

data Epsilon

Constructors

Epsilon

Instances

Build Epsilon

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

type Stack Epsilon = (:!:) S Epsilon

type TermArg Epsilon = ()

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

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