ADPfusionSet-0.0.0.2: Dynamic programming for Set data structures.

Safe HaskellNone
LanguageHaskell2010

ADP.Fusion.Term.EdgeWithSet.EdgeBoundary

Contents

Documentation

Orphan instances

TermStaticVar EdgeWithSet (EdgeBoundary I) Source # 
TermStaticVar EdgeWithSet (EdgeBoundary C) Source # 
TstCtx m ts s x0 i0 is (EdgeBoundary C) => TermStream m (TermSymbol ts EdgeWithSet) s ((:.) is (EdgeBoundary C)) Source # 
TstCtx m ts s x0 i0 is (EdgeBoundary I) => TermStream m (TermSymbol ts EdgeWithSet) s ((:.) is (EdgeBoundary I)) Source # 
TmkCtx1 m ls EdgeWithSet (EdgeBoundary k) => MkStream m ((:!:) ls EdgeWithSet) (EdgeBoundary k) Source #