tao-example: Example usage of the tao package.

[ deprecated, library, mit, testing ] [ Propose Tags ]

Example usage of type-level assertions using tao.

[Skip to Readme]


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS] 1.0.0
Change log CHANGELOG.md
Dependencies base (>=4.10 && <5), tao (>=1.0.0 && <1.1.0) [details]
License MIT
Author Jason Shipman
Maintainer Jason Shipman
Category Testing
Home page https://github.com/jship/tao#readme
Bug tracker https://github.com/jship/tao/issues
Source repo head: git clone https://github.com/jship/tao
Uploaded by jship at 2018-03-20T00:57:14Z
Distributions LTSHaskell:1.0.0, NixOS:1.0.0, Stackage:1.0.0
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 1110 total (8 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2018-03-20 [all 1 reports]

Readme for tao-example-1.0.0

[back to package description]


# Build the project.
stack build

# Generate documentation.
stack haddock