package coq-record-update

  1. Overview
  2. No Docs
Generic support for updating record fields in Coq

Install

Dune Dependency

github.com Edit opam file Versions (6)

Authors

  1. T
    Tej Chajed

Maintainers

  1. T
    tchajed@gmail.com

Sources

v0.3.0.tar.gz
sha512=20219d1cd243e0ecc718df2f78260b294f2d286eec5cd87939c0b7992196dc7482468e3739de10f1f5c12e5db1b606292920d476743ac017101ecaafea696a3b

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

Published: 28 May 2021

Dependencies

None

Dev Dependencies (1)

  1. coq (>= "8.10" & < "8.18~") | (= "dev")

Conflicts

None