Data.DenseKron

newtype DKron f g a

Constructors

• DKron (f (g a))

Instances

• (Semiring (f (g a))) => Semiring (DKron f g a)
• (Ring (f (g a))) => Ring (DKron f g a)
• (DivisionRing (f (g a))) => DivisionRing (DKron f g a)
• (Representable f a, Representable g b) => Representable (DKron f g) (Tuple a b)
• (Functor f, Functor g) => Functor (DKron f g)
• (Apply f, Apply g) => Apply (DKron f g)
• (Applicative f, Applicative g) => Applicative (DKron f g)
• (Dottable (p (p' a)) (g (g' b)) (f (f' c))) => Dottable (DKron p p' a) (DKron g g' b) (DKron f f' c)
• (Foldable f, Foldable g) => Foldable (DKron f g)
• (Show (f (g a))) => Show (DKron f g a)

type C0 f a = a

type C1 f a = f a

type C2 f a = (DKron f f) a

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

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

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

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

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

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

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

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

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

newtype C2' f a

Constructors

• C2' (C2 f a)

Instances

• HFunctor C2'

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