|
|
|
|
|
Documentation |
|
|
|
|
|
|
|
|
| Instances | |
|
|
class NarrowM a b res | a b -> res where | Source |
|
| Methods | | | Instances | |
|
|
class NarrowM' rin rout b res | rin rout b -> res where | Source |
|
| Methods | narrowM' :: rin -> rout -> b -> res | Source |
|
| | Instances | |
|
|
class NarrowM'' f r r' | f r -> r' where | Source |
|
| Methods | narrowM'' :: f -> r -> r' | Source |
|
| | Instances | |
|
|
|
| Methods | | | Instances | |
|
|
class LubNarrow a b c | a b -> c where | Source |
|
| Methods | lubNarrow :: a -> b -> (c, c) | Source |
|
| | Instances | |
|
|
|
Instances | |
|
|
|
|
class ConsLub h t l | h t -> l where | Source |
|
| Methods | | | Instances | |
|
|
class HLub l e | l -> e where | Source |
|
| Methods | | | Instances | |
|
|
class RecordEquiv r1 r2 res | r1 r2 -> res where | Source |
|
|
|
class RecordEquiv' pj1 pj2 res | pj1 pj2 -> res where | Source |
|
| Methods | equivR' :: pj1 -> pj2 -> res | Source |
|
| | Instances | |
|
|
|
|
|
|
|
|
|
|
|
|
Produced by Haddock version 2.4.2 |