Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
V2 !a !a |
Instances
Functor V2 Source # | |
Foldable V2 Source # | |
Defined in Data.Semiring.V2 fold :: Monoid m => V2 m -> m # foldMap :: Monoid m => (a -> m) -> V2 a -> m # foldr :: (a -> b -> b) -> b -> V2 a -> b # foldr' :: (a -> b -> b) -> b -> V2 a -> b # foldl :: (b -> a -> b) -> b -> V2 a -> b # foldl' :: (b -> a -> b) -> b -> V2 a -> b # foldr1 :: (a -> a -> a) -> V2 a -> a # foldl1 :: (a -> a -> a) -> V2 a -> a # elem :: Eq a => a -> V2 a -> Bool # maximum :: Ord a => V2 a -> a # | |
Distributive V2 Source # | |
Representable V2 Source # | |
Foldable1 V2 Source # | |
Eq a => Eq (V2 a) Source # | |
Ord a => Ord (V2 a) Source # | |
Show a => Show (V2 a) Source # | |
Semigroup a => Semigroup (V2 a) Source # | Entry-wise vector or matrix addition.
|
Monoid a => Monoid (V2 a) Source # | |
Prd a => Prd (V2 a) Source # | |
Group a => Group (V2 a) Source # | Entry-wise vector or matrix subtraction.
|
Unital a => Semiring (V2 a) Source # | Entry-wise vector or matrix multiplication.
|
(Monoid a, Dioid a) => Dioid (V2 a) Source # | |
Defined in Data.Semiring.V2 fromNatural :: Natural -> V2 a Source # | |
type Rep V2 Source # | |
Defined in Data.Semiring.V2 |