Data.Utils.Vector

data Vector

(<%>)

nil

cons

generate

(!?)

(!)

vhead

vtail

(<+>)

(<->)

sqNorm

sqDiff

class KnownNat n

natVal