Linear.V

n-D Vectors

Documentation

data V n a

Instances

Dim k n => Dim * (V k n a)

Dim k n => Monad (V k n)

Functor (V k n)

Dim k n => MonadFix (V k n)

Dim k n => Applicative (V k n)

Foldable (V k n)

Traversable (V k n)

Generic1 (V k n)

Dim k n => Distributive (V k n)

Dim k n => Representable (V k n)

Dim k n => MonadZip (V k n)

Apply (V k n)

Bind (V k n)

Dim k n => Additive (V k n)

Dim k n => Metric (V k n)

Dim * n => Trace (V * n)

Dim * n => Affine (V * n)

Eq a => Eq (V k n a)

(Dim k n, Fractional a) => Fractional (V k n a)

(Dim k n, Num a) => Num (V k n a)

Ord a => Ord (V k n a)

Read a => Read (V k n a)

Show a => Show (V k n a)

Generic (V k n a)

(Dim k n, Storable a) => Storable (V k n a)

Ixed (V k n a)

(Dim k n, Epsilon a) => Epsilon (V k n a)

Each (V k n a) (V k n b) a b

type Rep1 (V k n)

type Rep (V k n) = E (V k n)

type Diff (V * n) = V * n

type Rep (V k n a)

type Index (V k n a) = E (V k n)

type IxValue (V k n a) = a

int :: Int -> TypeQ

dim :: forall n a. Dim n => V n a -> Int

class Dim n where

Methods

reflectDim :: p n -> Int

Instances

KnownNat n => Dim Nat n

Dim k n => Dim * (V k n a)

reifyDim :: Int -> (forall n. Dim n => Proxy n -> r) -> r

reifyVector :: forall a r. Vector a -> (forall n. Dim n => V n a -> r) -> r

fromVector :: forall n a. Dim n => Vector a -> Maybe (V n a)