HORIZON HASKELLDocslts/ghc-9.10.xc74966e2026-09-27Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · c74966e · 2026-09-27

Modulelinear-1.22Haskell2010

Linear.V0

0-D Vectors

  • 1 type
  • Packagelinear-1.22
  • Exports1
  • LanguageHaskell2010
  • LicenceBSD-3-Clause
  • SourceV0.hs
datadata V0 a
#

A 0-dimensional vector

Example1 expression
pure 1 :: V0 IntV0
Example1 expression
V0 + V0V0
V0
Instances65Monad, Functor, MonadFix, Applicative, Foldable, Traversable, …
  • Monad V0Defined in linear-1.22 · Linear.V0
  • Functor V0Defined in linear-1.22 · Linear.V0
  • MonadFix V0Defined in linear-1.22 · Linear.V0
  • Applicative V0Defined in linear-1.22 · Linear.V0
  • Foldable V0Defined in linear-1.22 · Linear.V0
  • Traversable V0Defined in linear-1.22 · Linear.V0
  • MonadZip V0Defined in linear-1.22 · Linear.V0
  • Eq1 V0Defined in linear-1.22 · Linear.V0
  • Ord1 V0Defined in linear-1.22 · Linear.V0
  • Read1 V0Defined in linear-1.22 · Linear.V0
  • Show1 V0Defined in linear-1.22 · Linear.V0
  • Hashable1 V0Defined in linear-1.22 · Linear.V0
  • Distributive V0Defined in linear-1.22 · Linear.V0
  • Apply V0Defined in linear-1.22 · Linear.V0
  • Bind V0Defined in linear-1.22 · Linear.V0
  • Representable V0Defined in linear-1.22 · Linear.V0
  • Serial1 V0Defined in linear-1.22 · Linear.V0
  • Metric V0Defined in linear-1.22 · Linear.V0
  • Trace V0Defined in linear-1.22 · Linear.Trace
  • Additive V0Defined in linear-1.22 · Linear.V0
  • Affine V0Defined in linear-1.22 · Linear.Affine
  • Finite V0Defined in linear-1.22 · Linear.V0
  • Generic1 V0Defined in linear-1.22 · Linear.V0
  • Lift (V0 a)Defined in linear-1.22 · Linear.V0
  • Vector Vector (V0 a)Defined in linear-1.22 · Linear.V0
  • MVector MVector (V0 a)Defined in linear-1.22 · Linear.V0
  • Num r => Algebra r (E V0)Defined in linear-1.22 · Linear.Algebra
  • Num r => Coalgebra r (E V0)Defined in linear-1.22 · Linear.Algebra
  • Bounded (V0 a)Defined in linear-1.22 · Linear.V0
  • Enum (V0 a)Defined in linear-1.22 · Linear.V0
  • Eq (V0 a)Defined in linear-1.22 · Linear.V0
  • Floating (V0 a)Defined in linear-1.22 · Linear.V0
  • Fractional (V0 a)Defined in linear-1.22 · Linear.V0
  • Data a => Data (V0 a)Defined in linear-1.22 · Linear.V0
  • Num (V0 a)Defined in linear-1.22 · Linear.V0
  • Ord (V0 a)Defined in linear-1.22 · Linear.V0
  • Read (V0 a)Defined in linear-1.22 · Linear.V0
  • Show (V0 a)Defined in linear-1.22 · Linear.V0
  • Ix (V0 a)Defined in linear-1.22 · Linear.V0
  • Generic (V0 a)Defined in linear-1.22 · Linear.V0
  • Semigroup (V0 a)Defined in linear-1.22 · Linear.V0
  • Monoid (V0 a)Defined in linear-1.22 · Linear.V0
  • Storable (V0 a)Defined in linear-1.22 · Linear.V0
  • NFData (V0 a)Defined in linear-1.22 · Linear.V0
  • Random (V0 a)Defined in linear-1.22 · Linear.V0
  • Binary (V0 a)Defined in linear-1.22 · Linear.V0
  • Hashable (V0 a)Defined in linear-1.22 · Linear.V0
  • Unbox (V0 a)Defined in linear-1.22 · Linear.V0
  • Serialize (V0 a)Defined in linear-1.22 · Linear.V0
  • Ixed (V0 a)Defined in linear-1.22 · Linear.V0
  • Serial (V0 a)Defined in linear-1.22 · Linear.V0
  • Epsilon (V0 a)Defined in linear-1.22 · Linear.V0
  • FoldableWithIndex (E V0) V0Defined in linear-1.22 · Linear.V0
  • FunctorWithIndex (E V0) V0Defined in linear-1.22 · Linear.V0
  • TraversableWithIndex (E V0) V0Defined in linear-1.22 · Linear.V0
  • Each (V0 a) (V0 b) a bDefined in linear-1.22 · Linear.V0
  • type Rep (V0 a) = D1 ('MetaData "V0" "Linear.V0" "linear-1.22-3d3RJcba25gDknnFKeY2an" 'False) (C1 ('MetaCons "V0" 'PrefixI 'False) U1)Defined in linear-1.22 · Linear.V0
  • type Rep1 V0 = D1 ('MetaData "V0" "Linear.V0" "linear-1.22-3d3RJcba25gDknnFKeY2an" 'False) (C1 ('MetaCons "V0" 'PrefixI 'False) U1)Defined in linear-1.22 · Linear.V0
  • data MVector s (V0 a)Defined in linear-1.22 · Linear.V0
  • data Vector (V0 a)Defined in linear-1.22 · Linear.V0
  • type Rep V0 = E V0Defined in linear-1.22 · Linear.V0
  • type Index (V0 a) = E V0Defined in linear-1.22 · Linear.V0
  • type IxValue (V0 a) = aDefined in linear-1.22 · Linear.V0
  • type Diff V0 = V0Defined in linear-1.22 · Linear.Affine
  • type Size V0 = 0Defined in linear-1.22 · Linear.V0