Pandora.Paradigm.Primary.Linear.Vector

Documentation

data Vector r a where

Constructors

Scalar :: a -> Vector a a

Vector :: a -> Vector r a -> Vector (a :*: r) a

Instances

Monotonic a (Vector r a) => Monotonic a (Vector (a :*: r) a)

Defined in Pandora.Paradigm.Primary.Linear.Vector

Methods

reduce :: (a -> r0 -> r0) -> r0 -> Vector (a :*: r) a -> r0

resolve :: (a -> r0) -> r0 -> Vector (a :*: r) a -> r0

Monotonic a (Vector a a)

Defined in Pandora.Paradigm.Primary.Linear.Vector

Methods

reduce :: (a -> r -> r) -> r -> Vector a a -> r

resolve :: (a -> r) -> r -> Vector a a -> r

Morphable ('Into (Construction Maybe)) (Vector r)

Defined in Pandora.Paradigm.Structure

Associated Types

type Morphing ('Into (Construction Maybe)) (Vector r) :: Type -> Type

Methods

morphing :: (Tagged ('Into (Construction Maybe)) <::> Vector r) ~> Morphing ('Into (Construction Maybe)) (Vector r)

Morphable ('Into List) (Vector r)

Defined in Pandora.Paradigm.Structure

Associated Types

type Morphing ('Into List) (Vector r) :: Type -> Type

Methods

morphing :: (Tagged ('Into List) <::> Vector r) ~> Morphing ('Into List) (Vector r)

Semigroup a => Semigroup (Vector a a)

Defined in Pandora.Paradigm.Primary.Linear.Vector

Methods

(+) :: Vector a a -> Vector a a -> Vector a a

(Semigroup a, Semigroup r, Semigroup (a :*: r), Semigroup (Vector r a)) => Semigroup (Vector (a :*: r) a)

Defined in Pandora.Paradigm.Primary.Linear.Vector

Methods

(+) :: Vector (a :*: r) a -> Vector (a :*: r) a -> Vector (a :*: r) a

Ringoid a => Ringoid (Vector a a)

Defined in Pandora.Paradigm.Primary.Linear.Vector

Methods

(*) :: Vector a a -> Vector a a -> Vector a a

(Ringoid a, Ringoid r, Ringoid (a :*: r), Ringoid (Vector r a)) => Ringoid (Vector (a :*: r) a)

Defined in Pandora.Paradigm.Primary.Linear.Vector

Methods

(*) :: Vector (a :*: r) a -> Vector (a :*: r) a -> Vector (a :*: r) a

Monoid a => Monoid (Vector a a)

Defined in Pandora.Paradigm.Primary.Linear.Vector

Methods

zero :: Vector a a

(Monoid a, Monoid r, Monoid (a :*: r), Monoid (Vector r a)) => Monoid (Vector (a :*: r) a)

Defined in Pandora.Paradigm.Primary.Linear.Vector

Methods

zero :: Vector (a :*: r) a

Quasiring a => Quasiring (Vector a a)

Defined in Pandora.Paradigm.Primary.Linear.Vector

Methods

one :: Vector a a

(Quasiring a, Quasiring r, Quasiring (a :*: r), Quasiring (Vector r a)) => Quasiring (Vector (a :*: r) a)

Defined in Pandora.Paradigm.Primary.Linear.Vector

Methods

one :: Vector (a :*: r) a

Group a => Group (Vector a a)

Defined in Pandora.Paradigm.Primary.Linear.Vector

Methods

invert :: Vector a a -> Vector a a

(-) :: Vector a a -> Vector a a -> Vector a a

(Group a, Group r, Group (a :*: r), Group (Vector r a)) => Group (Vector (a :*: r) a)

Defined in Pandora.Paradigm.Primary.Linear.Vector

Methods

invert :: Vector (a :*: r) a -> Vector (a :*: r) a

(-) :: Vector (a :*: r) a -> Vector (a :*: r) a -> Vector (a :*: r) a

Setoid a => Setoid (Vector a a)

Defined in Pandora.Paradigm.Primary.Linear.Vector

Methods

(==) :: Vector a a -> Vector a a -> Boolean

(!=) :: Vector a a -> Vector a a -> Boolean

(?=) :: Vector a a -> Vector a a -> r -> r -> r

(Setoid a, Setoid (Vector r a)) => Setoid (Vector (a :*: r) a)

Defined in Pandora.Paradigm.Primary.Linear.Vector

Methods

(==) :: Vector (a :*: r) a -> Vector (a :*: r) a -> Boolean

(!=) :: Vector (a :*: r) a -> Vector (a :*: r) a -> Boolean

(?=) :: Vector (a :*: r) a -> Vector (a :*: r) a -> r0 -> r0 -> r0

type Morphing ('Into (Construction Maybe)) (Vector r)

Defined in Pandora.Paradigm.Structure

type Morphing ('Into (Construction Maybe)) (Vector r) = Construction Maybe

type Morphing ('Into List) (Vector r)

Defined in Pandora.Paradigm.Structure

type Morphing ('Into List) (Vector r) = List

class Vectorize a r where

Methods

vectorize :: r -> Vector r a

Instances

Vectorize a a

Defined in Pandora.Paradigm.Primary.Linear.Vector

Methods

vectorize :: a -> Vector a a

Vectorize a r => Vectorize a (a :*: r)

Defined in Pandora.Paradigm.Primary.Linear.Vector

Methods

vectorize :: (a :*: r) -> Vector (a :*: r) a