extractable-singleton 0.0.0 → 0.0.0.1
raw patch · 2 files changed
+6/−1 lines, 2 filesPVP: minor bump suggested
API additions: PVP suggests at least a minor version bump
API changes (from Hackage documentation)
+ Data.Singleton.Class: instance (Data.Singleton.Class.Extractable f, Data.Singleton.Class.Extractable g) => Data.Singleton.Class.Extractable (Data.Functor.Compose.Compose f g)
Files
extractable-singleton.cabal view
@@ -1,5 +1,5 @@ name: extractable-singleton-version: 0.0.0+version: 0.0.0.1 synopsis: A functor, where the "stored" value is isomorphic to Identity -- description: homepage: https://github.com/athanclark/extractable-singleton#readme
src/Data/Singleton/Class.hs view
@@ -5,6 +5,7 @@ module Data.Singleton.Class where import Data.Functor.Identity (Identity (..))+import Data.Functor.Compose (Compose (..)) @@ -20,3 +21,7 @@ instance Extractable Identity where runSingleton (Identity x) = x+++instance (Extractable f, Extractable g) => Extractable (Compose f g) where+ runSingleton (Compose x) = runSingleton (runSingleton x)