ADPfusionSet-0.0.0.2: Dynamic programming for Set data structures.

Safe HaskellNone
LanguageHaskell2010

ADP.Fusion.Term.EdgeWithSet.Set1

Contents

Synopsis

Documentation

Orphan instances

TermStaticVar EdgeWithSet (BS1 k O) Source # 

Methods

termStaticVar :: EdgeWithSet -> Context (BS1 k O) -> BS1 k O -> Context (BS1 k O) #

termStreamIndex :: EdgeWithSet -> Context (BS1 k O) -> BS1 k O -> BS1 k O #

TermStaticVar EdgeWithSet (BS1 k I) Source # 

Methods

termStaticVar :: EdgeWithSet -> Context (BS1 k I) -> BS1 k I -> Context (BS1 k I) #

termStreamIndex :: EdgeWithSet -> Context (BS1 k I) -> BS1 k I -> BS1 k I #

(TstCtx m ts s x0 i0 is (BS1 k C), EdgeFromTo k) => TermStream m (TermSymbol ts EdgeWithSet) s ((:.) is (BS1 k C)) Source # 

Methods

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

(TstCtx m ts s x0 i0 is (BS1 k O), EdgeFromTo k) => TermStream m (TermSymbol ts EdgeWithSet) s ((:.) is (BS1 k O)) Source # 

Methods

termStream :: TermSymbol ts EdgeWithSet -> Context (is :. BS1 k O) -> (is :. BS1 k O) -> (is :. BS1 k O) -> Stream m (TermState s Z Z) -> Stream m (TermState s (is :. BS1 k O) (TermArg (TermSymbol ts EdgeWithSet))) #

(TstCtx m ts s x0 i0 is (BS1 k I), EdgeFromTo k) => TermStream m (TermSymbol ts EdgeWithSet) s ((:.) is (BS1 k I)) Source #

We need to separate out the two cases of having BS1 First and BS1 Last as this changes how we fill the Edge.

TODO separate out these cases into an Edge-Choice class ...

Methods

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

TmkCtx1 m ls EdgeWithSet (BS1 k t) => MkStream m ((:!:) ls EdgeWithSet) (BS1 k t) Source # 

Methods

mkStream :: (ls :!: EdgeWithSet) -> Context (BS1 k t) -> BS1 k t -> BS1 k t -> Stream m (Elm (ls :!: EdgeWithSet) (BS1 k t)) #