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.0.tar.gz
sha512=872bfdc6d919492e30fef4bd06de0f781ff6783d75f8a97394f2b62e8dff96c7c5fd58eb037635d47eb43eca3593b851764c9bfea2d96fc2a89483f784b5a040

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: 25 Feb 2021

Dependencies (2)

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

Dev Dependencies

None

Used by (1)

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

Conflicts

None