Skip to content

Commit

Permalink
FIX This binding for ‘golden’ shadows the existing binding
Browse files Browse the repository at this point in the history
  • Loading branch information
kamil-adam committed Apr 14, 2024
1 parent 21a2772 commit a34406f
Show file tree
Hide file tree
Showing 112 changed files with 1,743 additions and 385 deletions.
3 changes: 3 additions & 0 deletions docs/developers/CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
# 📅 Revision history for HelVM Common

## 0.1.2.4 -- 2024-04-14
* Fix "This binding for ‘golden’ shadows the existing binding"

## 0.1.2.3 -- 2023-06-20
* Implement `FileReaderIO (BusinessT MockIO)`

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -38,31 +38,31 @@
<span class="lineno"> 19 </span><span class="decl"><span class="nottickedoff">mapListEmpty = mapListFromList []</span></span>
<span class="lineno"> 20 </span>
<span class="lineno"> 21 </span>mapListFromList :: [a] -&gt; MapList a
<span class="lineno"> 22 </span><span class="decl"><span class="istickedoff">mapListFromList = fromIndexedList . List.indexed</span></span>
<span class="lineno"> 22 </span><span class="decl"><span class="istickedoff">mapListFromList = fromIndexedList &lt;$&gt; List.indexed</span></span>
<span class="lineno"> 23 </span>
<span class="lineno"> 24 </span>fromIndexedList :: IndexedList a -&gt; MapList a
<span class="lineno"> 25 </span><span class="decl"><span class="istickedoff">fromIndexedList = fromIntMap . IntMap.fromList</span></span>
<span class="lineno"> 25 </span><span class="decl"><span class="istickedoff">fromIndexedList = fromIntMap &lt;$&gt; IntMap.fromList</span></span>
<span class="lineno"> 26 </span>
<span class="lineno"> 27 </span>fromIntMap :: IntMap a -&gt; MapList a
<span class="lineno"> 28 </span><span class="decl"><span class="istickedoff">fromIntMap = MapList</span></span>
<span class="lineno"> 29 </span>
<span class="lineno"> 30 </span>-- | DeConstruction
<span class="lineno"> 31 </span>mapListToList :: Default a =&gt; MapList a -&gt; [a]
<span class="lineno"> 32 </span><span class="decl"><span class="istickedoff">mapListToList = listFromDescList . toDescList</span></span>
<span class="lineno"> 32 </span><span class="decl"><span class="istickedoff">mapListToList = listFromDescList &lt;$&gt; toDescList</span></span>
<span class="lineno"> 33 </span>
<span class="lineno"> 34 </span>toDescList :: MapList a -&gt; IndexedList a
<span class="lineno"> 35 </span><span class="decl"><span class="istickedoff">toDescList = IntMap.toDescList . unMapList</span></span>
<span class="lineno"> 35 </span><span class="decl"><span class="istickedoff">toDescList = IntMap.toDescList &lt;$&gt; unMapList</span></span>
<span class="lineno"> 36 </span>
<span class="lineno"> 37 </span>-- | Internal function
<span class="lineno"> 38 </span>listFromDescList :: Default a =&gt; IndexedList a -&gt; [a]
<span class="lineno"> 39 </span><span class="decl"><span class="istickedoff">listFromDescList = loop act . ([] , ) where</span>
<span class="lineno"> 39 </span><span class="decl"><span class="istickedoff">listFromDescList = loop act &lt;$&gt; ([] , ) where</span>
<span class="lineno"> 40 </span><span class="spaces"> </span><span class="istickedoff">act :: Default a =&gt; AccWithIndexedList a -&gt; Either (AccWithIndexedList a) [a]</span>
<span class="lineno"> 41 </span><span class="spaces"> </span><span class="istickedoff">act (acc , [] ) = <span class="nottickedoff">Right acc</span></span>
<span class="lineno"> 42 </span><span class="spaces"> </span><span class="istickedoff">act (acc , [(i , v)] ) = Right $ consDef i $ v : acc</span>
<span class="lineno"> 43 </span><span class="spaces"> </span><span class="istickedoff">act (acc , (i1 , v1) : (i2 , v2) : l ) = Left (consDef (i1 - i2 - 1) $ v1 : acc , (i2 , v2) : l)</span></span>
<span class="lineno"> 44 </span>
<span class="lineno"> 45 </span>consDef :: Default a =&gt; Key -&gt; [a] -&gt; [a]
<span class="lineno"> 46 </span><span class="decl"><span class="istickedoff">consDef i l = (check . compare i) 0 where</span>
<span class="lineno"> 46 </span><span class="decl"><span class="istickedoff">consDef i l = (check &lt;$&gt; compare i) 0 where</span>
<span class="lineno"> 47 </span><span class="spaces"> </span><span class="istickedoff">check LT = <span class="nottickedoff">error &quot;MapList.consDef index is negative&quot;</span></span>
<span class="lineno"> 48 </span><span class="spaces"> </span><span class="istickedoff">check EQ = l</span>
<span class="lineno"> 49 </span><span class="spaces"> </span><span class="istickedoff">check GT = consDef (i - 1) (def : l)</span></span>
Expand All @@ -79,7 +79,7 @@
<span class="lineno"> 60 </span>
<span class="lineno"> 61 </span>-- | Standard instances
<span class="lineno"> 62 </span>instance (Default a , Show a) =&gt; Show (MapList a) where
<span class="lineno"> 63 </span> <span class="decl"><span class="nottickedoff">show = show . I.toList</span></span>
<span class="lineno"> 63 </span> <span class="decl"><span class="nottickedoff">show = show &lt;$&gt; I.toList</span></span>
<span class="lineno"> 64 </span>
<span class="lineno"> 65 </span>instance IsString MapString where
<span class="lineno"> 66 </span> <span class="decl"><span class="nottickedoff">fromString = mapListFromList</span></span>
Expand All @@ -88,27 +88,27 @@
<span class="lineno"> 69 </span> type (Item (MapList a)) = a
<span class="lineno"> 70 </span> <span class="decl"><span class="istickedoff">toList = mapListToList</span></span>
<span class="lineno"> 71 </span> <span class="decl"><span class="istickedoff">fromList = mapListFromList</span></span>
<span class="lineno"> 72 </span> <span class="decl"><span class="nottickedoff">fromListN n = mapListFromList . fromListN n</span></span>
<span class="lineno"> 72 </span> <span class="decl"><span class="nottickedoff">fromListN n = mapListFromList &lt;$&gt; fromListN n</span></span>
<span class="lineno"> 73 </span>
<span class="lineno"> 74 </span>-- | ListLike instances
<span class="lineno"> 75 </span>instance Default a =&gt; LL.FoldableLL (MapList a) a where
<span class="lineno"> 76 </span> <span class="decl"><span class="nottickedoff">foldl f b = IntMap.foldl f b . unMapList</span></span>
<span class="lineno"> 77 </span> <span class="decl"><span class="nottickedoff">foldr f b = IntMap.foldr f b . unMapList</span></span>
<span class="lineno"> 76 </span> <span class="decl"><span class="nottickedoff">foldl f b = IntMap.foldl f b &lt;$&gt; unMapList</span></span>
<span class="lineno"> 77 </span> <span class="decl"><span class="nottickedoff">foldr f b = IntMap.foldr f b &lt;$&gt; unMapList</span></span>
<span class="lineno"> 78 </span>
<span class="lineno"> 79 </span>-- | My instances
<span class="lineno"> 80 </span>instance {-# OVERLAPPING #-} IndexSafe (MapList a) a where
<span class="lineno"> 81 </span> <span class="decl"><span class="nottickedoff">findWithDefault e i = IntMap.findWithDefault e i . unMapList</span></span>
<span class="lineno"> 81 </span> <span class="decl"><span class="nottickedoff">findWithDefault e i = IntMap.findWithDefault e i &lt;$&gt; unMapList</span></span>
<span class="lineno"> 82 </span> <span class="decl"><span class="nottickedoff">findMaybe = mapListFindMaybe</span></span>
<span class="lineno"> 83 </span> <span class="decl"><span class="nottickedoff">indexMaybe = mapListIndexMaybe</span></span>
<span class="lineno"> 84 </span> <span class="decl"><span class="nottickedoff">findSafe i = liftMaybeOrError &quot;MapList.findSafe: index is not correct&quot; . mapListFindMaybe i</span></span>
<span class="lineno"> 85 </span> <span class="decl"><span class="nottickedoff">indexSafe l = liftMaybeOrError &quot;MapList.LLIndexSafe: index is not correct&quot; . mapListIndexMaybe l</span></span>
<span class="lineno"> 84 </span> <span class="decl"><span class="nottickedoff">findSafe i = liftMaybeOrError &quot;MapList.findSafe: index is not correct&quot; &lt;$&gt; mapListFindMaybe i</span></span>
<span class="lineno"> 85 </span> <span class="decl"><span class="nottickedoff">indexSafe l = liftMaybeOrError &quot;MapList.LLIndexSafe: index is not correct&quot; &lt;$&gt; mapListIndexMaybe l</span></span>
<span class="lineno"> 86 </span>
<span class="lineno"> 87 </span>instance InsertDef (MapList a) a where
<span class="lineno"> 88 </span> <span class="decl"><span class="nottickedoff">insertDef i e = fromIntMap . IntMap.insert i e . unMapList</span></span>
<span class="lineno"> 88 </span> <span class="decl"><span class="nottickedoff">insertDef i e = fromIntMap &lt;$&gt; IntMap.insert i e &lt;$&gt; unMapList</span></span>
<span class="lineno"> 89 </span>
<span class="lineno"> 90 </span>-- | Internal functions
<span class="lineno"> 91 </span>mapListFindMaybe :: Key -&gt; MapList a -&gt; Maybe a
<span class="lineno"> 92 </span><span class="decl"><span class="nottickedoff">mapListFindMaybe i = IntMap.lookup i . unMapList</span></span>
<span class="lineno"> 92 </span><span class="decl"><span class="nottickedoff">mapListFindMaybe i = IntMap.lookup i &lt;$&gt; unMapList</span></span>
<span class="lineno"> 93 </span>
<span class="lineno"> 94 </span>mapListIndexMaybe :: MapList a -&gt; Key -&gt; Maybe a
<span class="lineno"> 95 </span><span class="decl"><span class="nottickedoff">mapListIndexMaybe l i = unMapList l IntMap.!? i</span></span>
Expand Down
Loading

0 comments on commit a34406f

Please sign in to comment.