Data.Type.Vector
data VecT n f
elimVecT
elimV
type Vec n
(.++)
vrep
head'
tail'
onTail
vDel
imap
ifoldMap
itraverse
index
index'
vmap
vap
vfoldr
vfoldMap'
vfoldMap
withVecT
withV
findV
findVecT
data M ns a
type family Matrix (ns :: [N]) :: * -> * where ...
vgen_
vgen
mgen_
mgen
onMatrix
diagonal
vtranspose
transpose
m0
m1
m2
m3
m4
ppVec
ppMatrix
ppMatrix'
mzipWith
zipLines
compose