The ty package

[Tags:bsd3, library]

Typed type representations and equality proofs

Project wiki page: http://haskell.org/haskellwiki/ty

Copyright 2009-2012 Conal Elliott; BSD3 license.

Properties

Versions 0.0.2, 0.1.0, 0.1.2, 0.1.3, 0.1.4, 0.1.5, 0.1.6, 0.1.7
Dependencies base (<5), ghc-prim [details]
License BSD3
Copyright (c) 2009-2013 by Conal Elliott
Author Conal Elliott
Maintainer conal@conal.net
Stability experimental
Category Data
Home page https://github.com/conal/ty
Source repository head: git clone git://github.com/conal/ty.git
Uploaded Thu Feb 25 02:23:56 UTC 2016 by ConalElliott
Distributions NixOS:0.1.7
Downloads 2005 total (16 in the last 30 days)
Votes
0 []
Status Docs pending
Build status unknown [no reports yet]

Modules

  • Data
    • Data.IsTy
    • Proof
      • Data.Proof.EQ
    • Data.Ty

Downloads

Maintainer's Corner

For package maintainers and hackage trustees