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.3.tar.gz
sha512=fb88f33ba716d068506d31047969fff40630adc7df7f21a016c8d92ff3c802007ce4efc0ae93c5456b76544040c323ae4d66755c8b425087504ddb1146a8b81a

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:2023-04-01

Published: 05 Oct 2023

Dependencies

None

Dev Dependencies (1)

  1. coq (>= "8.14" & < "8.20~") | (= "dev")

Conflicts

None