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

Safe HaskellNone
LanguageHaskell2010

ADP.Fusion.Term.Deletion.Type

Documentation

data Deletion Source #

Constructors

Deletion 

Instances

Build Deletion Source # 

Associated Types

type Stack Deletion :: * Source #

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

Associated Types

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

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

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

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