paripari 0.6.0.0 → 0.6.0.1
raw patch · 3 files changed
+17/−10 lines, 3 filesdep ~parser-combinatorsPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
Dependency ranges changed: parser-combinators
API changes (from Hackage documentation)
+ Text.PariPari.Internal.Class: infixl 3 <|>
- Text.PariPari.Internal.Acceptor: Acceptor :: forall b. Env k -> State -> (a -> State -> b) -> (Error -> b) -> b -> Acceptor k a
+ Text.PariPari.Internal.Acceptor: Acceptor :: (forall b. Env k -> State -> (a -> State -> b) -> (Error -> b) -> b) -> Acceptor k a
- Text.PariPari.Internal.Acceptor: Env :: !(Buffer k) -> !Int -> !FilePath -> !Int -> !Int -> Env k
+ Text.PariPari.Internal.Acceptor: Env :: !Buffer k -> !Int -> !FilePath -> !Int -> !Int -> Env k
- Text.PariPari.Internal.Acceptor: [_envBuf] :: Env k -> !(Buffer k)
+ Text.PariPari.Internal.Acceptor: [_envBuf] :: Env k -> !Buffer k
- Text.PariPari.Internal.Class: class Applicative f => Alternative (f :: * -> *)
+ Text.PariPari.Internal.Class: class Applicative f => Alternative (f :: Type -> Type)
- Text.PariPari.Internal.Class: class (Alternative m, Monad m) => MonadPlus (m :: * -> *)
+ Text.PariPari.Internal.Class: class (Alternative m, Monad m) => MonadPlus (m :: Type -> Type)
- Text.PariPari.Internal.ElementCombinators: choice :: (Foldable f, Alternative m) => f m a -> m a
+ Text.PariPari.Internal.ElementCombinators: choice :: (Foldable f, Alternative m) => f (m a) -> m a
- Text.PariPari.Internal.ElementCombinators: eitherP :: Alternative m => m a -> m b -> m Either a b
+ Text.PariPari.Internal.ElementCombinators: eitherP :: Alternative m => m a -> m b -> m (Either a b)
- Text.PariPari.Internal.ElementCombinators: endBy1 :: MonadPlus m => m a -> m sep -> m NonEmpty a
+ Text.PariPari.Internal.ElementCombinators: endBy1 :: MonadPlus m => m a -> m sep -> m (NonEmpty a)
- Text.PariPari.Internal.ElementCombinators: optional :: Alternative f => f a -> f Maybe a
+ Text.PariPari.Internal.ElementCombinators: optional :: Alternative f => f a -> f (Maybe a)
- Text.PariPari.Internal.ElementCombinators: sepBy1 :: MonadPlus m => m a -> m sep -> m NonEmpty a
+ Text.PariPari.Internal.ElementCombinators: sepBy1 :: MonadPlus m => m a -> m sep -> m (NonEmpty a)
- Text.PariPari.Internal.ElementCombinators: sepEndBy1 :: MonadPlus m => m a -> m sep -> m NonEmpty a
+ Text.PariPari.Internal.ElementCombinators: sepEndBy1 :: MonadPlus m => m a -> m sep -> m (NonEmpty a)
- Text.PariPari.Internal.ElementCombinators: some :: MonadPlus m => m a -> m NonEmpty a
+ Text.PariPari.Internal.ElementCombinators: some :: MonadPlus m => m a -> m (NonEmpty a)
- Text.PariPari.Internal.ElementCombinators: someTill :: MonadPlus m => m a -> m end -> m NonEmpty a
+ Text.PariPari.Internal.ElementCombinators: someTill :: MonadPlus m => m a -> m end -> m (NonEmpty a)
- Text.PariPari.Internal.Reporter: Env :: !(Buffer k) -> !Int -> !FilePath -> !ReportOptions -> !Bool -> !Int -> [String] -> !Int -> !Int -> Env k
+ Text.PariPari.Internal.Reporter: Env :: !Buffer k -> !Int -> !FilePath -> !ReportOptions -> !Bool -> !Int -> [String] -> !Int -> !Int -> Env k
- Text.PariPari.Internal.Reporter: Reporter :: forall b. Env k -> State -> (a -> State -> b) -> (State -> b) -> b -> Reporter k a
+ Text.PariPari.Internal.Reporter: Reporter :: (forall b. Env k -> State -> (a -> State -> b) -> (State -> b) -> b) -> Reporter k a
- Text.PariPari.Internal.Reporter: [_envBuf] :: Env k -> !(Buffer k)
+ Text.PariPari.Internal.Reporter: [_envBuf] :: Env k -> !Buffer k
Files
- paripari.cabal +9/−8
- src/Text/PariPari/Internal/Acceptor.hs +4/−1
- src/Text/PariPari/Internal/Reporter.hs +4/−1
paripari.cabal view
@@ -1,11 +1,13 @@--- This file has been generated from package.yaml by hpack version 0.28.2.+cabal-version: 1.12++-- This file has been generated from package.yaml by hpack version 0.31.2. -- -- see: https://github.com/sol/hpack ----- hash: cf4bf92e82b3f884f3cbfbbd9eddbf9bc6301c4fcf6e5b5dfd6362e36e8ffc49+-- hash: e2aa081115e4cfadf8c060813b3ede4ab8a817542bc9d7f33fa82a04ee85da38 name: paripari-version: 0.6.0.0+version: 0.6.0.1 synopsis: Parser combinators with fast-path and slower fallback for error reporting description: PariPari offers two parsing strategies. There is a fast Acceptor and a slower Reporter which are evaluated in parallel. If the Acceptor fails, the Reporter returns a report about the parsing errors. Like Attoparsec, the parser combinators backtrack by default. category: Text@@ -19,7 +21,6 @@ license-file: LICENSE tested-with: GHC == 8.0.1, GHC == 8.2.1, GHC == 8.4.3, GHC == 8.6.1 build-type: Simple-cabal-version: >= 1.10 source-repository head type: git@@ -45,7 +46,7 @@ build-depends: base >=4.8 && <5 , bytestring >=0.10 && <0.11- , parser-combinators >=1.0 && <1.1+ , parser-combinators >=1.0 && <1.3 , text >=0.11 && <1.3 default-language: Haskell2010 @@ -58,7 +59,7 @@ base >=4.8 && <5 , bytestring >=0.10 && <0.11 , paripari- , parser-combinators >=1.0 && <1.1+ , parser-combinators >=1.0 && <1.3 , text >=0.11 && <1.3 default-language: Haskell2010 @@ -71,7 +72,7 @@ base >=4.8 && <5 , bytestring >=0.10 && <0.11 , paripari- , parser-combinators >=1.0 && <1.1+ , parser-combinators >=1.0 && <1.3 , text >=0.11 && <1.3 default-language: Haskell2010 @@ -87,7 +88,7 @@ base >=4.8 && <5 , bytestring >=0.10 && <0.11 , paripari- , parser-combinators >=1.0 && <1.1+ , parser-combinators >=1.0 && <1.3 , random , tasty , tasty-hunit
src/Text/PariPari/Internal/Acceptor.hs view
@@ -1,3 +1,4 @@+{-# LANGUAGE CPP #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE MultiWayIf #-}@@ -99,8 +100,10 @@ in unAcceptor p env st ok' err {-# INLINE (>>=) #-} - fail msg = Fail.fail msg+#if !MIN_VERSION_base(4,11,0)+ fail = Fail.fail {-# INLINE fail #-}+#endif instance Chunk k => Fail.MonadFail (Acceptor k) where fail msg = failWith $ EFail msg
src/Text/PariPari/Internal/Reporter.hs view
@@ -1,3 +1,4 @@+{-# LANGUAGE CPP #-} {-# LANGUAGE DeriveGeneric #-} {-# LANGUAGE FlexibleInstances #-} {-# LANGUAGE MultiParamTypeClasses #-}@@ -143,8 +144,10 @@ in unReporter p env st ok' err {-# INLINE (>>=) #-} - fail msg = Fail.fail msg+#if !MIN_VERSION_base(4,11,0)+ fail = Fail.fail {-# INLINE fail #-}+#endif instance Chunk k => Fail.MonadFail (Reporter k) where fail msg = failWith $ EFail msg