ADP.Fusion.Term.Deletion.Type

Documentation

data Deletion

Constructors

Deletion

Instances

Build Deletion

Associated Types

type Stack Deletion :: *

Methods

build :: Deletion -> Stack Deletion

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

Associated Types

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

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

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

Methods

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

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

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

type Stack Deletion

type Stack Deletion = (:!:) S Deletion

type TermArg Deletion

type TermArg Deletion = ()

data Elm ((:!:) ls Deletion)

data Elm ((:!:) ls Deletion) = ElmDeletion !(RunningIndex i) !(Elm ls i)

type Arg ((:!:) ls Deletion)

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