Tower.VectorU

unboxed vector

Documentation

data VectorU n a

wrapped fixed-size unboxed vector

Constructors

VectorU

Fields

• v :: Vector a

Instances

(KnownNat n, Unbox a, AdditiveUnital a, Multiplicative a) => MultiplicativeModule a (VectorU n a)

Methods

(.*) :: a -> VectorU n a -> VectorU n a

(*.) :: VectorU n a -> a -> VectorU n a

(KnownNat n, Unbox a, Additive a) => AdditiveModule a (VectorU n a)

Methods

(.+) :: a -> VectorU n a -> VectorU n a

(+.) :: VectorU n a -> a -> VectorU n a

(KnownNat n, Unbox a, AdditiveUnital a, MultiplicativeUnital a, MultiplicativeMagma a) => MultiplicativeHomomorphic a (VectorU n a)

Methods

timeshom :: a -> VectorU n a

(KnownNat n, Unbox a, AdditiveUnital a, AdditiveMagma a) => AdditiveHomomorphic a (VectorU n a)

Methods

plushom :: a -> VectorU n a

(Eq a, Unbox a) => Eq (VectorU n a)

Methods

(==) :: VectorU n a -> VectorU n a -> Bool

(/=) :: VectorU n a -> VectorU n a -> Bool

(Unbox a, Show a) => Show (VectorU n a)

Methods

showsPrec :: Int -> VectorU n a -> ShowS

show :: VectorU n a -> String

showList :: [VectorU n a] -> ShowS

(KnownNat n, Arbitrary a, Unbox a, AdditiveUnital a) => Arbitrary (VectorU n a)

Methods

arbitrary :: Gen (VectorU n a)

shrink :: VectorU n a -> [VectorU n a]

(KnownNat n, Unbox a, Integral a) => Integral (VectorU n a)

Methods

toInteger :: VectorU n a -> Integer

div :: VectorU n a -> VectorU n a -> VectorU n a

mod :: VectorU n a -> VectorU n a -> VectorU n a

divMod :: VectorU n a -> VectorU n a -> (VectorU n a, VectorU n a)

(KnownNat n, Unbox a, Ring a) => Ring (VectorU n a)

(KnownNat n, Unbox a, Distributive a) => Distributive (VectorU n a)

(KnownNat n, Unbox a, AdditiveUnital a, MultiplicativeGroup a) => MultiplicativeGroup (VectorU n a)

Methods

(/) :: VectorU n a -> VectorU n a -> VectorU n a

(KnownNat n, Unbox a, AdditiveUnital a, Multiplicative a) => Multiplicative (VectorU n a)

Methods

(*) :: VectorU n a -> VectorU n a -> VectorU n a

(Unbox a, MultiplicativeInvertible a) => MultiplicativeInvertible (VectorU n a)

Methods

recip :: VectorU n a -> VectorU n a

(Unbox a, MultiplicativeAssociative a) => MultiplicativeAssociative (VectorU n a)

(Unbox a, MultiplicativeCommutative a) => MultiplicativeCommutative (VectorU n a)

(KnownNat n, Unbox a, AdditiveUnital a, MultiplicativeUnital a) => MultiplicativeUnital (VectorU n a)

Methods

one :: VectorU n a

(Unbox a, MultiplicativeMagma a) => MultiplicativeMagma (VectorU n a)

Methods

times :: VectorU n a -> VectorU n a -> VectorU n a

(KnownNat n, Unbox a, AdditiveGroup a) => AdditiveGroup (VectorU n a)

Methods

(-) :: VectorU n a -> VectorU n a -> VectorU n a

(KnownNat n, Unbox a, Additive a) => Additive (VectorU n a)

Methods

(+) :: VectorU n a -> VectorU n a -> VectorU n a

(Unbox a, AdditiveInvertible a) => AdditiveInvertible (VectorU n a)

Methods

negate :: VectorU n a -> VectorU n a

(Unbox a, AdditiveCommutative a) => AdditiveCommutative (VectorU n a)

(Unbox a, AdditiveAssociative a) => AdditiveAssociative (VectorU n a)

(KnownNat n, Unbox a, AdditiveUnital a) => AdditiveUnital (VectorU n a)

Methods

zero :: VectorU n a

(Unbox a, AdditiveMagma a) => AdditiveMagma (VectorU n a)

Methods

plus :: VectorU n a -> VectorU n a -> VectorU n a

toVectorU :: forall a n. (AdditiveUnital a, Unbox a, KnownNat n) => [a] -> VectorU (n :: Nat) a

toVectorU right pads with zeros, if necessary which introduces an extra AdditiveUnital constraint