File tree Expand file tree Collapse file tree 2 files changed +4
-4
lines changed Expand file tree Collapse file tree 2 files changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -73,9 +73,9 @@ prop_strictFromSet fun set =
7373
7474prop_strictFromSetA :: Func Key (Bot A ) -> IntSet -> Property
7575prop_strictFromSetA fun set =
76- isBottom (getSolo (M. fromSetA f set)) === any (isBottom . getSolo . f) (IntSet. toList set)
76+ isBottom (getSolo (M. fromSetA ( MkSolo . f) set)) === any (isBottom . f) (IntSet. toList set)
7777 where
78- f = MkSolo . applyFunc fun
78+ f = applyFunc fun
7979
8080prop_lazyFromSet :: Func Key (Bot A ) -> IntSet -> Property
8181prop_lazyFromSet fun set = isNotBottomProp (L. fromSet f set)
Original file line number Diff line number Diff line change @@ -137,9 +137,9 @@ prop_strictFromSet fun set =
137137
138138prop_strictFromSetA :: Func OrdA (Bot A ) -> Set OrdA -> Property
139139prop_strictFromSetA fun set =
140- isBottom (getSolo (M. fromSetA f set)) === any (isBottom . getSolo . f) (Set. toList set)
140+ isBottom (getSolo (M. fromSetA ( MkSolo . f) set)) === any (isBottom . f) (Set. toList set)
141141 where
142- f = MkSolo . applyFunc fun
142+ f = applyFunc fun
143143
144144prop_lazyFromSet :: Func OrdA (Bot A ) -> Set OrdA -> Property
145145prop_lazyFromSet fun set = isNotBottomProp (L. fromSet f set)
You can’t perform that action at this time.
0 commit comments