GHC.Records.Compat

This module provides a version of GHC.Records as it will be after the implementation of GHC proposal #42.

In future GHC versions it will be an alias for GHC.Records.

Documentation

class HasField x r a | x r -> a where

Constraint representing the fact that the field x can be get and set on the record type r and has field type a. This constraint will be solved automatically, but manual instances may be provided as well.

The function should satisfy the invariant:

uncurry ($) (hasField @x r) == r

Methods

hasField :: r -> (a -> r, a)

Function to get and set a field in a record.

Instances

HasField () a a

Defined in GHC.Records.Extra

Methods

hasField :: a -> (a -> a, a)

HasField "_1" (a, b) a

Defined in GHC.Records.Extra

Methods

hasField :: (a, b) -> (a -> (a, b), a)

HasField "_2" (a, b) b

Defined in GHC.Records.Extra

Methods

hasField :: (a, b) -> (b -> (a, b), b)

HasField "_1" (a, b, c) a

Defined in GHC.Records.Extra

Methods

hasField :: (a, b, c) -> (a -> (a, b, c), a)

HasField "_2" (a, b, c) b

Defined in GHC.Records.Extra

Methods

hasField :: (a, b, c) -> (b -> (a, b, c), b)

HasField "_3" (a, b, c) c

Defined in GHC.Records.Extra

Methods

hasField :: (a, b, c) -> (c -> (a, b, c), c)

HasField "_1" (a, b, c, d) a

Defined in GHC.Records.Extra

Methods

hasField :: (a, b, c, d) -> (a -> (a, b, c, d), a)

HasField "_2" (a, b, c, d) b

Defined in GHC.Records.Extra

Methods

hasField :: (a, b, c, d) -> (b -> (a, b, c, d), b)

HasField "_3" (a, b, c, d) c

Defined in GHC.Records.Extra

Methods

hasField :: (a, b, c, d) -> (c -> (a, b, c, d), c)

HasField "_4" (a, b, c, d) d

Defined in GHC.Records.Extra

Methods

hasField :: (a, b, c, d) -> (d -> (a, b, c, d), d)

HasField "_1" (a, b, c, d, e) a

Defined in GHC.Records.Extra

Methods

hasField :: (a, b, c, d, e) -> (a -> (a, b, c, d, e), a)

HasField "_2" (a, b, c, d, e) b

Defined in GHC.Records.Extra

Methods

hasField :: (a, b, c, d, e) -> (b -> (a, b, c, d, e), b)

HasField "_3" (a, b, c, d, e) c

Defined in GHC.Records.Extra

Methods

hasField :: (a, b, c, d, e) -> (c -> (a, b, c, d, e), c)

HasField "_4" (a, b, c, d, e) d

Defined in GHC.Records.Extra

Methods

hasField :: (a, b, c, d, e) -> (d -> (a, b, c, d, e), d)

HasField "_5" (a, b, c, d, e) e

Defined in GHC.Records.Extra

Methods

hasField :: (a, b, c, d, e) -> (e -> (a, b, c, d, e), e)

(a1 ~ r2, HasField x1 r1 a1, HasField x2 r2 a2) => HasField ((,) x1 x2 :: (k2, k1)) r1 a2

Defined in GHC.Records.Extra

Methods

hasField :: r1 -> (a2 -> r1, a2)

(a1 ~ r2, a2 ~ r3, HasField x1 r1 a1, HasField x2 r2 a2, HasField x3 r3 a3) => HasField ((,,) x1 x2 x3 :: (k3, k2, k1)) r1 a3

Defined in GHC.Records.Extra

Methods

hasField :: r1 -> (a3 -> r1, a3)

(a1 ~ r2, a2 ~ r3, a3 ~ r4, HasField x1 r1 a1, HasField x2 r2 a2, HasField x3 r3 a3, HasField x4 r4 a4) => HasField ((,,,) x1 x2 x3 x4 :: (k4, k3, k2, k1)) r1 a4

Defined in GHC.Records.Extra

Methods

hasField :: r1 -> (a4 -> r1, a4)

(a1 ~ r2, a2 ~ r3, a3 ~ r4, a4 ~ r5, HasField x1 r1 a1, HasField x2 r2 a2, HasField x3 r3 a3, HasField x4 r4 a4, HasField x5 r5 a5) => HasField ((,,,,) x1 x2 x3 x4 x5 :: (k5, k4, k3, k2, k1)) r1 a5

Defined in GHC.Records.Extra

Methods

hasField :: r1 -> (a5 -> r1, a5)

getField :: forall x r a. HasField x r a => r -> a

Get a field in a record.

setField :: forall x r a. HasField x r a => r -> a -> r

Set a field in a record.