ADP.Fusion.Term.Epsilon.Type

Documentation

data Epsilon

Constructors

Epsilon

Instances

Build Epsilon

Associated Types

type Stack Epsilon :: *

Methods

build :: Epsilon -> Stack Epsilon

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

Associated Types

data Elm ((:!:) ls Epsilon) i :: *

type RecElm ((:!:) ls Epsilon) i :: *

type Arg ((:!:) ls Epsilon) :: *

Methods

getArg :: Elm (ls :!: Epsilon) i -> Arg (ls :!: Epsilon)

getIdx :: Elm (ls :!: Epsilon) i -> RunningIndex i

getElm :: Elm (ls :!: Epsilon) i -> RecElm (ls :!: Epsilon) i

type Stack Epsilon

type Stack Epsilon = (:!:) S Epsilon

type TermArg Epsilon

type TermArg Epsilon = ()

data Elm ((:!:) ls Epsilon)

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

type Arg ((:!:) ls Epsilon)

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