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 f g a. DSum f g a -> DSum g f a

#dsum Source

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