ADP.Fusion.Term.EdgeWithSet.EdgeBoundary

Documentation

Orphan instances

TermStaticVar EdgeWithSet (EdgeBoundary I)

Methods

termStaticVar :: EdgeWithSet -> Context (EdgeBoundary I) -> EdgeBoundary I -> Context (EdgeBoundary I)

termStreamIndex :: EdgeWithSet -> Context (EdgeBoundary I) -> EdgeBoundary I -> EdgeBoundary I

TermStaticVar EdgeWithSet (EdgeBoundary C)

Methods

termStaticVar :: EdgeWithSet -> Context (EdgeBoundary C) -> EdgeBoundary C -> Context (EdgeBoundary C)

termStreamIndex :: EdgeWithSet -> Context (EdgeBoundary C) -> EdgeBoundary C -> EdgeBoundary C

TstCtx m ts s x0 i0 is (EdgeBoundary C) => TermStream m (TermSymbol ts EdgeWithSet) s ((:.) is (EdgeBoundary C))

Methods

termStream :: TermSymbol ts EdgeWithSet -> Context (is :. EdgeBoundary C) -> (is :. EdgeBoundary C) -> (is :. EdgeBoundary C) -> Stream m (TermState s Z Z) -> Stream m (TermState s (is :. EdgeBoundary C) (TermArg (TermSymbol ts EdgeWithSet)))

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

Methods

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

TmkCtx1 m ls EdgeWithSet (EdgeBoundary k) => MkStream m ((:!:) ls EdgeWithSet) (EdgeBoundary k)

Methods

mkStream :: (ls :!: EdgeWithSet) -> Context (EdgeBoundary k) -> EdgeBoundary k -> EdgeBoundary k -> Stream m (Elm (ls :!: EdgeWithSet) (EdgeBoundary k))