numhask-array

An experimental array with:

• a polymorphic container
• shape specified at the type level
• Representable instances
• numhask heirarchy instances

See Examples for the emergent API.

Workflow

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]]