Safe Haskell	None
Language	Haskell2010

ADP.Fusion.SynVar.Indices.Point

Contents

Orphan instances

Documentation

Orphan instances

IndexHdr s x0 i0 us (PointL O) cs c is (PointL C) => AddIndexDense s ((:.) us (PointL O)) ((:.) cs c) ((:.) is (PointL C)) Source #
Methods addIndexDenseGo :: Monad m => (cs :. c) -> Context (is :. PointL C) -> (us :. PointL O) -> (us :. PointL O) -> (is :. PointL C) -> (is :. PointL C) -> Stream m (SvState s a Z Z) -> Stream m (SvState s a (us :. PointL O) (is :. PointL C)) Source #
IndexHdr s x0 i0 us (PointL I) cs c is (PointL C) => AddIndexDense s ((:.) us (PointL I)) ((:.) cs c) ((:.) is (PointL C)) Source #
Methods addIndexDenseGo :: Monad m => (cs :. c) -> Context (is :. PointL C) -> (us :. PointL I) -> (us :. PointL I) -> (is :. PointL C) -> (is :. PointL C) -> Stream m (SvState s a Z Z) -> Stream m (SvState s a (us :. PointL I) (is :. PointL C)) Source #
IndexHdr s x0 i0 us (PointL O) cs c is (PointL O) => AddIndexDense s ((:.) us (PointL O)) ((:.) cs c) ((:.) is (PointL O)) Source #
Methods addIndexDenseGo :: Monad m => (cs :. c) -> Context (is :. PointL O) -> (us :. PointL O) -> (us :. PointL O) -> (is :. PointL O) -> (is :. PointL O) -> Stream m (SvState s a Z Z) -> Stream m (SvState s a (us :. PointL O) (is :. PointL O)) Source #
(IndexHdr s x0 i0 us (PointL I) cs c is (PointL I), MinSize c) => AddIndexDense s ((:.) us (PointL I)) ((:.) cs c) ((:.) is (PointL I)) Source #
Methods addIndexDenseGo :: Monad m => (cs :. c) -> Context (is :. PointL I) -> (us :. PointL I) -> (us :. PointL I) -> (is :. PointL I) -> (is :. PointL I) -> Stream m (SvState s a Z Z) -> Stream m (SvState s a (us :. PointL I) (is :. PointL I)) Source #