Data.PrimitiveArray.Index.IOC

Documentation

data I

Phantom type for Inside indices.

Instances

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

EdgeBoundary I (inside)

Methods

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

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

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

Methods

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

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

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

Methods

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

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

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

Methods

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

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

IndexStream z => IndexStream ((:.) z (BS2 i j I))

Methods

streamUp :: Monad m => (z :. BS2 i j I) -> (z :. BS2 i j I) -> Stream m (z :. BS2 i j I)

streamDown :: Monad m => (z :. BS2 i j I) -> (z :. BS2 i j I) -> Stream m (z :. BS2 i j I)

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

Methods

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

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

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

Methods

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

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

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

Subword I (inside)

Methods

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

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

IndexStream (PInt I p)

Methods

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

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

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

Methods

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

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

data O

Phantom type for Outside indices.

Instances

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

EdgeBoundary O (outside).

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

Methods

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

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

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

Methods

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

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

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

Methods

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

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

IndexStream z => IndexStream ((:.) z (BS2 i j O))

Methods

streamUp :: Monad m => (z :. BS2 i j O) -> (z :. BS2 i j O) -> Stream m (z :. BS2 i j O)

streamDown :: Monad m => (z :. BS2 i j O) -> (z :. BS2 i j O) -> Stream m (z :. BS2 i j O)

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

Methods

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

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

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

Methods

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

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

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

Subword O (outside).

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

Methods

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

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

IndexStream (PInt O p)

Methods

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

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

data C

Phantom type for Complement indices.

Instances

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

EdgeBoundary C (complement)

Methods

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

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

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

Methods

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

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

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

Methods

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

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

IndexStream z => IndexStream ((:.) z (BS2 i j C))

Methods

streamUp :: Monad m => (z :. BS2 i j C) -> (z :. BS2 i j C) -> Stream m (z :. BS2 i j C)

streamDown :: Monad m => (z :. BS2 i j C) -> (z :. BS2 i j C) -> Stream m (z :. BS2 i j C)

IndexStream z => IndexStream ((:.) z (BS1 i C))

Methods

streamUp :: Monad m => (z :. BS1 i C) -> (z :. BS1 i C) -> Stream m (z :. BS1 i C)

streamDown :: Monad m => (z :. BS1 i C) -> (z :. BS1 i C) -> Stream m (z :. BS1 i C)

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

Methods

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

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

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

Subword C (complement)

Methods

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

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

IndexStream (PInt C p)

Methods

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

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