|
|
|
|
|
Documentation |
|
|
Constructors | | Instances | |
|
|
|
|
|
|
|
Constructors | | Instances | (UnionSymRec r1 r2' (Record ru), HExtend f2 (Record ru) (Record (HCons f2 ru))) => UnionSymRec' HFalse r1 f2 r2' (Record (HCons f2 ru)) | (UnionSymRec r1 r2' (Record ru), HasField l2 ru v2, HUpdateAtHNat n (LVPair l2 v2) ru ru, RecordLabels ru ls, HFind l2 ls n) => UnionSymRec' HTrue r1 (LVPair l2 v2) r2' (Record ru) | UnionSymRec r1 (Record HNil) r1 | HLeftUnion r (Record HNil) r | HasField l r v => HasField l (Record r) v | Eq r => Eq (Record r) | ShowComponents r => Show (Record r) | Typeable x => Typeable (Record x) | (RecordLabels r' ls, H2ProjectByLabels ls r r' rout) => SubType (Record r) (Record r') | (RecordLabels r1 ls, HMember l ls b, UnionSymRec' b (Record r1) (LVPair l v) (Record r2') ru) => UnionSymRec (Record r1) (Record (HCons (LVPair l v) r2')) ru | (RecordLabels r ls, HMember l ls b, HLeftUnionBool b r (LVPair l v) r''', HLeftUnion (Record r''') (Record r') r'') => HLeftUnion (Record r) (Record (HCons (LVPair l v) r')) r'' | (HRLabelSet r'', HAppend r r' r'') => HAppend (Record r) (Record r') (Record r'') | (RecordLabels a la, RecordLabels b lb, HTIntersect la lb lc, H2ProjectByLabels lc a c aout, H2ProjectByLabels lc b c bout, HRLabelSet c) => LubNarrow (Record a) (Record b) (Record c) | HRLabelSet (HCons (LVPair l v) r) => HExtend (LVPair l v) (Record r) (Record (HCons (LVPair l v) r)) |
|
|
|
|
|
|
|
|
| Instances | |
|
|
class HRLabelSet' l1 v1 l2 v2 leq r | Source |
|
| Instances | |
|
|
|
| Instances | |
|
|
class HLabelSet' x ls xmem | Source |
|
| Instances | |
|
|
|
|
|
class RecordLabels r ls | r -> ls | Source |
|
| Instances | |
|
|
|
|
|
|
class RecordValues r ls | r -> ls where | Source |
|
| Methods | recordValues' :: r -> ls | Source |
|
| | Instances | |
|
|
|
|
class ShowComponents l where | Source |
|
| Methods | | | Instances | |
|
|
|
| Methods | | | Instances | |
|
|
class HasField l r v | l r -> v where | Source |
|
| Methods | hLookupByLabel :: l -> r -> v | Source |
|
| | Instances | |
|
|
class HasField' b l r v | b l r -> v where | Source |
|
| Methods | hLookupByLabel' :: b -> l -> r -> v | Source |
|
| | Instances | |
|
|
|
|
class H2ProjectByLabels ls r rin rout | ls r -> rin rout where | Source |
|
| Methods | h2projectByLabels :: ls -> r -> (rin, rout) | Source |
|
| | Instances | |
|
|
class H2ProjectByLabels' b ls r rin rout | b ls r -> rin rout where | Source |
|
| Methods | h2projectByLabels' :: b -> ls -> r -> (rin, rout) | Source |
|
| | Instances | |
|
|
class HLeftUnion r r' r'' | r r' -> r'' where | Source |
|
| Methods | hLeftUnion :: r -> r' -> r'' | Source |
|
| | Instances | |
|
|
class HLeftUnionBool b r f r' | b r f -> r' where | Source |
|
| Methods | hLeftUnionBool :: b -> r -> f -> r' | Source |
|
| | Instances | |
|
|
class UnionSymRec r1 r2 ru | r1 r2 -> ru where | Source |
|
| Methods | unionSR :: r1 -> r2 -> (ru, ru) | Source |
|
| | Instances | |
|
|
class UnionSymRec' b r1 f2 r2' ru | b r1 f2 r2' -> ru where | Source |
|
| Methods | unionSR' :: b -> r1 -> f2 -> r2' -> (ru, ru) | Source |
|
| | Instances | (UnionSymRec r1 r2' (Record ru), HExtend f2 (Record ru) (Record (HCons f2 ru))) => UnionSymRec' HFalse r1 f2 r2' (Record (HCons f2 ru)) | (UnionSymRec r1 r2' (Record ru), HExtend f2 (Record ru) (Record (HCons f2 ru))) => UnionSymRec' HFalse r1 f2 r2' (Record (HCons f2 ru)) | (UnionSymRec r1 r2' (Record ru), HasField l2 ru v2, HUpdateAtHNat n (LVPair l2 v2) ru ru, RecordLabels ru ls, HFind l2 ls n) => UnionSymRec' HTrue r1 (LVPair l2 v2) r2' (Record ru) | (UnionSymRec r1 r2' (Record ru), HasField l2 ru v2, HUpdateAtHNat n (LVPair l2 v2) ru ru, RecordLabels ru ls, HFind l2 ls n) => UnionSymRec' HTrue r1 (LVPair l2 v2) r2' (Record ru) | (UnionSymRec r1 r2' (Record ru), HasField l2 ru v2, HUpdateAtHNat n (LVPair l2 v2) ru ru, RecordLabels ru ls, HFind l2 ls n) => UnionSymRec' HTrue r1 (LVPair l2 v2) r2' (Record ru) |
|
|
|
|
|
class HRearrange ls r r' | ls r -> r' where | Source |
|
| Methods | hRearrange2 :: ls -> r -> r' | Source |
|
| | Instances | |
|
|
class HRearrange' l ls rin rout r' | l ls rin rout -> r' where | Source |
|
| Methods | hRearrange2' :: l -> ls -> rin -> rout -> r' | Source |
|
| | Instances | |
|
|
|
Constructors | | Instances | |
|
|
|
Constructors | | Instances | |
|
|
Produced by Haddock version 2.4.2 |