ADP.Fusion.Term.PeekIndex.Type

Documentation

data PeekIndex i

Constructors

PeekIndex

Instances

(Monad m, Element ls (Complement Subword), MkStream m ls (Complement Subword)) => MkStream m ((:!:) ls (PeekIndex (Complement Subword))) (Complement Subword)

Build (PeekIndex i)

(Show i, Show (Elm ls i)) => Show (Elm ((:!:) ls (PeekIndex i)) i)

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

type Stack (PeekIndex i) = (:!:) S (PeekIndex i)

type Arg ((:!:) ls (PeekIndex i)) = (:.) (Arg ls) ((:.) i i)

type TermArg (TermSymbol a (PeekIndex i)) = (:.) (TermArg a) (PeekIndex i)

data Elm ((:!:) ls (PeekIndex i)) i = ElmPeekIndex !i !i !(Elm ls i)