Safe Haskell | None |
---|---|
Language | Haskell2010 |
This module exports data constructors that subvert the guarantees provided by this library. It is part of the stable API, but users should importing this take on the burden of proving that these are used safely. If there is something this module is required for, please open an issue on github.
- newtype Index n = Index {}
- newtype Length n = Length {}
- newtype Vector n a = Vector (Array a)
- newtype PrimVector n a = PrimVector (PrimArray a)
- newtype MutableVector n s a = MutableVector (MutableArray s a)
- newtype MutablePrimVector n s a = MutablePrimVector (MutablePrimArray s a)
Integer
An integer that can be used to index into an array of length n
.
A value-level representation of length n
.
Immutable
newtype PrimVector n a Source #
PrimVector (PrimArray a) |
Mutable
newtype MutableVector n s a Source #
MutableVector (MutableArray s a) |
newtype MutablePrimVector n s a Source #