ADP.Fusion.Term.PeekIndex.Set1

Documentation

data PeekIndex i

Constructors

PeekIndex

Instances

TstCtx m ts s x0 i0 is (BS1 k I) => TermStream m (TermSymbol ts (PeekIndex (BS1 k I))) s ((:.) is (BS1 k I))

Methods

termStream :: TermSymbol ts (PeekIndex (BS1 k I)) -> Context (is :. BS1 k I) -> (is :. BS1 k I) -> (is :. BS1 k I) -> Stream m (TermState s Z Z) -> Stream m (TermState s (is :. BS1 k I) (TermArg (TermSymbol ts (PeekIndex (BS1 k I)))))

TmkCtx1 m ls (PeekIndex (BS1 k t)) (BS1 k t) => MkStream m ((:!:) ls (PeekIndex (BS1 k t))) (BS1 k t)

Methods

mkStream :: (ls :!: PeekIndex (BS1 k t)) -> Context (BS1 k t) -> BS1 k t -> BS1 k t -> Stream m (Elm (ls :!: PeekIndex (BS1 k t)) (BS1 k t))

Build (PeekIndex i)

Associated Types

type Stack (PeekIndex i) :: *

Methods

build :: PeekIndex i -> Stack (PeekIndex i)

TermStaticVar (PeekIndex (BS1 k i)) (BS1 k i)

Methods

termStaticVar :: PeekIndex (BS1 k i) -> Context (BS1 k i) -> BS1 k i -> Context (BS1 k i)

termStreamIndex :: PeekIndex (BS1 k i) -> Context (BS1 k i) -> BS1 k i -> BS1 k i

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

Methods

showsPrec :: Int -> Elm (ls :!: PeekIndex i) i -> ShowS

show :: Elm (ls :!: PeekIndex i) i -> String

showList :: [Elm (ls :!: PeekIndex i) i] -> ShowS

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

Associated Types

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

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

type Arg ((:!:) ls (PeekIndex i)) :: *

Methods

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

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

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

type TermArg (PeekIndex i)

type TermArg (PeekIndex i) = i

type Stack (PeekIndex i)

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

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

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

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

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