Copyright | (c) 2011 National Institute of Aerospace / Galois Inc. |
---|---|
Safe Haskell | Safe |
Language | Haskell2010 |
Implementation of an array that uses type literals to store length. No explicit indexing is used for the input data. Supports arbitrary nesting of arrays.
Documentation
data Array (n :: Nat) t Source #
Implementation of an array that uses type literals to store length.
array :: forall n t. KnownNat n => [t] -> Array n t Source #
Smart array constructor that only type checks if the length of the given list matches the length of the array at type level.
arrayelems :: Array n a -> [a] Source #
Return the elemts of an array.