Safe Haskell	None
Language	Haskell2010

ADP.Fusion.Term.EdgeWithSet.EdgeBoundary

Contents

Orphan instances

Documentation

Orphan instances

TermStaticVar EdgeWithSet (EdgeBoundary I) Source #
Methods termStaticVar :: EdgeWithSet -> Context (EdgeBoundary I) -> EdgeBoundary I -> Context (EdgeBoundary I) # termStreamIndex :: EdgeWithSet -> Context (EdgeBoundary I) -> EdgeBoundary I -> EdgeBoundary I #
TermStaticVar EdgeWithSet (EdgeBoundary C) Source #
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)) Source #
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)) Source #
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) Source #
Methods mkStream :: (ls :!: EdgeWithSet) -> Context (EdgeBoundary k) -> EdgeBoundary k -> EdgeBoundary k -> Stream m (Elm (ls :!: EdgeWithSet) (EdgeBoundary k)) #