git.iko.soy/typeable/ordered-containers
on master help sign in
whitespace only
commit759e4db39100fe6aca215b70c4b91167c4bd09c3 authorDaniel Wagner <me@dmwit.com> dateSun 24 Mar 2019, 11:13 (8 years ago) parent4ea5084
2 files changed+14−14
compare with master
unifiedsplit
Data/Map/Ordered.hs+7−7 Data/Set/Ordered.hs+7−7
Data/Map/Ordered.hs+7−7
@@ -52,13 +52,13 @@ instance (Ord k, Read k, Read v) => Read (OMap k v) where readsPrec = readsPrecL
5252-- We provide limited reflection services for the sake of data abstraction.
5353
5454instance (Data k, Data a, Ord k) => Data (OMap k a) where
55− gfoldl f z m = z fromList `f` assocs m
56− toConstr _ = fromListConstr
57− gunfold k z c = case constrIndex c of
58− 1 -> k (z fromList)
59− _ -> error "gunfold"
60− dataTypeOf _ = oMapDataType
61− dataCast2 f = gcast2 f
55+ gfoldl f z m = z fromList `f` assocs m
56+ toConstr _ = fromListConstr
57+ gunfold k z c = case constrIndex c of
58+ 1 -> k (z fromList)
59+ _ -> error "gunfold"
60+ dataTypeOf _ = oMapDataType
61+ dataCast2 f = gcast2 f
6262
6363fromListConstr :: Constr
6464fromListConstr = mkConstr oMapDataType "fromList" [] Prefix
Data/Set/Ordered.hs+7−7
@@ -50,13 +50,13 @@ instance (Ord a, Read a) => Read (OSet a) where readsPrec = readsPrecList fromLi
5050-- We provide limited reflection services for the sake of data abstraction.
5151
5252instance (Data a, Ord a) => Data (OSet a) where
53− gfoldl f z set = z fromList `f` (toList set)
54− toConstr _ = fromListConstr
55− gunfold k z c = case constrIndex c of
56− 1 -> k (z fromList)
57− _ -> error "gunfold"
58− dataTypeOf _ = oSetDataType
59− dataCast1 f = gcast1 f
53+ gfoldl f z set = z fromList `f` (toList set)
54+ toConstr _ = fromListConstr
55+ gunfold k z c = case constrIndex c of
56+ 1 -> k (z fromList)
57+ _ -> error "gunfold"
58+ dataTypeOf _ = oSetDataType
59+ dataCast1 f = gcast1 f
6060
6161fromListConstr :: Constr
6262fromListConstr = mkConstr oSetDataType "fromList" [] Prefix