Safe Haskell	None
Language	Haskell2010

ADP.Fusion.Unit.SynVar.Indices

Contents

Orphan instances

Description

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

Orphan instances

(AddIndexDenseContext ps elm x0 i0 cs c us (Unit O) is (Unit C), MinSize c) => AddIndexDense (ps :. Unit d :: Type) elm (cs :. c) (us :. Unit O) (is :. Unit C) Source #
Instance details Methods addIndexDenseGo :: Monad m => Proxy (ps :. Unit d) -> (cs :. c) -> LimitType (us :. Unit O) -> LimitType (is :. Unit C) -> (is :. Unit C) -> Stream m (SvState elm Z Z) -> Stream m (SvState elm (us :. Unit O) (is :. Unit C)) Source #
(AddIndexDenseContext ps elm x0 i0 cs c us (Unit I) is (Unit C), MinSize c) => AddIndexDense (ps :. Unit d :: Type) elm (cs :. c) (us :. Unit I) (is :. Unit C) Source #
Instance details Methods addIndexDenseGo :: Monad m => Proxy (ps :. Unit d) -> (cs :. c) -> LimitType (us :. Unit I) -> LimitType (is :. Unit C) -> (is :. Unit C) -> Stream m (SvState elm Z Z) -> Stream m (SvState elm (us :. Unit I) (is :. Unit C)) Source #
(AddIndexDenseContext ps elm x0 i0 cs c us (Unit O) is (Unit O), MinSize c) => AddIndexDense (ps :. Unit d :: Type) elm (cs :. c) (us :. Unit O) (is :. Unit O) Source #
Instance details Methods addIndexDenseGo :: Monad m => Proxy (ps :. Unit d) -> (cs :. c) -> LimitType (us :. Unit O) -> LimitType (is :. Unit O) -> (is :. Unit O) -> Stream m (SvState elm Z Z) -> Stream m (SvState elm (us :. Unit O) (is :. Unit O)) Source #
(AddIndexDenseContext ps elm x0 i0 cs c us (Unit I) is (Unit I), MinSize c) => AddIndexDense (ps :. Unit d :: Type) elm (cs :. c) (us :. Unit I) (is :. Unit I) Source #
Instance details Methods addIndexDenseGo :: Monad m => Proxy (ps :. Unit d) -> (cs :. c) -> LimitType (us :. Unit I) -> LimitType (is :. Unit I) -> (is :. Unit I) -> Stream m (SvState elm Z Z) -> Stream m (SvState elm (us :. Unit I) (is :. Unit I)) Source #