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.2.0.tar.gz
sha512=fd3fe8b9cb0dbca49d24908cb00c33f62603fd420321726a4d56cd2ad65d6d7d81f2a8b388b959a0e93c50740172f0fc2c45693ee5bb7d1de07a292af78dfd5e

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: 16 Jul 2020

Dependencies

None

Dev Dependencies (1)

  1. coq (>= "8.8" & < "8.13~") | (= "dev")

Used by (1)

  1. coq-algorand

Conflicts

None