higgledy 0.1.0.0 → 0.1.1.0

raw patch · 5 files changed

+12/−7 lines, 5 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

- Data.Generic.HKD.Construction: class GConstruct (f :: Type -> Type) (rep :: Type -> Type)

- Data.Generic.HKD.Construction: gconstruct :: GConstruct f rep => GHKD_ f rep p -> f (rep p)

- Data.Generic.HKD.Construction: gdeconstruct :: GConstruct f rep => rep p -> GHKD_ f rep p

- Data.Generic.HKD.Labels: class GLabels (rep :: Type -> Type)

- Data.Generic.HKD.Labels: glabel :: GLabels rep => GHKD_ f rep p -> GHKD_ (Const String) rep p

Files

higgledy.cabal +1/−1
src/Data/Generic/HKD/Construction.hs +3/−1
src/Data/Generic/HKD/Field.hs +2/−2
src/Data/Generic/HKD/Labels.hs +4/−1
src/Data/Generic/HKD/Types.hs +2/−2

higgledy.cabal view

@@ -1,7 +1,7 @@ cabal-version:       2.4  name:                higgledy-version:             0.1.0.0+version:             0.1.1.0 synopsis:            Partial types as a type constructor. description:         Use the generic representation of an ADT to get a higher-kinded data-style interface automatically. homepage:            https://github.com/i-am-tom/higgledy

src/Data/Generic/HKD/Construction.hs view

@@ -20,7 +20,9 @@ Maintainer  : tom.harding@habito.com Stability   : experimental -}-module Data.Generic.HKD.Construction where+module Data.Generic.HKD.Construction+  ( Construct (..)+  ) where  import Data.Generic.HKD.Types (HKD (..), GHKD_) import Data.Kind (Type)

src/Data/Generic/HKD/Field.hs view

@@ -43,8 +43,8 @@ -- >>> data User = User { name :: String, age :: Int } deriving (Generic, Show) -- >>> type Partial a = HKD a Last ----- We can create an empty partial @User@ and set its name to "Tom" (which, in--- this case, is @pure "Tom" :: Last String@):+-- We can create an empty partial @User@ and set its name to \"Tom\" (which, in+-- this case, is @pure \"Tom\" :: Last String@): -- -- >>> mempty @(Partial User) & field @"name" .~ pure "Tom" -- User {name = Last {getLast = Just "Tom"}, age = Last {getLast = Nothing}}

src/Data/Generic/HKD/Labels.hs view

@@ -10,7 +10,10 @@ {-# LANGUAGE TypeApplications       #-} {-# LANGUAGE TypeOperators          #-} {-# LANGUAGE UndecidableInstances   #-}-module Data.Generic.HKD.Labels where+module Data.Generic.HKD.Labels+  ( Label (..)+  , labelsWhere+  ) where  import Data.Barbie (ProductB (..), TraversableB (..)) import Data.Functor.Const (Const (..))

src/Data/Generic/HKD/Types.hs view

@@ -47,8 +47,8 @@ -- @ --   data User f --    = User---        { name      :: f String---        , age       :: f Int+--        { name :: f String+--        , age  :: f Int --        } -- @ --