Safe Haskell	None
Language	Haskell2010

ADP.Fusion.Term.Edge.EdgeBoundary

Contents

Documentation

Orphan instances

TermStaticVar Edge (EdgeBoundary I) Source #
Methods termStaticVar :: Edge -> Context (EdgeBoundary I) -> EdgeBoundary I -> Context (EdgeBoundary I) # termStreamIndex :: Edge -> Context (EdgeBoundary I) -> EdgeBoundary I -> EdgeBoundary I #
TstCtx m ts s x0 i0 is (EdgeBoundary I) => TermStream m (TermSymbol ts Edge) s ((:.) is (EdgeBoundary I)) Source #
Methods termStream :: TermSymbol ts Edge -> 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 Edge))) #
TmkCtx1 m ls Edge (EdgeBoundary k) => MkStream m ((:!:) ls Edge) (EdgeBoundary k) Source #
Methods mkStream :: (ls :!: Edge) -> Context (EdgeBoundary k) -> EdgeBoundary k -> EdgeBoundary k -> Stream m (Elm (ls :!: Edge) (EdgeBoundary k)) #