[ refactor ] Use external library for weak traversals

buzden · Jan 30, 2025 · 041ceab · 041ceab
1 parent 03c2dad
commit 041ceab
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 77 deletions.
diff --git a/src/Data/Functor/TraverseSt.idr b/src/Data/Functor/TraverseSt.idr
diff --git a/src/Statistics/Confidence.idr b/src/Statistics/Confidence.idr
@@ -159,8 +159,8 @@ checkCoverageConditions' coverageTests = traverseSt initialResults checkCoverage
   initialResults : PastResults
   initialResults = R 0 $ coverageTests <&> const (0 `Element` LTEZero)
 
-  checkCoverageOnce : a -> PastResults -> (PastResults, Vect n CoverageTestState)
-  checkCoverageOnce x $ R prevAttempts prevResults = do
+  checkCoverageOnce : PastResults -> a -> (PastResults, Vect n CoverageTestState)
+  checkCoverageOnce (R prevAttempts prevResults) x = do
     let %inline currAttempts : Nat; currAttempts = S prevAttempts
     mapFst (R currAttempts) $ unzip $ coverageTests `zip` prevResults <&>
       \(Cover checkedP@(minP, maxP) cond, Element prevSucc _) => do
@@ -217,7 +217,7 @@ checkCoverageConditions :
   Vect n (CoverageTest a) ->
   t a ->
   t $ Vect n CoverageTestResult
-checkCoverageConditions = map @{FromTraversableSt} (map coverageTestResult) .: checkCoverageConditions' {confidence}
+checkCoverageConditions = map @{Compose} coverageTestResult .: checkCoverageConditions' {confidence}
 
 export %inline
 checkCoverageCondition :
@@ -227,4 +227,4 @@ checkCoverageCondition :
   CoverageTest a ->
   t a ->
   t CoverageTestResult
-checkCoverageCondition ct = map @{FromTraversableSt} head . checkCoverageConditions {confidence} [ct]
+checkCoverageCondition ct = map head . checkCoverageConditions {confidence} [ct]
diff --git a/summary-stat.ipkg b/summary-stat.ipkg
@@ -9,9 +9,7 @@ license = "Apache-2.0"
 brief = "Facilities for summary statistics"
 
 modules
-  = Data.Functor.TraverseSt
-
-  , Statistics.Confidence
+  = Statistics.Confidence
   , Statistics.Erf
   , Statistics.Norm
   , Statistics.Norm.Precise
@@ -24,3 +22,4 @@ builddir = ".build"
 langversion >= 0.7.0
 
 depends = bounded-doubles
+        , weaker-traversals