Modulelinear-1.22Haskell2010

Linear.V

n-D Vectors

1 type
2 classes
9 values

Packagelinear-1.22
Exports12
LanguageHaskell2010
LicenceBSD-3-Clause
SourceV.hs

newtypenewtype V (n :: k) a

Constructors

V
- toVector :: Vector a

Instances80Generic1, FoldableWithIndex, FunctorWithIndex, TraversableWithIndex, Dim, Monad, …

Generic1 (V n)Defined in linear-1.22 · Linear.V
FoldableWithIndex Int (V n)Defined in linear-1.22 · Linear.V
FunctorWithIndex Int (V n)Defined in linear-1.22 · Linear.V
TraversableWithIndex Int (V n)Defined in linear-1.22 · Linear.V
(Dim n, Unbox a) => Vector Vector (V n a)Defined in linear-1.22 · Linear.V
(Dim n, Unbox a) => MVector MVector (V n a)Defined in linear-1.22 · Linear.V
Dim n => Dim (V n a)Defined in linear-1.22 · Linear.V
Dim n => Monad (V n)Defined in linear-1.22 · Linear.V
Functor (V n)Defined in linear-1.22 · Linear.V
Dim n => MonadFix (V n)Defined in linear-1.22 · Linear.V
Dim n => Applicative (V n)Defined in linear-1.22 · Linear.V
Foldable (V n)Defined in linear-1.22 · Linear.V
Traversable (V n)Defined in linear-1.22 · Linear.V
Dim n => MonadZip (V n)Defined in linear-1.22 · Linear.V
Eq1 (V n)Defined in linear-1.22 · Linear.V
Ord1 (V n)Defined in linear-1.22 · Linear.V
Dim n => Read1 (V n)Defined in linear-1.22 · Linear.V
Show1 (V n)Defined in linear-1.22 · Linear.V
Dim n => Hashable1 (V n)Defined in linear-1.22 · Linear.V
Dim n => Distributive (V n)Defined in linear-1.22 · Linear.V
Apply (V n)Defined in linear-1.22 · Linear.V
Bind (V n)Defined in linear-1.22 · Linear.V
Dim n => Representable (V n)Defined in linear-1.22 · Linear.V
Dim n => Serial1 (V n)Defined in linear-1.22 · Linear.V
Dim n => Metric (V n)Defined in linear-1.22 · Linear.V
Dim n => Trace (V n)Defined in linear-1.22 · Linear.Trace
Dim n => Additive (V n)Defined in linear-1.22 · Linear.V
Dim n => Affine (V n)Defined in linear-1.22 · Linear.Affine
Finite (V n)Defined in linear-1.22 · Linear.V
(Bounded a, Dim n) => Bounded (V n a)Defined in linear-1.22 · Linear.V
Eq a => Eq (V n a)Defined in linear-1.22 · Linear.V
(Dim n, Floating a) => Floating (V n a)Defined in linear-1.22 · Linear.V
(Dim n, Fractional a) => Fractional (V n a)Defined in linear-1.22 · Linear.V
(Typeable (V n), Typeable (V n a), Dim n, Data a) => Data (V n a)Defined in linear-1.22 · Linear.V
(Dim n, Num a) => Num (V n a)Defined in linear-1.22 · Linear.V
Ord a => Ord (V n a)Defined in linear-1.22 · Linear.V
Read a => Read (V n a)Defined in linear-1.22 · Linear.V
Show a => Show (V n a)Defined in linear-1.22 · Linear.V
Generic (V n a)Defined in linear-1.22 · Linear.V
(Dim n, Semigroup a) => Semigroup (V n a)Defined in linear-1.22 · Linear.V
(Dim n, Monoid a) => Monoid (V n a)Defined in linear-1.22 · Linear.V
(Dim n, Storable a) => Storable (V n a)Defined in linear-1.22 · Linear.V
NFData a => NFData (V n a)Defined in linear-1.22 · Linear.V
(Dim n, Random a) => Random (V n a)Defined in linear-1.22 · Linear.V
(Dim n, Binary a) => Binary (V n a)Defined in linear-1.22 · Linear.V
Hashable a => Hashable (V n a)Defined in linear-1.22 · Linear.V
(Dim n, Unbox a) => Unbox (V n a)Defined in linear-1.22 · Linear.V
(Dim n, Serialize a) => Serialize (V n a)Defined in linear-1.22 · Linear.V
Ixed (V n a)Defined in linear-1.22 · Linear.V
(Dim n, Serial a) => Serial (V n a)Defined in linear-1.22 · Linear.V
(Dim n, Epsilon a) => Epsilon (V n a)Defined in linear-1.22 · Linear.V
Each (V n a) (V n b) a bDefined in linear-1.22 · Linear.V
1 <= n => Field1 (V n a) (V n a) a aDefined in linear-1.22 · Linear.V
10 <= n => Field10 (V n a) (V n a) a aDefined in linear-1.22 · Linear.V
11 <= n => Field11 (V n a) (V n a) a aDefined in linear-1.22 · Linear.V
12 <= n => Field12 (V n a) (V n a) a aDefined in linear-1.22 · Linear.V
13 <= n => Field13 (V n a) (V n a) a aDefined in linear-1.22 · Linear.V
14 <= n => Field14 (V n a) (V n a) a aDefined in linear-1.22 · Linear.V
15 <= n => Field15 (V n a) (V n a) a aDefined in linear-1.22 · Linear.V
16 <= n => Field16 (V n a) (V n a) a aDefined in linear-1.22 · Linear.V
17 <= n => Field17 (V n a) (V n a) a aDefined in linear-1.22 · Linear.V
18 <= n => Field18 (V n a) (V n a) a aDefined in linear-1.22 · Linear.V
19 <= n => Field19 (V n a) (V n a) a aDefined in linear-1.22 · Linear.V
2 <= n => Field2 (V n a) (V n a) a aDefined in linear-1.22 · Linear.V
3 <= n => Field3 (V n a) (V n a) a aDefined in linear-1.22 · Linear.V
4 <= n => Field4 (V n a) (V n a) a aDefined in linear-1.22 · Linear.V
5 <= n => Field5 (V n a) (V n a) a aDefined in linear-1.22 · Linear.V
6 <= n => Field6 (V n a) (V n a) a aDefined in linear-1.22 · Linear.V
7 <= n => Field7 (V n a) (V n a) a aDefined in linear-1.22 · Linear.V
8 <= n => Field8 (V n a) (V n a) a aDefined in linear-1.22 · Linear.V
9 <= n => Field9 (V n a) (V n a) a aDefined in linear-1.22 · Linear.V
type Rep (V n a) = D1 ('MetaData "V" "Linear.V" "linear-1.22-3d3RJcba25gDknnFKeY2an" 'True) (C1 ('MetaCons "V" 'PrefixI 'True) (S1 ('MetaSel ('Just "toVector") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector a))))Defined in linear-1.22 · Linear.V
type Rep1 (V n) = D1 ('MetaData "V" "Linear.V" "linear-1.22-3d3RJcba25gDknnFKeY2an" 'True) (C1 ('MetaCons "V" 'PrefixI 'True) (S1 ('MetaSel ('Just "toVector") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec1 Vector)))Defined in linear-1.22 · Linear.V
data MVector s (V n a)
- MV_VN !Int !(MVector s a)
Defined in linear-1.22 · Linear.V
data Vector (V n a)
- V_VN !Int !(Vector a)
Defined in linear-1.22 · Linear.V
type Rep (V n) = IntDefined in linear-1.22 · Linear.V
type Index (V n a) = IntDefined in linear-1.22 · Linear.V
type IxValue (V n a) = aDefined in linear-1.22 · Linear.V
type Diff (V n) = V nDefined in linear-1.22 · Linear.Affine
type Size (V n) = nDefined in linear-1.22 · Linear.V

valueint :: Int -> TypeQ

This can be used to generate a template haskell splice for a type level version of a given int.

This does not use GHC TypeLits, instead it generates a numeric type by hand similar to the ones used in the "Functional Pearl: Implicit Configurations" paper by Oleg Kiselyov and Chung-Chieh Shan.

instance Num (Q Exp) provided in this package allows writing $(3) instead of $(int 3).

valuedim :: Dim n => V n a -> Int

classclass Dim (n :: k) where

Methods

reflectDim :: p n -> Int

Instances3Dim

KnownNat n => Dim nDefined in linear-1.22 · Linear.V
Reifies s Int => Dim (ReifiedDim s)Defined in linear-1.22 · Linear.V
Dim n => Dim (V n a)Defined in linear-1.22 · Linear.V

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

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

valuereifyDimNat :: Int -> (forall (n :: Nat). KnownNat n => Proxy n -> r) -> r

valuereifyVectorNat

:: Vector a
-> forall (n :: Nat). KnownNat n => V n a -> r
-> r

valuefromVector :: Dim n => Vector a -> Maybe (V n a)

classclass Finite (v :: Type -> Type) where

Associated types

type family Size (v :: Type -> Type) :: Nat

Methods

toV :: v a -> V (Size v) a
fromV :: V (Size v) a -> v a

Instances10Finite, …

Finite ComplexDefined in linear-1.22 · Linear.V
Finite PluckerDefined in linear-1.22 · Linear.Plucker
Finite QuaternionDefined in linear-1.22 · Linear.Quaternion
Finite V0Defined in linear-1.22 · Linear.V0
Finite V1Defined in linear-1.22 · Linear.V1
Finite V2Defined in linear-1.22 · Linear.V2
Finite V3Defined in linear-1.22 · Linear.V3
Finite V4Defined in linear-1.22 · Linear.V4
Finite f => Finite (Point f)Defined in linear-1.22 · Linear.Affine
Finite (V n)Defined in linear-1.22 · Linear.V

value_V :: (Finite u, Finite v) => Iso (V (Size u) a) (V (Size v) b) (u a) (v b)

value_V' :: Finite v => Iso (V (Size v) a) (V (Size v) b) (v a) (v b)