Module

Data.DirectSum

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

#DSum Source

data DSum f g a

Constructors

Instances

#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