category-extras 0.53.3 → 0.53.4
raw patch · 2 files changed
+17/−3 lines, 2 filesPVP ok
version bump matches the API change (PVP)
API changes (from Hackage documentation)
+ Control.Category.Discrete: cast :: Discrete a b -> a -> b
+ Control.Category.Discrete: invDiscrete :: Discrete a b -> Discrete b a
+ Control.Category.Discrete: mapDiscrete :: Discrete a b -> Discrete (f a) (f b)
Files
category-extras.cabal view
@@ -1,10 +1,10 @@ name: category-extras category: Control, Monads, Comonads-version: 0.53.3+version: 0.53.4 license: BSD3 cabal-version: >= 1.2 license-file: LICENSE-author: Edward A. Kmett, Dave Menendez+author: Edward A. Kmett maintainer: Edward A. Kmett <ekmett@gmail.com> stability: experimental homepage: http://comonad.com/reader/
src/Control/Category/Discrete.hs view
@@ -12,10 +12,15 @@ ------------------------------------------------------------------------------------------- module Control.Category.Discrete ( Discrete(Refl)+ , mapDiscrete+ , cast+ , invDiscrete ) where import Prelude hiding (id,(.)) import Control.Category+import Unsafe.Coerce (unsafeCoerce)+-- import Control.Functor.Categorical data Discrete a b where Refl :: Discrete a a@@ -24,4 +29,13 @@ id = Refl Refl . Refl = Refl --- HasTerminalObject _|_ ?+-- instance CFunctor f Discrete Discrete where cmap = mapDiscrete++mapDiscrete :: Discrete a b -> Discrete (f a) (f b)+mapDiscrete Refl = Refl++cast :: Discrete a b -> a -> b+cast Refl = unsafeCoerce++invDiscrete :: Discrete a b -> Discrete b a+invDiscrete Refl = Refl