ADPfusion-0.5.2.2: Efficient, high-level dynamic programming.

Safe HaskellNone
LanguageHaskell2010

ADP.Fusion.Term.Epsilon.Type

Documentation

data Epsilon Source #

Constructors

Epsilon 

Instances

Build Epsilon Source # 

Associated Types

type Stack Epsilon :: * Source #

Methods

build :: Epsilon -> Stack Epsilon Source #

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

Associated Types

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

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

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

Methods

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

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

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

type Stack Epsilon Source # 
type TermArg Epsilon Source # 
type TermArg Epsilon = ()
data Elm ((:!:) ls Epsilon) Source # 
data Elm ((:!:) ls Epsilon) = ElmEpsilon !(RunningIndex i) !(Elm ls i)
type Arg ((:!:) ls Epsilon) Source # 
type Arg ((:!:) ls Epsilon) = (:.) (Arg ls) ()