Hackage :: [Package]

Metadata revisions for generic-labels-0.1.0.1

Package maintainers and Hackage trustees are allowed to edit certain bits of package metadata after a release, without uploading a new tarball. Note that the tarball itself is never changed, just the metadata that is stored separately. For more information about metadata revisions, please refer to the Hackage Metadata Revisions FAQ.

No. Time User SHA256
-r1 (generic-labels-0.1.0.1-r1) 2021-02-09T11:28:09Z sheaf b3c9555ba8a2d6bf44487ed743a80a1ce81fdab535f1f6d80bd404a50194bd4d

  • Changed description from 

    Handle various conversion operations between record types,
such as projecting out a collection of fields from a record,
or plugging in values for a subset of the fields of a larger record.

Works both with built-in Haskell records, as well as explicitly labelled types
@ ( #label := value ) :: ( "label" := Type ) @.

Project out a smaller record using @project@:

@
  data IBXD x = IBXD { i :: Int, b :: Bool, x :: x, d :: Double }
    deriving stock Generic
  data XI x = XI { x :: c, i :: Int }
    deriving stock Generic
@

Plug in a subset of fields using @inject@:

@
  xi_into_ibxd :: XI x -> IBXD x -> IBXD x
  xi_into_ibxd = inject
@

Create a record out of two collections of arguments using @adapt@:

@
  xi_plus_bd_makes_ibxd :: XI x -> ( "b" := Bool, "d" := Double ) -> IBXD x
  xi_plus_bd_makes_ibxd = adapt
@

See also the library's [readme](https://github.com/sheaf/generic-labels/blob/master/readme.md).
    to 
    Handle various conversion operations between record types,
such as projecting out a collection of fields from a record,
or plugging in values for a subset of the fields of a larger record.

Works both with built-in Haskell records, as well as explicitly labelled types
@ ( #label := value ) :: ( "label" := Type ) @.

Project out a smaller record using @project@:

@
  data IBXD x = IBXD { i :: Int, b :: Bool, x :: x, d :: Double }
    deriving stock Generic
  data XI x = XI { x :: x, i :: Int }
    deriving stock Generic
@

@
  ibxd_to_xi :: IBXD x -> XI x
  ibxd_to_xi = project
@

Plug in a subset of fields using @inject@:

@
  xi_into_ibxd :: XI x -> IBXD x -> IBXD x
  xi_into_ibxd = inject
@

Create a record out of two collections of arguments using @adapt@:

@
  xi_plus_bd_makes_ibxd :: XI x -> ( "b" := Bool, "d" := Double ) -> IBXD x
  xi_plus_bd_makes_ibxd = adapt
@

See also the library's [readme](https://github.com/sheaf/generic-labels/blob/master/readme.md).
-r0 (generic-labels-0.1.0.1-r0) 2021-02-09T10:42:17Z sheaf 9ad1b34b414c0e0513f9f6bfccee465812170b7e7bcb2d4f23b6f17a9c386c8c