linear-maps-0.6: Finite maps for linear use Source code Contents Index

Data.Subtyping

Documentation

data a :|: b Source

class Incl c where Source

Methods left :: c a -> c (a :|: b) Source right :: c b -> c (a :|: b) Source Instances Incl Id Incl Id

class Incl2 c where Source

Methods left2 :: c a x -> c (a :|: b) x Source right2 :: c b x -> c (a :|: b) x Source Instances Incl2 :.

Produced by Haddock version 2.4.2