BSD-3-Clause licensed by David Millar-Durrant
Maintained by [email protected]

Module documentation for

This version can be pinned in stack with:[email protected]:446356275aaa585d259c14953e1c94856127e6638eb34aa1610a44d898ec0647,2372

This is an incredibly simple library, which makes writing lists where the length is known at compile time a little bit nicer.

If you write a function with the signature

vector :: ILL input length output => input -> Vector length output


v :: Vector 3 Int
v = vector (1,2,3)

x :: Vector 0 Double
x = vector $ ZeroTuple @Double

y :: Vector 1 Double
y = vector (OneTuple 1)

z :: Vector 2 String
z = vector ("Hello", "World")

If want matrix literals you can write a function

matrix :: (ILL row width ty, ILL matrix height row) => matrix -> Matrix width height ty


a :: Matrix 0 0 Bool
a = matrix $ ZeroTuple @(ZeroTuple Bool)

b :: Matrix 1 2 String
b = matrix $ OneTuple ("Hello","World")

c :: Matrix 4 5 Double
c = matrix ((1,2,3,0,0)

The full code is in test/Docs.hs

This only supports literals of length up to 20, though that can be easily extended using the code generator in src/Data/IndexedListLiterals.hs


Changed GHC.TypeNats to GHC.TypeLits to allow older versions of GHC to build the package

Depends on 2 packages(full list with versions):