packages feed

wai-predicates 0.10.0 → 1.0.0

raw patch · 3 files changed

+15/−1 lines, 3 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

- Data.Predicate: data (:::) a b
+ Data.Predicate: data a ::: b
+ Data.Predicate: infixr 5 :::
- Data.Predicate: _1 :: a ::: b -> a
+ Data.Predicate: _1 :: (a ::: b) -> a
- Data.Predicate: _1' :: a ::: b -> a
+ Data.Predicate: _1' :: (a ::: b) -> a
- Data.Predicate: _2 :: a ::: (b ::: c) -> b
+ Data.Predicate: _2 :: (a ::: (b ::: c)) -> b
- Data.Predicate: _2' :: a ::: b -> b
+ Data.Predicate: _2' :: (a ::: b) -> b
- Data.Predicate: _3 :: a ::: (b ::: (c ::: d)) -> c
+ Data.Predicate: _3 :: (a ::: (b ::: (c ::: d))) -> c
- Data.Predicate: _3' :: a ::: (b ::: c) -> c
+ Data.Predicate: _3' :: (a ::: (b ::: c)) -> c
- Data.Predicate: _4 :: a ::: (b ::: (c ::: (d ::: e))) -> d
+ Data.Predicate: _4 :: (a ::: (b ::: (c ::: (d ::: e)))) -> d
- Data.Predicate: _4' :: a ::: (b ::: (c ::: d)) -> d
+ Data.Predicate: _4' :: (a ::: (b ::: (c ::: d))) -> d
- Data.Predicate: _5 :: a ::: (b ::: (c ::: (d ::: (e ::: f)))) -> e
+ Data.Predicate: _5 :: (a ::: (b ::: (c ::: (d ::: (e ::: f))))) -> e
- Data.Predicate: _5' :: a ::: (b ::: (c ::: (d ::: e))) -> e
+ Data.Predicate: _5' :: (a ::: (b ::: (c ::: (d ::: e)))) -> e
- Data.Predicate: _6 :: a ::: (b ::: (c ::: (d ::: (e ::: (f ::: g))))) -> f
+ Data.Predicate: _6 :: (a ::: (b ::: (c ::: (d ::: (e ::: (f ::: g)))))) -> f
- Data.Predicate: _6' :: a ::: (b ::: (c ::: (d ::: (e ::: f)))) -> f
+ Data.Predicate: _6' :: (a ::: (b ::: (c ::: (d ::: (e ::: f))))) -> f
- Data.Predicate: _7 :: a ::: (b ::: (c ::: (d ::: (e ::: (f ::: (g ::: h)))))) -> g
+ Data.Predicate: _7 :: (a ::: (b ::: (c ::: (d ::: (e ::: (f ::: (g ::: h))))))) -> g
- Data.Predicate: _7' :: a ::: (b ::: (c ::: (d ::: (e ::: (f ::: g))))) -> g
+ Data.Predicate: _7' :: (a ::: (b ::: (c ::: (d ::: (e ::: (f ::: g)))))) -> g
- Data.Predicate: _8 :: a ::: (b ::: (c ::: (d ::: (e ::: (f ::: (g ::: (h ::: i))))))) -> h
+ Data.Predicate: _8 :: (a ::: (b ::: (c ::: (d ::: (e ::: (f ::: (g ::: (h ::: i)))))))) -> h
- Data.Predicate: _8' :: a ::: (b ::: (c ::: (d ::: (e ::: (f ::: (g ::: h)))))) -> h
+ Data.Predicate: _8' :: (a ::: (b ::: (c ::: (d ::: (e ::: (f ::: (g ::: h))))))) -> h
- Data.Predicate: _9 :: a ::: (b ::: (c ::: (d ::: (e ::: (f ::: (g ::: (h ::: (i ::: j)))))))) -> i
+ Data.Predicate: _9 :: (a ::: (b ::: (c ::: (d ::: (e ::: (f ::: (g ::: (h ::: (i ::: j))))))))) -> i
- Data.Predicate: _9' :: a ::: (b ::: (c ::: (d ::: (e ::: (f ::: (g ::: (h ::: i))))))) -> i
+ Data.Predicate: _9' :: (a ::: (b ::: (c ::: (d ::: (e ::: (f ::: (g ::: (h ::: i)))))))) -> i
- Data.Predicate: hd :: a ::: b -> a
+ Data.Predicate: hd :: (a ::: b) -> a
- Data.Predicate: tl :: a ::: b -> b
+ Data.Predicate: tl :: (a ::: b) -> b
- Network.Wai.Predicate.MediaType: Media :: !ByteString -> !ByteString -> !Double -> ![(ByteString, ByteString)] -> Media
+ Network.Wai.Predicate.MediaType: Media :: !ByteString -> !ByteString -> !Double -> ![(ByteString, ByteString)] -> Media (t :: Symbol) (s :: Symbol)
- Network.Wai.Predicate.MediaType: [mediaParams] :: Media -> ![(ByteString, ByteString)]
+ Network.Wai.Predicate.MediaType: [mediaParams] :: Media (t :: Symbol) (s :: Symbol) -> ![(ByteString, ByteString)]
- Network.Wai.Predicate.MediaType: [mediaQuality] :: Media -> !Double
+ Network.Wai.Predicate.MediaType: [mediaQuality] :: Media (t :: Symbol) (s :: Symbol) -> !Double
- Network.Wai.Predicate.MediaType: [rawSubTypes] :: Media -> !ByteString
+ Network.Wai.Predicate.MediaType: [rawSubTypes] :: Media (t :: Symbol) (s :: Symbol) -> !ByteString
- Network.Wai.Predicate.MediaType: [rawType] :: Media -> !ByteString
+ Network.Wai.Predicate.MediaType: [rawType] :: Media (t :: Symbol) (s :: Symbol) -> !ByteString

Files

CHANGELOG view
@@ -1,3 +1,6 @@+1.0.0+    * Support for GHC-8.8 (see MR #1 thanks to @axeman).+ 0.10.0      * Update `singletons` dependency.
src/Data/Predicate/Result.hs view
@@ -1,9 +1,13 @@ {-# LANGUAGE TypeOperators #-}+{-# LANGUAGE CPP #-}  module Data.Predicate.Result where  import Control.Applicative import Control.Monad+#if !MIN_VERSION_base(4,13,0)+import qualified Control.Monad.Fail as Fail+#endif import Control.Monad.Trans.Class import Control.Monad.IO.Class import Prelude@@ -52,7 +56,14 @@     m >>= k = ResultT $ runResultT m >>= \a -> case a of         Okay _ x -> runResultT (k x)         Fail   x -> return (Fail x)++#if !MIN_VERSION_base(4,13,0)+instance Fail.MonadFail m => Fail.MonadFail (ResultT f m) where+    fail = ResultT . Fail.fail+#else+instance MonadFail m => MonadFail (ResultT f m) where     fail = ResultT . fail+#endif  instance MonadTrans (ResultT f) where     lift = ResultT . liftM return
wai-predicates.cabal view
@@ -1,5 +1,5 @@ name:                wai-predicates-version:             0.10.0+version:             1.0.0 synopsis:            WAI request predicates license:             OtherLicense license-file:        LICENSE