Data.PrimitiveArray.Index.IOC

Documentation

data I

Phantom type for Inside indices.

Instances

IndexStream z => IndexStream (z :. Boundary k2 I)

Defined in Data.PrimitiveArray.Index.BitSetClasses

Methods

streamUp :: Monad m => LimitType (z :. Boundary k2 I) -> LimitType (z :. Boundary k2 I) -> Stream m (z :. Boundary k2 I)

streamDown :: Monad m => LimitType (z :. Boundary k2 I) -> LimitType (z :. Boundary k2 I) -> Stream m (z :. Boundary k2 I)

IndexStream z => IndexStream (z :. BitSet I)

Defined in Data.PrimitiveArray.Index.BitSet0

Methods

streamUp :: Monad m => LimitType (z :. BitSet I) -> LimitType (z :. BitSet I) -> Stream m (z :. BitSet I)

streamDown :: Monad m => LimitType (z :. BitSet I) -> LimitType (z :. BitSet I) -> Stream m (z :. BitSet I)

IndexStream z => IndexStream (z :. BitSet1 i I)

Defined in Data.PrimitiveArray.Index.BitSet1

Methods

streamUp :: Monad m => LimitType (z :. BitSet1 i I) -> LimitType (z :. BitSet1 i I) -> Stream m (z :. BitSet1 i I)

streamDown :: Monad m => LimitType (z :. BitSet1 i I) -> LimitType (z :. BitSet1 i I) -> Stream m (z :. BitSet1 i I)

IndexStream z => IndexStream (z :. PInt I p)

Defined in Data.PrimitiveArray.Index.PhantomInt

Methods

streamUp :: Monad m => LimitType (z :. PInt I p) -> LimitType (z :. PInt I p) -> Stream m (z :. PInt I p)

streamDown :: Monad m => LimitType (z :. PInt I p) -> LimitType (z :. PInt I p) -> Stream m (z :. PInt I p)

IndexStream z => IndexStream (z :. PointL I)

Defined in Data.PrimitiveArray.Index.Point

Methods

streamUp :: Monad m => LimitType (z :. PointL I) -> LimitType (z :. PointL I) -> Stream m (z :. PointL I)

streamDown :: Monad m => LimitType (z :. PointL I) -> LimitType (z :. PointL I) -> Stream m (z :. PointL I)

IndexStream z => IndexStream (z :. PointR I)

Defined in Data.PrimitiveArray.Index.Point

Methods

streamUp :: Monad m => LimitType (z :. PointR I) -> LimitType (z :. PointR I) -> Stream m (z :. PointR I)

streamDown :: Monad m => LimitType (z :. PointR I) -> LimitType (z :. PointR I) -> Stream m (z :. PointR I)

IndexStream z => IndexStream (z :. Subword I)

Subword I (inside)

Defined in Data.PrimitiveArray.Index.Subword

Methods

streamUp :: Monad m => LimitType (z :. Subword I) -> LimitType (z :. Subword I) -> Stream m (z :. Subword I)

streamDown :: Monad m => LimitType (z :. Subword I) -> LimitType (z :. Subword I) -> Stream m (z :. Subword I)

IndexStream (Z :. Boundary k2 I) => IndexStream (Boundary k2 I)

Defined in Data.PrimitiveArray.Index.BitSetClasses

Methods

streamUp :: Monad m => LimitType (Boundary k2 I) -> LimitType (Boundary k2 I) -> Stream m (Boundary k2 I)

streamDown :: Monad m => LimitType (Boundary k2 I) -> LimitType (Boundary k2 I) -> Stream m (Boundary k2 I)

data O

Phantom type for Outside indices.

Instances

IndexStream z => IndexStream (z :. BitSet O)

Defined in Data.PrimitiveArray.Index.BitSet0

Methods

streamUp :: Monad m => LimitType (z :. BitSet O) -> LimitType (z :. BitSet O) -> Stream m (z :. BitSet O)

streamDown :: Monad m => LimitType (z :. BitSet O) -> LimitType (z :. BitSet O) -> Stream m (z :. BitSet O)

IndexStream z => IndexStream (z :. BitSet1 i O)

Defined in Data.PrimitiveArray.Index.BitSet1

Methods

streamUp :: Monad m => LimitType (z :. BitSet1 i O) -> LimitType (z :. BitSet1 i O) -> Stream m (z :. BitSet1 i O)

streamDown :: Monad m => LimitType (z :. BitSet1 i O) -> LimitType (z :. BitSet1 i O) -> Stream m (z :. BitSet1 i O)

IndexStream z => IndexStream (z :. PInt O p)

Defined in Data.PrimitiveArray.Index.PhantomInt

Methods

streamUp :: Monad m => LimitType (z :. PInt O p) -> LimitType (z :. PInt O p) -> Stream m (z :. PInt O p)

streamDown :: Monad m => LimitType (z :. PInt O p) -> LimitType (z :. PInt O p) -> Stream m (z :. PInt O p)

IndexStream z => IndexStream (z :. PointL O)

Defined in Data.PrimitiveArray.Index.Point

Methods

streamUp :: Monad m => LimitType (z :. PointL O) -> LimitType (z :. PointL O) -> Stream m (z :. PointL O)

streamDown :: Monad m => LimitType (z :. PointL O) -> LimitType (z :. PointL O) -> Stream m (z :. PointL O)

IndexStream z => IndexStream (z :. PointR O)

Defined in Data.PrimitiveArray.Index.Point

Methods

streamUp :: Monad m => LimitType (z :. PointR O) -> LimitType (z :. PointR O) -> Stream m (z :. PointR O)

streamDown :: Monad m => LimitType (z :. PointR O) -> LimitType (z :. PointR O) -> Stream m (z :. PointR O)

IndexStream z => IndexStream (z :. Subword O)

Subword O (outside).

Note: streamUp really needs to use streamDownMk / streamDownStep for the right order of indices!

Defined in Data.PrimitiveArray.Index.Subword

Methods

streamUp :: Monad m => LimitType (z :. Subword O) -> LimitType (z :. Subword O) -> Stream m (z :. Subword O)

streamDown :: Monad m => LimitType (z :. Subword O) -> LimitType (z :. Subword O) -> Stream m (z :. Subword O)

data C

Phantom type for Complement indices.

Instances

IndexStream z => IndexStream (z :. BitSet C)

Defined in Data.PrimitiveArray.Index.BitSet0

Methods

streamUp :: Monad m => LimitType (z :. BitSet C) -> LimitType (z :. BitSet C) -> Stream m (z :. BitSet C)

streamDown :: Monad m => LimitType (z :. BitSet C) -> LimitType (z :. BitSet C) -> Stream m (z :. BitSet C)

IndexStream z => IndexStream (z :. PInt C p)

Defined in Data.PrimitiveArray.Index.PhantomInt

Methods

streamUp :: Monad m => LimitType (z :. PInt C p) -> LimitType (z :. PInt C p) -> Stream m (z :. PInt C p)

streamDown :: Monad m => LimitType (z :. PInt C p) -> LimitType (z :. PInt C p) -> Stream m (z :. PInt C p)

IndexStream z => IndexStream (z :. PointL C)

Defined in Data.PrimitiveArray.Index.Point

Methods

streamUp :: Monad m => LimitType (z :. PointL C) -> LimitType (z :. PointL C) -> Stream m (z :. PointL C)

streamDown :: Monad m => LimitType (z :. PointL C) -> LimitType (z :. PointL C) -> Stream m (z :. PointL C)

IndexStream z => IndexStream (z :. Subword C)

Subword C (complement)

Defined in Data.PrimitiveArray.Index.Subword

Methods

streamUp :: Monad m => LimitType (z :. Subword C) -> LimitType (z :. Subword C) -> Stream m (z :. Subword C)

streamDown :: Monad m => LimitType (z :. Subword C) -> LimitType (z :. Subword C) -> Stream m (z :. Subword C)