Safe Haskell | None |
---|---|
Language | Haskell2010 |
Prepared Indicies into a Record
newtype Index (xs :: [u]) (x :: u) Source #
A prepared index into a record, allowing fast access
Constructing Indicies
mkIndex :: forall n xs. (KnownNat n, n <= (Length xs - 1)) => Index xs (xs !! n) Source #
Construct a statically known index into a record. O(1)