Safe Haskell | None |
---|---|
Language | Haskell2010 |
A linear 0-based int-index with a phantom type.
Documentation
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 Int
s.
Vector Vector (PInt p) | |
MVector MVector (PInt p) | |
Enum (PInt p) | |
Eq (PInt p) | |
Integral (PInt p) | |
Data p => Data (PInt p) | |
Num (PInt p) | |
Ord (PInt p) | |
Read (PInt p) | |
Real (PInt p) | |
Show (PInt p) | |
Ix (PInt p) | |
Generic (PInt p) | |
ToJSON (PInt p) | |
FromJSON (PInt p) | |
Binary (PInt p) | |
Serialize (PInt p) | |
NFData (PInt p) | |
Unbox (PInt p) | |
IndexStream (PInt p) | |
Index (PInt p) | |
IndexStream z => IndexStream ((:.) z (PInt p)) | |
Typeable (* -> *) PInt | |
data MVector s0 (PInt p0) = MV_PInt (MVector s Int) | |
type Rep (PInt p) | |
data Vector (PInt p0) = V_PInt (Vector Int) |