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