The eq package

[ Tags: bsd3, library, type-system ] [ Propose Tags ]

Leibnizian equality

Properties

Versions 0.1.0, 0.1.1, 0.1.2, 0.1.3, 0.2.0, 0.3.0, 0.3.1, 0.3.2, 0.3.3, 0.3.3.1, 0.3.4, 0.3.4.1, 0.3.4.2, 0.3.4.3, 0.3.5, 0.3.6, 0.3.7, 0.3.7.1, 3.0, 3.1, 3.1.1, 4.0, 4.0.1, 4.0.2, 4.0.3, 4.0.4
Dependencies base (==4.*), groupoids (>=0.1.1.2 && <0.2), semigroupoids (>=1.2.6.1 && <1.3.0) [details]
License BSD3
Copyright Copyright (C) 2011 Edward A. Kmett
Author Edward A. Kmett
Maintainer Edward A. Kmett <ekmett@gmail.com>
Category Type System
Home page http://github.com/ekmett/eq/
Source repository head: git clone git://github.com/ekmett/eq.git
Uploaded Tue Feb 7 11:28:36 UTC 2012 by EdwardKmett
Distributions LTSHaskell:4.0.4, NixOS:4.0.4, Stackage:4.0.4, Tumbleweed:4.0.4
Downloads 5949 total (118 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-25 [all 7 reports]
Hackage Matrix CI

Modules

  • Data
    • Eq
      • Data.Eq.Type

Downloads

Maintainer's Corner

For package maintainers and hackage trustees