A version of GHC.Records as available in future GHCs.

Version on this page:1.0
Stackage Nightly 2019-05-24:1.0
Latest on Hackage:1.0

See all snapshots record-hasfield appears in

BSD-3-Clause licensed and maintained by Neil Mitchell

Module documentation for 1.0

There are no documented modules for this package.

record-hasfield Hackage version Stackage version Build status

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.


Changelog for record-hasfield

1.0, released 2019-03-21
Initial version
Depends on 1 package:
comments powered byDisqus