package coq-deriving

  1. Overview
  2. No Docs
Generic instances of MathComp classes

Install

Dune Dependency

github.com Edit opam file Versions (4)

Authors

  1. A
    Arthur Azevedo de Amorim

Maintainers

  1. A
    Arthur Azevedo de Amorim <arthur.aa@gmail.com>

Sources

v0.1.1.tar.gz
sha512=2762dbc28543906d90ab0c7c9cd22157a94679da59188432fccff2e149de9ad29a40ab20d222a0f55dcbe0354a6d94b74b14d7141fd1fb228c5edb89257494ce

Description

Deriving provides generic instances of MathComp classes for inductive data types. It includes native support for eqType, choiceType, countType and finType instances, and it allows users to define their own instances for other classes.

Tags

keyword:generic programming category:Computer Science/Data Types and Data Structures logpath:deriving

Published: 10 Mar 2023

Dependencies (1)

  1. coq-mathcomp-ssreflect >= "1.11" & < "2.0~"

Dev Dependencies (1)

  1. coq (>= "8.11" & < "8.21~") | (= "dev")

Used by (1)

  1. coq-extructures >= "0.3.0" & < "0.4.0"

Conflicts

None