Sparse.Matrix.Internal.Array

Documentation

class (Vector (Arr a) a, Monoid (Arr a a)) => Arrayed a

Associated Types

type Arr a :: * -> *

Instances

Arrayed Double

Arrayed Float

Arrayed Int

Arrayed Int8

Arrayed Int16

Arrayed Int32

Arrayed Int64

Arrayed Integer

Arrayed Word

Arrayed Word8

Arrayed Word16

Arrayed Word32

Arrayed Word64

Arrayed ()

Arrayed Key

(Arrayed a, RealFloat a) => Arrayed (Complex a)

Arrayed a => Arrayed (Mat a)

(Arrayed a, Arrayed b) => Arrayed (a, b)

type Array a = Arr a a

Internals

data V_Complex :: * -> * where

Constructors

V_Complex :: !Int -> !(Array a) -> !(Array a) -> V_Complex (Complex a)

Instances

(Arrayed a, RealFloat a) => Vector V_Complex (Complex a)

(Arrayed a, RealFloat a, Eq a, (~) * b (Complex a)) => Eq (V_Complex b)

(Arrayed a, RealFloat a, Read a, (~) * b (Complex a)) => Read (V_Complex b)

(Arrayed a, RealFloat a, Show a, (~) * b (Complex a)) => Show (V_Complex b)

(Arrayed a, RealFloat a, (~) * b (Complex a)) => Monoid (V_Complex b)

type Mutable V_Complex = MV_Complex

data MV_Complex :: * -> * -> * where

Constructors

MV_Complex :: !Int -> !(Mutable (Arr a) s a) -> !(Mutable (Arr a) s a) -> MV_Complex s (Complex a)

Instances

(Arrayed a, RealFloat a) => MVector MV_Complex (Complex a)

data V_Pair :: * -> * where

Constructors

V_Pair :: !Int -> !(Array a) -> !(Array b) -> V_Pair (a, b)

Instances

(Arrayed a, Arrayed b) => Vector V_Pair (a, b)

(Arrayed a, Arrayed b, Eq a, Eq b, (~) * c (a, b)) => Eq (V_Pair c)

(Arrayed a, Arrayed b, Read a, Read b, (~) * c (a, b)) => Read (V_Pair c)

(Arrayed a, Arrayed b, Show a, Show b, (~) * c (a, b)) => Show (V_Pair c)

(Arrayed a, Arrayed b, (~) * c (a, b)) => Monoid (V_Pair c)

type Mutable V_Pair = MV_Pair

data MV_Pair :: * -> * -> * where

Constructors

MV_Pair :: !Int -> !(Mutable (Arr a) s a) -> !(Mutable (Arr b) s b) -> MV_Pair s (a, b)

Instances

(Arrayed a, Arrayed b) => MVector MV_Pair (a, b)