constrained-categories 0.3.0.0 → 0.3.0.1

raw patch · 8 files changed

+31/−3 lines, 8 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

Control/Applicative/Constrained.hs +4/−0
Control/Arrow/Constrained.hs +4/−0
Control/Category/Constrained.hs +6/−1
Control/Functor/Constrained.hs +4/−0
Control/Monad/Constrained.hs +4/−0
Data/Foldable/Constrained.hs +4/−1
Data/Traversable/Constrained.hs +4/−0
constrained-categories.cabal +1/−1

Control/Applicative/Constrained.hs view

@@ -11,6 +11,10 @@ {-# LANGUAGE FlexibleContexts             #-} {-# LANGUAGE FlexibleInstances            #-} {-# LANGUAGE ScopedTypeVariables          #-}+{-# LANGUAGE CPP                          #-}+#if __GLASGOW_HASKELL__ >= 800+{-# LANGUAGE UndecidableSuperClasses      #-}+#endif   module Control.Applicative.Constrained (

Control/Arrow/Constrained.hs view

@@ -36,6 +36,10 @@ {-# LANGUAGE FlexibleInstances            #-} {-# LANGUAGE FlexibleContexts             #-} {-# LANGUAGE UndecidableInstances         #-}+{-# LANGUAGE CPP                          #-}+#if __GLASGOW_HASKELL__ >= 800+{-# LANGUAGE UndecidableSuperClasses      #-}+#endif {-# LANGUAGE TypeOperators                #-} {-# LANGUAGE RankNTypes                   #-} {-# LANGUAGE AllowAmbiguousTypes          #-}

Control/Category/Constrained.hs view

@@ -15,6 +15,11 @@ {-# LANGUAGE RankNTypes                   #-} {-# LANGUAGE AllowAmbiguousTypes          #-} {-# LANGUAGE TypeOperators                #-}+{-# LANGUAGE ExplicitNamespaces           #-}+{-# LANGUAGE CPP                          #-}+#if __GLASGOW_HASKELL__ >= 800+{-# LANGUAGE UndecidableSuperClasses      #-}+#endif  module Control.Category.Constrained (              -- * The category class@@ -23,7 +28,7 @@           , Cartesian (..), ObjectPair           , Curry (..), ObjectMorphism             -- * Monoidal with coproducts-          , (+)()+          , type (+)()           , CoCartesian (..), ObjectSum             -- * Isomorphisms           , Isomorphic (..)

Control/Functor/Constrained.hs view

@@ -12,6 +12,10 @@ {-# LANGUAGE FlexibleInstances            #-} {-# LANGUAGE FlexibleContexts             #-} {-# LANGUAGE UndecidableInstances         #-}+{-# LANGUAGE CPP                          #-}+#if __GLASGOW_HASKELL__ >= 800+{-# LANGUAGE UndecidableSuperClasses      #-}+#endif   module Control.Functor.Constrained

Control/Monad/Constrained.hs view

@@ -10,6 +10,10 @@ {-# LANGUAGE TypeOperators                #-} {-# LANGUAGE FlexibleContexts             #-} {-# LANGUAGE FlexibleInstances            #-}+{-# LANGUAGE CPP                          #-}+#if __GLASGOW_HASKELL__ >= 800+{-# LANGUAGE UndecidableSuperClasses      #-}+#endif {-# LANGUAGE ScopedTypeVariables          #-} {-# LANGUAGE TupleSections                #-} {-# LANGUAGE LambdaCase                   #-}

Data/Foldable/Constrained.hs view

@@ -9,7 +9,10 @@ {-# LANGUAGE FunctionalDependencies       #-} {-# LANGUAGE TypeOperators                #-} {-# LANGUAGE FlexibleContexts             #-}-{-# LANGUAGE FlexibleContexts             #-}+{-# LANGUAGE CPP                          #-}+#if __GLASGOW_HASKELL__ >= 800+{-# LANGUAGE UndecidableSuperClasses      #-}+#endif {-# LANGUAGE KindSignatures               #-} {-# LANGUAGE ScopedTypeVariables          #-} {-# LANGUAGE TupleSections                #-}

Data/Traversable/Constrained.hs view

@@ -10,6 +10,10 @@ {-# LANGUAGE TypeOperators                #-} {-# LANGUAGE FlexibleContexts             #-} {-# LANGUAGE FlexibleInstances            #-}+{-# LANGUAGE CPP                          #-}+#if __GLASGOW_HASKELL__ >= 800+{-# LANGUAGE UndecidableSuperClasses      #-}+#endif {-# LANGUAGE ScopedTypeVariables          #-} {-# LANGUAGE TupleSections                #-}

constrained-categories.cabal view

@@ -1,5 +1,5 @@ Name:                constrained-categories-Version:             0.3.0.0+Version:             0.3.0.1 Category:            control Synopsis:            Constrained clones of the category-theory type classes, using ConstraintKinds. Description:         Haskell has, and makes great use of, powerful facilities from category