railroad 0.1.0.1 → 0.1.1.0
raw patch · 4 files changed
+21/−6 lines, 4 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
+ Railroad: (?@) :: forall (es :: [Effect]) e t a. (Error e :> es, Foldable t) => Eff es (t a) -> (t a -> e) -> Eff es ()
+ Railroad.MonadError: (?@) :: forall m e t a. (MonadError e m, Foldable t) => m (t a) -> (t a -> e) -> m ()
- Railroad: infixl 0 ?∅
+ Railroad: infixl 0 ?@
- Railroad.MonadError: infixl 0 ?∅
+ Railroad.MonadError: infixl 0 ?@
Files
- CHANGELOG.md +4/−0
- railroad.cabal +1/−1
- src/Railroad.hs +5/−2
- src/Railroad/MonadError.hs +11/−3
CHANGELOG.md view
@@ -1,5 +1,9 @@ # Revision history for railroad +## 0.1.1.0 -- 2026-02-26+* Add non unicode alias for `(?∅)`+* Fix the fixity of `(??~)` to be inline with `(?~)`+ ## 0.1.0.1 -- 2026-02-26 * Fix that `Railroad.MonadError` is not exposed in the cabal file
railroad.cabal view
@@ -1,6 +1,6 @@ cabal-version: 3.0 name: railroad-version: 0.1.0.1+version: 0.1.1.0 license: BSD-3-Clause license-file: LICENSE author: Frederik Kallstrup Mastratisi
src/Railroad.hs view
@@ -123,9 +123,12 @@ xs <- action if null xs then pure () else throwError_ (toErr xs) -+-- | Non-unicode alias for `(?∅)`+(?@) :: forall es e t a. (Error e :> es, Foldable t)+ => Eff es (t a) -> ((t a) -> e) -> Eff es ()+(?@) = (?∅) -infixl 0 ??, ?, ?~, ?!, ?+, ?∅+infixl 0 ??, ?, ??~, ?~, ?!, ?+, ?∅, ?@ infixl 1 ?>
src/Railroad/MonadError.hs view
@@ -10,11 +10,11 @@ module Railroad.MonadError ( module Railroad -- re-exports CErr, CRes, Bifurcate, CardinalityError, etc. , collapse- , (??), (?), (?>), (??~), (?~), (?+), (?!), (?∅)+ , (??), (?), (?>), (??~), (?~), (?+), (?!), (?∅), (?@) ) where import Railroad hiding (collapse, (?!), (?), (?+), (?>),- (??), (??~), (?~), (?∅))+ (??), (??~), (?@), (?~), (?∅)) import Control.Monad.Except (MonadError (..)) import Data.Foldable (toList)@@ -67,5 +67,13 @@ xs <- action if null xs then pure () else throwError (toErr xs) -infixl 0 ??, ?, ?~, ?!, ?+, ?∅++++-- | Non-unicode alias for `(?∅)`+(?@) :: forall m e t a. (MonadError e m, Foldable t)+ => m (t a) -> (t a -> e) -> m ()+(?@) = (?∅)++infixl 0 ??, ?, ??~, ?~, ?!, ?+, ?∅, ?@ infixl 1 ?>