prologue 1.0.6 → 1.0.7

raw patch · 3 files changed

+44/−9 lines, 3 filesdep +bifunctorsdep +impossibledep +typeleveldep ~conddep ~lensdep ~textPVP ok

version bump matches the API change (PVP)

Dependencies added: bifunctors, impossible, typelevel

Dependency ranges changed: cond, lens, text, tuple, vector

API changes (from Hackage documentation)

Files

• prologue.cabal +11/−7
• src/Data/Typeable/Proxy/Abbr.hs +10/−0
• src/Prologue.hs +23/−2

@@ -1,5 +1,5 @@ name: prologue-version: 1.0.6+version: 1.0.7 cabal-version: >=1.10 build-type: Simple license: Apache-2.0@@ -22,30 +22,34 @@ library     exposed-modules:         Prologue+        Data.Typeable.Proxy.Abbr         Data.Text.Class         Data.String.Class         Data.Default.Instances.Missing         Data.Binary.Instances.Missing     build-depends:         base >=4.6 && <4.9,+        bifunctors >=5.1,         binary >=0.7.5.0,-        cond >=0.4.1.1,+        cond -any,         container >=1.0,         convert >=1.0,         data-default >=0.5.3,         data-layer >=1.0.1,         errors >=2.0.1,-        lens >=4.12.3,+        lens >=4.13,         lens-utils >=1.0,         mtl >=2.2.1,         pretty-show >=1.6.9,         transformers >=0.4.2.0,         transformers-base >=0.4.4,-        text >=1.2.1.3,+        text >=1.2.2.0,         string-qq >=0.0.2,-        vector >=0.10.12.3,-        tuple >=0.3.0.2,-        functor-utils >=1.0+        vector >=0.11.0.0,+        tuple -any,+        functor-utils >=1.0,+        impossible -any,+        typelevel >=1.0.2     default-language: Haskell2010     default-extensions: ConstraintKinds DataKinds DefaultSignatures                         DeriveDataTypeable DeriveFoldable DeriveFunctor DeriveGeneric

@@ -0,0 +1,10 @@+{-# LANGUAGE PolyKinds #-}++module Data.Typeable.Proxy.Abbr where++import Data.Typeable++p :: Proxy a+p = Proxy++type P a = Proxy a

@@ -46,17 +46,25 @@ import           Data.Foldable                      as X (mapM_) import           Control.Error.Util                 as X (isLeft, isRight) import           Data.String.QQ                     as X (s)-import           GHC.TypeLits                       as X (Nat, Symbol, SomeNat, SomeSymbol, KnownNat, natVal)+import           GHC.TypeLits                       as X (Nat, Symbol, SomeNat, SomeSymbol, KnownNat, natVal, type (-), type (+)) import           Data.Typeable                      as X (Proxy(Proxy), typeOf, typeRep) import           Data.Convert                       as X import           Data.Layer                         as X+import           Data.Coat                          as X import           Data.Tuple.Curry                   as X (Curry) import           Data.Container.Class               as X (Container, Index, Item, intercalate) import           Data.Container.List                as X (FromList, fromList, ToList, toList) import           Data.Functor.Utils                 as X+import           Type.Operators                     as X -- (($), (&))+import           Type.Show                          as X (TypeShow, showType, printType, ppPrintType, ppShowType)+import           Control.Exception.Base             as X (assert)+import           Data.Impossible                    as X+import           Data.Impossible.Compact            as X+import           Data.Bool                          as X (bool)+import           Data.Typeable.Proxy.Abbr           as X (P, p)+import           Data.Bifunctor                     as X (Bifunctor, bimap) import qualified Data.Tuple.Curry                   as Tuple - (++) :: Monoid a => a -> a -> a (++) = mappend @@ -79,6 +87,8 @@  -- +swap :: (a,b) -> (b,a)+swap (a,b) = (b,a)  fromJustM :: Monad m => Maybe a -> m a fromJustM Nothing  = fail "Prelude.fromJustM: Nothing"@@ -160,3 +170,14 @@   +-- === Safe operations === --++tryHead :: [a] -> Maybe a+tryHead []      = Nothing+tryHead (a : _) = Just a+{-# INLINE tryHead #-}++fromJustNote :: String -> Maybe a -> a+fromJustNote n = \case+    Just a  -> a+    Nothing -> error n