package coq-record-update
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Generic support for updating record fields in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v0.3.1.tar.gz
sha512=a98bf16c7a867ab98bfe0c3edb5a9a9013aca48ad859c32a54839d359d855d311870df7b96a514bb126593131124082d6362b796f493491ebcfa4739208612e4
Description
While Coq provides projections for each field of a record, it has no convenient way to update a single field of a record. This library provides a generic way to update a field by name, where the user only has to implement a simple typeclass that lists out the record fields.
Tags
category:Computer Science/Data Types and Data Structures keyword:record logpath:RecordUpdate date:2022-07-22Published: 29 Jan 2023
Dependencies
None
Dev Dependencies (1)
-
coq
(>= "8.10" & < "8.20~") | (= "dev")
Used by (2)
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page