package record_builder
A library which provides traversal of records with an applicative
Install
Dune Dependency
Authors
Maintainers
Sources
v0.17.0.tar.gz
sha256=cef79df7f3626255f8452ed6235377be9eae0503fec4ffd111447e43450de6e2
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: 26 May 2024
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 (3)
-
bonsai
>= "v0.17.0"
-
core_extended
>= "v0.17.0"
-
profunctor
>= "v0.17.0"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page