forked from plclub/hs-to-coq
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathedits
22 lines (17 loc) · 956 Bytes
/
edits
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
skip module Utils.Containers.Internal.StrictFold
skip module Utils.Containers.Internal.StrictPair
skip module Utils.Containers.Internal.BitQueue
skip module GHC.Show
skip module Data.Data
rename value Utils.Containers.Internal.StrictFold.foldlStrict = Data.Foldable.foldl
rename type Utils.Containers.Internal.StrictPair.StrictPair = prod
rename value Utils.Containers.Internal.StrictPair.:*: = pair
rename value Utils.Containers.Internal.StrictPair.toPair = id
# Moved to another module
rename value Data.IntSet.Internal.lowestBitMask = Utils.Containers.Internal.BitUtil.lowestBitMask
# This should travel to wherever our Test.QuickCheck modules travel to
rename type Test.QuickCheck.Property.Property = Prop
rename value Data.Set.fold = Data.Set.Internal.foldr
rename value Data.Map.fold = Data.Map.Internal.foldr
rename value Data.IntMap.foldWithKey = Data.IntMap.Internal.foldrWithKey
rename value Data.IntMap.fold = Data.IntMap.Internal.foldr