./devel/hs-th-abstraction, Nicer interface for reified information about data types

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: CURRENT, Version: 0.7.0.0nb1, Package name: hs-th-abstraction-0.7.0.0nb1, Maintainer: pho

This package normalizes variations in the interface for inspecting
datatype information via Template Haskell so that packages and support
a single, easier to use informational datatype while supporting many
versions of Template Haskell.


Required to run:
[lang/ghc88]

Required to build:
[pkgtools/cwrappers]

Master sites:

Filesize: 48.734 KB

Version history: (Expand)

CVS history: (Expand)


   2024-05-09 03:32:57 by Masatake Daimon | Files touched by this commit (1137) 
Log message:
Recursive revbump after changing the default Haskell compiler
   2024-05-05 15:05:54 by Masatake Daimon | Files touched by this commit (1) 
Log message:
devel/hs-th-abstraction: Update buildlink3.mk
   2024-05-03 01:23:12 by Thomas Klausner | Files touched by this commit (3) | Package updated
Log message:
hs-th-abstraction: update to 0.7.0.0.

## 0.7.0.0 -- 2024.03.17
* `DatatypeInfo` now has an additional `datatypeReturnKind` field. Most of the
  time, this will be `StarT`, but this can also be more exotic kinds such as
  `ConT ''UnliftedType` if dealing with primitive types, `UnliftedDatatypes`,
  or `UnliftedNewtypes`.
* `reifyDatatype` and related functions now support primitive types such as
  `Int#`. These will be reified as `DatatypeInfo`s with no `ConstructorInfo`s
  and with `Datatype` as the `datatypeVariant`.
* `normalizeCon` now takes a `Kind` argument representing the return kind of
  the parent data type. (This is sometimes necessary to determine which type
  variables in the data constructor are universal or existential, depending
  on if the variables appear in the return kind.)
* Fix a couple of bugs in which `normalizeDec` would return incorrect results
  for GADTs that use `forall`s in their return kind.
   2023-11-02 07:37:49 by Masatake Daimon | Files touched by this commit (1141) 
Log message:
Revbump all Haskell after updating lang/ghc96
   2023-10-27 08:20:29 by Masatake Daimon | Files touched by this commit (4) 
Log message:
devel/hs-th-abstraction: Update to 0.6.0.0

The release note is too long to paste here. See:
https://hackage.haskell.org/package/th-abstraction-0.6.0.0/changelog
   2023-10-09 06:55:01 by Masatake Daimon | Files touched by this commit (988) 
Log message:
Bump Haskell packages after updating lang/ghc94
   2023-01-25 10:12:18 by Masatake Daimon | Files touched by this commit (4) 
Log message:
devel/hs-th-abstraction: Update to 0.4.5.0

0.4.5.0 -- 2022.09.12
* Fix a bug in which data family declarations with interesting return kinds
  (e.g., data family F :: Type -> Type) would be reified incorrectly when
  using reifyDatatype.
   2022-08-18 21:10:19 by Thomas Klausner | Files touched by this commit (2) | Package updated
Log message:
hs-th-abstraction: update to 0.4.4.0.

## 0.4.4.0 -- 2022.07.23
* Support free variable substitution and infix resolution for
  `PromotedInfixT` and `PromotedUInfixT` on `template-haskell-2.19.0.0` or
  later.