|
|
|
|
|
Documentation |
|
|
| Instances | |
|
|
|
|
|
|
|
|
|
|
data Couple a[a5pn] b[a5po] | Source |
|
Constructors | | Instances | Typeable2 Couple | (Data ctx a[a5pn], Data ctx b[a5po], Sat (ctx (Couple a[a5pn] b[a5po]))) => Data ctx (Couple a[a5pn] b[a5po]) | Trans ft b => Trans' ft (Couple a b) | (Eq a[a5pn], Eq b[a5po]) => Eq (Couple a[a5pn] b[a5po]) | (Data a[a5pn], Data b[a5po]) => Data (Couple a[a5pn] b[a5po]) | (Ord a[a5pn], Ord b[a5po]) => Ord (Couple a[a5pn] b[a5po]) | (Read a[a5pn], Read b[a5po]) => Read (Couple a[a5pn] b[a5po]) | (Show a[a5pn], Show b[a5po]) => Show (Couple a[a5pn] b[a5po]) | (Default a[a5pn], Default b[a5po]) => Default (Couple a[a5pn] b[a5po]) | (Xml a, Xml b) => Xml (Couple a b) | (Eq a, Xml a, Show a, Data a, CoupleClass b) => CoupleClass (Couple a b) | HasT c a => HasT' (Couple b c) a | HasT (Couple a b) b | HasT (Couple a b) a | Trans (b -> b) (Couple a b) | Trans (a -> a) (Couple a b) | HMap (Couple a Nil) (Couple ([] a) Nil) | (HMap b d, CoupleClass b) => HMap (Couple a b) (Couple ([] a) d) |
|
|
|
|
Constructors | | Instances | |
|
|
|
| Instances | |
|
|
hMap :: HMap a b => a -> b | Source |
|
|
trans :: Trans ft a => ft -> a -> a | Source |
|
|
Produced by Haddock version 2.1.0 |