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

Safe HaskellNone
LanguageHaskell2010

ADP.Fusion.Term.PeekIndex.Type

Documentation

data PeekIndex i Source

Constructors

PeekIndex 

Instances

Build (PeekIndex i) Source 
(Show i, Show (RunningIndex i), Show (Elm ls i)) => Show (Elm ((:!:) ls (PeekIndex i)) i) Source 
Element ls i => Element ((:!:) ls (PeekIndex i)) i Source 
type Stack (PeekIndex i) = (:!:) S (PeekIndex i) 
type TermArg (PeekIndex i) = PeekIndex i Source 
type Arg ((:!:) ls (PeekIndex i)) = (:.) (Arg ls) i Source 
data Elm ((:!:) ls (PeekIndex i)) i = ElmPeekIndex !i !(RunningIndex i) !(Elm ls i) Source