Module

Data.DenseKron

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

#DKron Source

newtype DKron f g a

Constructors

Instances

#C0 Source

type C0 f a = a

#C1 Source

type C1 f a = f a

#C2 Source

type C2 f a = (DKron f f) a

#C3 Source

type C3 f a = (DKron f (DKron f f)) a

#C4 Source

type C4 f a = (DKron f (DKron f (DKron f f))) a

#C5 Source

type C5 f a = (DKron f (DKron f (DKron f (DKron f f)))) a

#C6 Source

type C6 f a = (DKron f (DKron f (DKron f (DKron f (DKron f f))))) a

#C7 Source

type C7 f a = (DKron f (DKron f (DKron f (DKron f (DKron f (DKron f f)))))) a

#C8 Source

type C8 f a = (DKron f (DKron f (DKron f (DKron f (DKron f (DKron f (DKron f f))))))) a

#C9 Source

type C9 f a = (DKron f (DKron f (DKron f (DKron f (DKron f (DKron f (DKron f (DKron f f)))))))) a

#C10 Source

type C10 f a = (DKron f (DKron f (DKron f (DKron f (DKron f (DKron f (DKron f (DKron f (DKron f f))))))))) a

#C11 Source

type C11 f a = (DKron f (DKron f (DKron f (DKron f (DKron f (DKron f (DKron f (DKron f (DKron f (DKron f f)))))))))) a

#C2' Source

newtype C2' f a

Constructors

Instances

#dkron Source

dkron :: forall f g a. Semiring a => Functor f => Functor g => f a -> g a -> DKron f g a