Data.Type.Vector

data VT n f

elimVT

elimV

type V n

(.++)

vrep

head'

tail'

onTail

vDel

imap

ifoldMap

itraverse

index

vmap

vap

vfoldr

vfoldMap'

vfoldMap

withVT

withV

findV

findVT

data M ns a

type family Matrix ns :: * -> *

vgen_

vgen

mgen_

mgen

onMatrix

diagonal

vtranspose

transpose

m0

m1

m2

m3

m4

ppVec

ppMatrix

ppMatrix'

mzipWith

zipLines

compose