linear-maps-0.6.1: Finite maps for linear use
Data.Subtyping
data a :|: b Source
class Incl c whereSource
Methods
left :: c a -> c (a :|: b)Source
right :: c b -> c (a :|: b)Source
Instances
class Incl2 c whereSource
left2 :: c a x -> c (a :|: b) xSource
right2 :: c b x -> c (a :|: b) xSource