Safe Haskell	None
Language	Haskell2010

ADP.Fusion.Term.PeekIndex.Set1

Documentation

data PeekIndex i Source #

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)) Source #
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) Source #
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) Source #
Associated Types type Stack (PeekIndex i) :: * # Methods build :: PeekIndex i -> Stack (PeekIndex i) #
TermStaticVar (PeekIndex (BS1 k i)) (BS1 k i) Source #
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) Source #
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 Source #
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) Source #
type TermArg (PeekIndex i) = i
type Stack (PeekIndex i) Source #
type Stack (PeekIndex i) = (:!:) S (PeekIndex i)
type Arg ((:!:) ls (PeekIndex i)) Source #
type Arg ((:!:) ls (PeekIndex i)) = (:.) (Arg ls) i
data Elm ((:!:) ls (PeekIndex i)) i Source #
data Elm ((:!:) ls (PeekIndex i)) i = ElmPeekIndex !i !(RunningIndex i) !(Elm ls i)