Module

Data.DirectSum

Package: purescript-functor-vector
Repository: philzook58/purescript-functor-vector

#DSum Source

data DSum f g a

Constructors

DSum (f a) (g a)

Instances

(Semiring (f a), Semiring (g a)) => Semiring (DSum f g a)
(Ring (f a), Ring (g a)) => Ring (DSum f g a)
(DivisionRing (f a), DivisionRing (g a)) => DivisionRing (DSum f g a)
(Dottable (f a) (f' b) (f'' c), Dottable (g a) (g' b) (g'' c)) => Dottable (DSum f g a) (DSum f' g' b) (DSum f'' g'' c)

#dswap Source

dswap :: forall a g f. DSum f g a -> DSum g f a

#dsum Source

dsum :: forall t13725 t13724 t13723. t13725 t13723 -> t13724 t13723 -> DSum t13725 t13724 t13723

Modules: Data.BinMat; Data.BinVec; Data.DenseKron; Data.DirectSum; Data.Dottable; Data.Dual; Data.FreeKron; Data.FreeSemiring; Data.FunVec; Data.Functor.Representable; Data.HFunctor; Data.LinOp; Data.MaxPlus