semigroupoid-extras-0.1: semigroupoid products and coproducts

Data.Semigroupoid.Coproduct

Documentation

data L a Source

data R a Source

data Coproduct j k a b whereSource

Constructors

L :: j a b -> Coproduct j k (L a) (L b) 
R :: k a b -> Coproduct j k (R a) (R b) 

Instances