Data.PrimitiveArray.Index.PhantomInt

A linear 0-based int-index with a phantom type.

Documentation

newtype PInt t p

A PInt behaves exactly like an Int, but has an attached phantom type p. In particular, the Index and IndexStream instances are the same as for raw Ints.

Constructors

PInt

Fields

getPInt :: Int

Instances

Vector Vector (PInt t p)

MVector MVector (PInt t p)

Enum (PInt t p)

Eq (PInt t p)

Integral (PInt t p)

(Data t, Data p) => Data (PInt t p)

Num (PInt t p)

Ord (PInt t p)

Read (PInt t p)

Real (PInt t p)

Show (PInt t p)

Ix (PInt t p)

Generic (PInt t p)

ToJSON (PInt t p)

FromJSON (PInt t p)

Binary (PInt t p)

Serialize (PInt t p)

NFData (PInt t p)

Hashable (PInt t p)

Unbox (PInt t p)

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

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

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

IndexStream (PInt C p)

IndexStream (PInt O p)

IndexStream (PInt I p)

Index (PInt t p)

data MVector s0 (PInt t0 p0) = MV_PInt (MVector s Int)

type Rep (PInt t p)

data Vector (PInt t0 p0) = V_PInt (Vector Int)

pIntI :: Int -> PInt I p

pIntO :: Int -> PInt O p

pIntC :: Int -> PInt C p

streamUpMk :: Monad m => t2 -> t -> t1 -> m (t1, t2)

streamUpStep :: (Monad m, Num t2, Ord t2) => t -> t2 -> (t1, t2) -> m (Step (t1, t2) ((:.) t1 t2))

streamDownMk :: Monad m => t -> t2 -> t1 -> m (t1, t2)

streamDownStep :: (Monad m, Num t2, Ord t2) => t2 -> t -> (t1, t2) -> m (Step (t1, t2) ((:.) t1 t2))