Linear.V0

0-D Vectors

Documentation

data V0 a

A 0-dimensional vector

>>> pure 1 :: V0 Int
V0

>>> V0 + V0
V0

Constructors

V0

Instances

Monad V0

Functor V0

Typeable1 V0

Applicative V0

Foldable V0

Traversable V0

Generic1 V0

Distributive V0

Representable V0

Apply V0

Bind V0

Additive V0

Metric V0

Trace V0

Affine V0

Num r => Coalgebra r (E V0)

Num r => Algebra r (E V0)

Enum (V0 a)

Eq (V0 a)

Fractional (V0 a)

Data a => Data (V0 a)

Num (V0 a)

Ord (V0 a)

Read (V0 a)

Show (V0 a)

Ix (V0 a)

Generic (V0 a)

Storable a => Storable (V0 a)

Ixed (V0 a)

Epsilon a => Epsilon (V0 a)

FunctorWithIndex (E V0) V0

FoldableWithIndex (E V0) V0

TraversableWithIndex (E V0) V0