Tower.VectorA

Applicative-style vector

Documentation

newtype VectorA n f a

a wrapped fixed-size traversable container

Constructors

VectorA

Fields

• unvec :: (Traversable f, KnownNat n, Applicative f, Functor f) => f a

Instances

(Multiplicative a, KnownNat n) => MultiplicativeModule a (VectorA n [] a)

Methods

(.*) :: a -> VectorA n [] a -> VectorA n [] a

(*.) :: VectorA n [] a -> a -> VectorA n [] a

(Additive a, KnownNat n) => AdditiveModule a (VectorA n [] a)

Methods

(.+) :: a -> VectorA n [] a -> VectorA n [] a

(+.) :: VectorA n [] a -> a -> VectorA n [] a

MultiplicativeMagma a => MultiplicativeHomomorphic a (VectorA n f a)

Methods

timeshom :: a -> VectorA n f a

(AdditiveMagma a, KnownNat n) => AdditiveHomomorphic a (VectorA n [] a)

Methods

plushom :: a -> VectorA n [] a

(KnownNat n, Traversable f, Applicative f, Eq (f a)) => Eq (VectorA n f a)

Methods

(==) :: VectorA n f a -> VectorA n f a -> Bool

(/=) :: VectorA n f a -> VectorA n f a -> Bool

(KnownNat n, Traversable f, Applicative f, Show (f a)) => Show (VectorA n f a)

Methods

showsPrec :: Int -> VectorA n f a -> ShowS

show :: VectorA n f a -> String

showList :: [VectorA n f a] -> ShowS

(Num a, AdditiveUnital a, Arbitrary a) => Arbitrary (VectorA 5 [] a)

Methods

arbitrary :: Gen (VectorA 5 [] a)

shrink :: VectorA 5 [] a -> [VectorA 5 [] a]

(Distributive a, KnownNat n) => Distributive (VectorA n [] a)

(Multiplicative a, KnownNat n) => Multiplicative (VectorA n [] a)

Methods

(*) :: VectorA n [] a -> VectorA n [] a -> VectorA n [] a

MultiplicativeInvertible a => MultiplicativeInvertible (VectorA n f a)

Methods

recip :: VectorA n f a -> VectorA n f a

MultiplicativeAssociative a => MultiplicativeAssociative (VectorA n f a)

MultiplicativeCommutative a => MultiplicativeCommutative (VectorA n f a)

(MultiplicativeUnital a, KnownNat n) => MultiplicativeUnital (VectorA n [] a)

Methods

one :: VectorA n [] a

MultiplicativeMagma a => MultiplicativeMagma (VectorA n f a)

Methods

times :: VectorA n f a -> VectorA n f a -> VectorA n f a

(AdditiveGroup a, KnownNat n) => AdditiveGroup (VectorA n [] a)

Methods

(-) :: VectorA n [] a -> VectorA n [] a -> VectorA n [] a

(Additive a, KnownNat n) => Additive (VectorA n [] a)

Methods

(+) :: VectorA n [] a -> VectorA n [] a -> VectorA n [] a

AdditiveInvertible a => AdditiveInvertible (VectorA n f a)

Methods

negate :: VectorA n f a -> VectorA n f a

AdditiveCommutative a => AdditiveCommutative (VectorA n f a)

AdditiveAssociative a => AdditiveAssociative (VectorA n f a)

(AdditiveUnital a, KnownNat n) => AdditiveUnital (VectorA n [] a)

Methods

zero :: VectorA n [] a

AdditiveMagma a => AdditiveMagma (VectorA n f a)

Methods

plus :: VectorA n f a -> VectorA n f a -> VectorA n f a