ADP.Fusion.Term.Epsilon.Set1

Documentation

Orphan instances

TermStaticVar Epsilon (BS1 k O)

Methods

termStaticVar :: Epsilon -> Context (BS1 k O) -> BS1 k O -> Context (BS1 k O)

termStreamIndex :: Epsilon -> Context (BS1 k O) -> BS1 k O -> BS1 k O

TermStaticVar Epsilon (BS1 k I)

Methods

termStaticVar :: Epsilon -> Context (BS1 k I) -> BS1 k I -> Context (BS1 k I)

termStreamIndex :: Epsilon -> Context (BS1 k I) -> BS1 k I -> BS1 k I

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

Methods

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

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

Methods

termStream :: TermSymbol ts Epsilon -> 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 Epsilon)))

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

Methods

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