Use Safe

.hlint.yaml

@@ -1,4 +1,3 @@
-
 - arguments:
     - "-XConstraintKinds"
     - "-XDeriveGeneric"
@@ -230,12 +229,22 @@
 - warn:
     lhs: "f <$> nonEmpty x"
     rhs: viaNonEmpty f x
+- warn:
+    lhs: partitionEithers . map f
+    rhs: partitionWith f
+- warn:
+    lhs: partitionEithers $ map f x
+    rhs: partitionWith f x
 - warn:
     lhs: "f >>= guard"
     rhs: guardM f
 - warn:
-    lhs: "guard =<< f"
+    lhs: guard =<< f
     rhs: guardM f
+- warn:
+    lhs: forever
+    note: "'forever' is loosely typed and may hide errors"
+    rhs: infinitely
 - warn:
     lhs: "whenM (not <$> x)"
     rhs: unlessM x
@@ -321,7 +330,7 @@
     lhs: "maybe (return ()) f =<< m"
     rhs: whenJustM m f
 - warn:
-    lhs: "maybe pass        f =<< m"
+    lhs: maybe pass        f =<< m
     rhs: whenJustM m f
 - warn:
     lhs: "m >>= maybe (pure ())   f"
@@ -1720,11 +1729,6 @@
     name: "Use 'foldl'' from Relude"
     note: "'foldl'' is already exported from Relude"
     rhs: "foldl'"
-- warn:
-    lhs: Data.Foldable.foldrM
-    name: "Use 'foldrM' from Relude"
-    note: "'foldrM' is already exported from Relude"
-    rhs: foldrM
 - warn:
     lhs: Data.Foldable.forM_
     name: "Use 'forM_' from Relude"
@@ -1789,7 +1793,7 @@
     lhs: Data.Function.on
     name: "Use 'on' from Relude"
     note: "'on' is already exported from Relude"
-    rhs: "on"
+    rhs: 'on'
 - warn:
     lhs: Data.Bifunctor.Bifunctor
     name: "Use 'Bifunctor' from Relude"
@@ -3212,6 +3216,10 @@
     lhs: toEnum
     note: "`toEnum` from `Prelude` is a pure function but it may throw exception. Consider using `safeToEnum` from `Relude.Extra.Enum` instead."
     rhs: safeToEnum
+- hint:
+    lhs: sum xs / length xs
+    note: "Use `average` from `Relude.Extra.Foldable`"
+    rhs: average xs
 - hint:
     lhs: "\\a -> (a, a)"
     note: "Use `dup` from `Relude.Extra.Tuple`"

docs/CHANGELOG.md

@@ -1,4 +1,11 @@
 # 📅 Revision history for HelMA
+
+## 0.6.8.0  -- 2021-07-06
+
+* Use `Safe`, remove `error` calls
+* Replace `String` by `Text`
+* Extract `HelVM.Common` and `HelVM.Common.Digit` packages
+
 ## 0.6.7.0  -- 2021-06-11
 
 * Remove Interact implementation

docs/NEWS.md

@@ -2,7 +2,7 @@
 
 **New interpreters and features.**
 
-Currently, 🚁 **HelMA** interpret:
+Currently, **🔧 🎨 HelMA** interpret:
 * 🌈 BrainFuck
 * ❤️ ETA
 * 💙 SubLeq

docs/README.md

@@ -1,5 +1,6 @@
 # Welcome to 🔧 🎨 HelMA
-🔧 🎨 **HelMA** - Heavenly Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell
+**🔧 🎨 HelMA** - Heavenly Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell
+and it is first part of [HelVM](http://helvm.online/) project.
 
 **🧑‍🔧 🧑‍🎨 HAMAMAL** - Holistic Actual Minimalist Automatic Mechanical Languages is a kind of [Low-level] [First-generation] [Code] for Esoteric Languages.