Safe Haskell | None |
---|---|
Language | Haskell2010 |
Unit indices admit a single element to be memoized. We can't use ()
because we want to attach phantom types.
Documentation
Vector Vector (Unit t) Source | |
MVector MVector (Unit t) Source | |
Eq (Unit t) Source | |
Ord (Unit t) Source | |
Read (Unit t) Source | |
Show (Unit t) Source | |
Generic (Unit t) Source | |
Arbitrary (Unit t) Source | |
ToJSON (Unit t) Source | |
FromJSON (Unit t) Source | |
Binary (Unit t) Source | |
Serialize (Unit t) Source | |
NFData (Unit t) Source | |
Hashable (Unit t) Source | |
Unbox (Unit t) Source | |
IndexStream ((:.) Z (Unit t)) => IndexStream (Unit t) Source | |
Index (Unit t) Source | |
IndexStream z => IndexStream ((:.) z (Unit t)) Source | |
data MVector s0 (Unit t0) = MV_Unit (MVector s ()) Source | |
type Rep (Unit t) Source | |
data Vector (Unit t0) = V_Unit (Vector ()) Source |