A 1-dimensional vector
pure 1 :: V1 IntV1 1
V1 2 + V1 3V1 5
V1 2 * V1 3V1 6
sum (V1 2)2
Constructors
V1 a
Instances68Monad, Functor, MonadFix, Applicative, Foldable, Traversable, …
Monad V1Defined in linear-1.22 · Linear.V1Functor V1Defined in linear-1.22 · Linear.V1MonadFix V1Defined in linear-1.22 · Linear.V1Applicative V1Defined in linear-1.22 · Linear.V1Foldable V1Defined in linear-1.22 · Linear.V1Traversable V1Defined in linear-1.22 · Linear.V1MonadZip V1Defined in linear-1.22 · Linear.V1Foldable1 V1Defined in linear-1.22 · Linear.V1Eq1 V1Defined in linear-1.22 · Linear.V1Ord1 V1Defined in linear-1.22 · Linear.V1Read1 V1Defined in linear-1.22 · Linear.V1Show1 V1Defined in linear-1.22 · Linear.V1Hashable1 V1Defined in linear-1.22 · Linear.V1Distributive V1Defined in linear-1.22 · Linear.V1Apply V1Defined in linear-1.22 · Linear.V1Bind V1Defined in linear-1.22 · Linear.V1Traversable1 V1Defined in linear-1.22 · Linear.V1Representable V1Defined in linear-1.22 · Linear.V1Serial1 V1Defined in linear-1.22 · Linear.V1Metric V1Defined in linear-1.22 · Linear.V1Trace V1Defined in linear-1.22 · Linear.TraceR1 V1Defined in linear-1.22 · Linear.V1Additive V1Defined in linear-1.22 · Linear.V1Affine V1Defined in linear-1.22 · Linear.AffineFinite V1Defined in linear-1.22 · Linear.V1Generic1 V1Defined in linear-1.22 · Linear.V1Lift a => Lift (V1 a)Defined in linear-1.22 · Linear.V1Unbox a => Vector Vector (V1 a)Defined in linear-1.22 · Linear.V1Unbox a => MVector MVector (V1 a)Defined in linear-1.22 · Linear.V1Num r => Algebra r (E V1)Defined in linear-1.22 · Linear.AlgebraNum r => Coalgebra r (E V1)Defined in linear-1.22 · Linear.AlgebraBounded a => Bounded (V1 a)Defined in linear-1.22 · Linear.V1Eq a => Eq (V1 a)Defined in linear-1.22 · Linear.V1Floating a => Floating (V1 a)Defined in linear-1.22 · Linear.V1Fractional a => Fractional (V1 a)Defined in linear-1.22 · Linear.V1Data a => Data (V1 a)Defined in linear-1.22 · Linear.V1Num a => Num (V1 a)Defined in linear-1.22 · Linear.V1Ord a => Ord (V1 a)Defined in linear-1.22 · Linear.V1Read a => Read (V1 a)Defined in linear-1.22 · Linear.V1Show a => Show (V1 a)Defined in linear-1.22 · Linear.V1Ix a => Ix (V1 a)Defined in linear-1.22 · Linear.V1Generic (V1 a)Defined in linear-1.22 · Linear.V1Semigroup a => Semigroup (V1 a)Defined in linear-1.22 · Linear.V1Monoid a => Monoid (V1 a)Defined in linear-1.22 · Linear.V1Storable a => Storable (V1 a)Defined in linear-1.22 · Linear.V1NFData a => NFData (V1 a)Defined in linear-1.22 · Linear.V1Random a => Random (V1 a)Defined in linear-1.22 · Linear.V1Binary a => Binary (V1 a)Defined in linear-1.22 · Linear.V1Hashable a => Hashable (V1 a)Defined in linear-1.22 · Linear.V1Unbox a => Unbox (V1 a)Defined in linear-1.22 · Linear.V1Serialize a => Serialize (V1 a)Defined in linear-1.22 · Linear.V1Ixed (V1 a)Defined in linear-1.22 · Linear.V1Serial a => Serial (V1 a)Defined in linear-1.22 · Linear.V1Epsilon a => Epsilon (V1 a)Defined in linear-1.22 · Linear.V1FoldableWithIndex (E V1) V1Defined in linear-1.22 · Linear.V1FunctorWithIndex (E V1) V1Defined in linear-1.22 · Linear.V1TraversableWithIndex (E V1) V1Defined in linear-1.22 · Linear.V1Each (V1 a) (V1 b) a bDefined in linear-1.22 · Linear.V1Field1 (V1 a) (V1 b) a bDefined in linear-1.22 · Linear.V1type Rep (V1 a) = D1 ('MetaDataDefined in linear-1.22 · Linear.V1"V1"
"Linear.V1"
"linear-1.22-3d3RJcba25gDknnFKeY2an"
'True) (C1 ('MetaCons"V1"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))type Rep1 V1 = D1 ('MetaDataDefined in linear-1.22 · Linear.V1"V1"
"Linear.V1"
"linear-1.22-3d3RJcba25gDknnFKeY2an"
'True) (C1 ('MetaCons"V1"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))data MVector s (V1 a)MV_V1 (MVector s a)
data Vector (V1 a)V_V1 (Vector a)
type Rep V1 = E V1Defined in linear-1.22 · Linear.V1type Index (V1 a) = E V1Defined in linear-1.22 · Linear.V1type IxValue (V1 a) = aDefined in linear-1.22 · Linear.V1type Diff V1 = V1Defined in linear-1.22 · Linear.Affinetype Size V1 =Defined in linear-1.22 · Linear.V11