Safe Haskell	None
Language	Haskell2010

ADP.Fusion.Term.Deletion.Type

Documentation

Constructors

Instances

Build Deletion Source #
Associated Types type Stack Deletion :: * Source # Methods build :: Deletion -> 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 # Methods getArg :: Elm (ls :!: Deletion) i -> Arg (ls :!: Deletion) Source # getIdx :: Elm (ls :!: Deletion) i -> RunningIndex i Source # getElm :: Elm (ls :!: Deletion) i -> RecElm (ls :!: Deletion) i Source #
type Stack Deletion Source #
type Stack Deletion = (:!:) S Deletion
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) ()