Skip to content

Add IsList Array instance for OverloadedLists

Sorry if it exists somewhere and I missed...

So that one can create arrays using finite lists:

  • [a] -> Array Int a with (0, n-1) bounds
  • [[a]] -> Array (Int, Int) a with ((0,0), (n-1,m-1))` bounds (but only if lists are the same size)
  • etc. although 1-2 dimensional arrays are probably most common.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information