tao-example: Example usage of the tao package.

[ library, mit, testing ] [ Propose Tags ]

Example usage of type-level assertions using tao.

[Skip to Readme]
Versions [faq] 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 Tue Mar 20 00:57:14 UTC 2018
Distributions LTSHaskell:1.0.0, NixOS:1.0.0, Stackage:1.0.0
Downloads 343 total (21 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2018-03-20 [all 1 reports]




Maintainer's Corner

For package maintainers and hackage trustees

Readme for tao-example-1.0.0

[back to package description]


# Build the project.
stack build

# Generate documentation.
stack haddock