ADP.Fusion.Term.Epsilon.Unit

Documentation

Orphan instances

TermStaticVar Epsilon (Unit I)

Methods

termStaticVar :: Epsilon -> Context (Unit I) -> Unit I -> Context (Unit I)

termStreamIndex :: Epsilon -> Context (Unit I) -> Unit I -> Unit I

TermStaticVar Epsilon (Unit O)

Methods

termStaticVar :: Epsilon -> Context (Unit O) -> Unit O -> Context (Unit O)

termStreamIndex :: Epsilon -> Context (Unit O) -> Unit O -> Unit O

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

Methods

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

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

Methods

termStream :: TermSymbol ts Epsilon -> Context (is :. Unit I) -> (is :. Unit I) -> (is :. Unit I) -> Stream m (TermState s Z Z) -> Stream m (TermState s (is :. Unit I) (TermArg (TermSymbol ts Epsilon)))

TmkCtx1 m ls Epsilon (Unit i) => MkStream m ((:!:) ls Epsilon) (Unit i)

Methods

mkStream :: (ls :!: Epsilon) -> Context (Unit i) -> Unit i -> Unit i -> Stream m (Elm (ls :!: Epsilon) (Unit i))