ADP.Fusion.SynVar.Indices.Unit

TODO if we have a table that has min-size >0 we need to immediately terminate addIndexDenseGo !

Documentation

Orphan instances

IndexHdr s x0 i0 us (Unit O) cs c is (Unit C) => AddIndexDense s ((:.) us (Unit O)) ((:.) cs c) ((:.) is (Unit C))

Methods

addIndexDenseGo :: Monad m => (cs :. c) -> Context (is :. Unit C) -> (is :. Unit C) -> (is :. Unit C) -> Stream m (SvState s a Z Z) -> Stream m (SvState s a (us :. Unit O) (is :. Unit C))

IndexHdr s x0 i0 us (Unit I) cs c is (Unit C) => AddIndexDense s ((:.) us (Unit I)) ((:.) cs c) ((:.) is (Unit C))

Methods

addIndexDenseGo :: Monad m => (cs :. c) -> Context (is :. Unit C) -> (is :. Unit C) -> (is :. Unit C) -> Stream m (SvState s a Z Z) -> Stream m (SvState s a (us :. Unit I) (is :. Unit C))

IndexHdr s x0 i0 us (Unit O) cs c is (Unit O) => AddIndexDense s ((:.) us (Unit O)) ((:.) cs c) ((:.) is (Unit O))

Methods

addIndexDenseGo :: Monad m => (cs :. c) -> Context (is :. Unit O) -> (is :. Unit O) -> (is :. Unit O) -> Stream m (SvState s a Z Z) -> Stream m (SvState s a (us :. Unit O) (is :. Unit O))

IndexHdr s x0 i0 us (Unit I) cs c is (Unit I) => AddIndexDense s ((:.) us (Unit I)) ((:.) cs c) ((:.) is (Unit I))

Methods

addIndexDenseGo :: Monad m => (cs :. c) -> Context (is :. Unit I) -> (is :. Unit I) -> (is :. Unit I) -> Stream m (SvState s a Z Z) -> Stream m (SvState s a (us :. Unit I) (is :. Unit I))