Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
A linear Int
-based index type.
Vector Vector (Index t) | |
MVector MVector (Index t) | |
Eq (Index t) | |
KnownNat t => Num (Index t) | |
Ord (Index t) | |
Read (Index t) | |
Show (Index t) | |
Ix (Index t) | |
Generic (Index t) | |
KnownNat t => Index (Index t) | |
IndexStream (Index t) | |
Arbitrary (Index t) | |
ToJSON (Index t) | |
FromJSON (Index t) | |
Binary (Index t) | |
Serialize (Index t) | |
NFData (Index t) | |
Hashable (Index t) | |
Unbox (Index t) | |
IndexStream z => IndexStream ((:.) z (Index t)) | |
data MVector s0 (Index t0) = MV_Index (MVector s Int) | |
type Rep (Index t) | |
data Vector (Index t0) = V_Index (Vector Int) |