record-hasfield
A version of GHC.Records as available in future GHCs.
https://github.com/ndmitchell/record-hasfield#readme
| LTS Haskell 24.17: | 1.0.1 |
| Stackage Nightly 2025-10-31: | 1.0.1 |
| Latest on Hackage: | 1.0.1 |
This version can be pinned in stack with:
record-hasfield-1.0.1@sha256:1997b0107e380d425ddbbecaca5086114558aa59ae1070633cf2b0eec033f181,1499Module documentation for 1.0.1
- GHC
- GHC.Records
Depends on 1 package(full list with versions):
record-hasfield 
This package provides a version of “GHC.Records” as it will be after the implementation of GHC proposal #42, which reads:
-- | Constraint representing the fact that the field @x@ can be get and set on
-- the record type @r@ and has field type @a@.
class HasField x r a | x r -> a where
-- | Function to get and set a field in a record.
hasField :: r -> (a -> r, a)
In GHC these will be magically solved, but this package doesn’t provide that. This package does provide extra helper functions for working with the HasField type class.