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.2.tar.gz
sha512=83e3f2d74d18e9bd40a41e30ad458fd6561fe3ae5eb3a17855399efd3957c6e425a17568283c1d18abed1daed165d745fe3419bfbd917d62dd5a0c8ca5b6ea1e

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: 03 Apr 2023

Dependencies

None

Dev Dependencies (1)

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

Conflicts

None