package record_builder
A library which provides traversal of records with an applicative
Install
Dune Dependency
Authors
Maintainers
Sources
record_builder-v0.16.0.tar.gz
sha256=7370ce4ffd7d21de7e3c3f3a7359e5fa5b6d120c8c6dc0ee7d0e48e620ea6e39
Description
This is a very small library which utilises the functionality provided by the =ppx_fields= syntax extension, more specifically it acts as a wrapper to the derived =Fields.make_creator= function for a given record type. The wrapper automatically handles all of the mapping and combining of applicative terms needed to build the record from a single applicative term for each field.
Published: 14 Jun 2023
README
README.org
A library which provides traversal of records with an applicative. This is a very small library which utilises the functionality provided by the =ppx_fields= syntax extension, more specifically it acts as a wrapper to the derived =Fields.make_creator= function for a given record type. The wrapper automatically handles all of the mapping and combining of applicative terms needed to build the record from a single applicative term for each field.
Dependencies (4)
Dev Dependencies
None
Used by (2)
-
core_extended
= "v0.16.0"
-
profunctor
= "v0.16.0"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page