kind-generics 0.4.1.3 → 0.4.1.4

raw patch · 2 files changed

+6/−6 lines, 2 filesPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

API changes (from Hackage documentation)

Files

• kind-generics.cabal +1/−1
• src/Generics/Kind.hs +5/−5

@@ -1,6 +1,6 @@ cabal-version:       >=1.10 name:                kind-generics-version:             0.4.1.3+version:             0.4.1.4 synopsis:            Generic programming in GHC style for arbitrary kinds and GADTs. description:         This package provides functionality to extend the data type generic programming functionality in GHC to classes of arbitrary kind, and constructors featuring constraints and existentials, as usually found in GADTs. -- bug-reports:

@@ -22,10 +22,10 @@   (:+:)(..), (:*:)(..), V1, U1(..), M1(..) , Field(..), (:=>:)(..), Exists(..)   -- ** Atoms for 'Field'-, TyVar(..), Atom(..), (:$:), (:~:), (:~~:)+, Atom(..), TyVar(..), (:$:), (:~:), (:~~:) , Var0, Var1, Var2, Var3, Var4, Var5, Var6, Var7, Var8, Var9   -- ** Lists of types-, LoT(..), (:@@:), LoT1, LoT2+, LoT(..), (:@@:), LoT1, LoT2, TyEnv(..)   -- * Generic type classes , GenericK(..) , GenericF, fromF, toF@@ -50,8 +50,8 @@ -- import GHC.Exts  -- | Fields: used to represent each of the (visible) arguments to a constructor.--- Replaces the 'K1' type from "GHC.Generics". The type of the field is--- represented by an 'Atom' from "Data.PolyKinded.Atom".+-- Replaces the 'K1' type from 'GHC.Generics'. The type of the field is+-- represented by an 'Atom' from 'Data.PolyKinded.Atom'. -- -- > instance GenericK [] (a :&&: LoT0) where -- >   type RepK [] = Field Var0 :*: Field ([] :$: Var0)@@ -76,7 +76,7 @@  -- | Existentials: a representation of the form @E f@ describes -- a constructor whose inner type is represented by @f@, and where--- the type variable at index 0, @Var0@, is existentially quantified.+-- the type variable at index 0, 'Var0', is existentially quantified. -- -- > data E where -- >  E :: t -> Exists