Module

Data.FreeKron

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

#FKron Source

newtype FKron f g a

Constructors

FKron (CatList (DSum f g a))

Instances

(Semiring (f a), Semiring (g a)) => Semiring (FKron f g a)
(Dottable (f a) (f' b) (f'' c), Dottable (g a) (g' b) (g'' c)) => Dottable (FKron f g a) (FKron f' g' b) (FKron f'' g'' c)

#fkron Source

fkron :: forall t17230 t17229 t17228. t17230 t17228 -> t17229 t17228 -> FKron t17230 t17229 t17228

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