ten 0.1.0.0 → 0.1.0.1

raw patch · 3 files changed

+12/−8 lines, 3 filesdep ~base

Dependency ranges changed: base

Files

• CHANGELOG.md +4/−0
• src/Data/Ten/Representable.hs +6/−6
• ten.cabal +2/−2

@@ -1,3 +1,7 @@ # 0.1.0.0  Initial version.++# 0.1.0.1++* Extend support back to GHC 8.6.

@@ -104,16 +104,16 @@ field10' f = rep10' (unAp10 . f)  -- | Superclass appeasement; deriving via this will give infinite loops; don't!-deriving via (f :: (k -> Type) -> Type)-  instance Functor10 f => Functor10 (Wrapped1 Representable10 f)+instance Functor10 f => Functor10 (Wrapped1 Representable10 f) where+  fmap10 f (Wrapped1 fm) = Wrapped1 (fmap10 f fm)  -- | Superclass appeasement; deriving via this will give infinite loops; don't!-deriving via (f :: (k -> Type) -> Type)-  instance Foldable10 f => Foldable10 (Wrapped1 Representable10 f)+instance Foldable10 f => Foldable10 (Wrapped1 Representable10 f) where+  foldMap10 f (Wrapped1 fm) = foldMap10 f fm  -- | Superclass appeasement; deriving via this will give infinite loops; don't!-deriving via (f :: (k -> Type) -> Type)-  instance Traversable10 f => Traversable10 (Wrapped1 Representable10 f)+instance Traversable10 f => Traversable10 (Wrapped1 Representable10 f) where+  mapTraverse10 r f (Wrapped1 fm) = mapTraverse10 (r . Wrapped1) f fm  type instance Index10 (Wrapped1 Representable10 f) = Rep10 f 

@@ -4,10 +4,10 @@ -- -- see: https://github.com/sol/hpack ----- hash: 420a8fd5dab8b49f35524f82502e9d7f80fabffd59b9a3c7d9cfbf5999c83618+-- hash: 8dde7b739e237e35e07ff8612aa1e3385ab5ccdfce5e8e33b601dc6ee38cb5ed  name:           ten-version:        0.1.0.0+version:        0.1.0.1 synopsis:       Typeclasses like Functor, etc. over arity-1 type constructors. description:    This provides a mirror of the traditional typeclass hierarchy for types of                 kind @(k -> Type) -> Type@, or functors from the category __Hask{k}__ to