linear-maps-0.6.1: Finite maps for linear use

Data.Subtyping

Documentation

data a :|: b Source

class Incl c whereSource

Methods

left :: c a -> c (a :|: b)Source

right :: c b -> c (a :|: b)Source

Instances

Incl Id 
Incl Id 

class Incl2 c whereSource

Methods

left2 :: c a x -> c (a :|: b) xSource

right2 :: c b x -> c (a :|: b) xSource

Instances