An experimental array with:
- a polymorphic container
- shape specified at the type level
- Representable instances
- numhask heirarchy instances
See Examples for the emergent API.
stack build --test --ghc-options -freverse-errors
To try out in ghci:
stack ghci
> :set -XDataKinds
> :set -XOverloadedLists
> import NumHask.Prelude
> let a = [0..5] :: Array [] '[2,3] Int
> a + a
[[0, 2, 4],
[6, 8, 10]]