typecheck-plugin-nat-simple: Simple type check plugin which calculate addition, subtraction and less-or-equal-than
Please see the README on GitHub at https://github.com/YoshikuniJujo/typecheck-plugin-nat-simple#readme
[Skip to Readme]
Modules
- Control
- Monad
- Control.Monad.Try
- Monad
- Data
- Derivation
- Data.Derivation.CanDerive
- Data.Derivation.Expression
- Data.Derivation.Parse
- Data.Log
- Derivation
- Plugin
- TypeCheck
- Nat
- Plugin.TypeCheck.Nat.Simple
- Plugin.TypeCheck.Nat.Simple.Decode
- Plugin.TypeCheck.Nat.Simple.TypeCheckWith
- Plugin.TypeCheck.Nat.Simple
- Nat
- TypeCheck
Downloads
- typecheck-plugin-nat-simple-0.1.0.9.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.1.0.0, 0.1.0.1, 0.1.0.2, 0.1.0.3, 0.1.0.4, 0.1.0.5, 0.1.0.6, 0.1.0.7, 0.1.0.8, 0.1.0.9 (info) |
---|---|
Change log | ChangeLog.md |
Dependencies | base (>=4.7 && <5), containers, ghc (>=9.2.2), ghc-tcplugins-extra [details] |
License | BSD-3-Clause |
Copyright | Yoshikuni Jujo |
Author | Yoshikuni Jujo |
Maintainer | yoshikuni.jujo.pc@gmail.com |
Category | Compiler Plugin |
Home page | https://github.com/YoshikuniJujo/typecheck-plugin-nat-simple#readme |
Bug tracker | https://github.com/YoshikuniJujo/typecheck-plugin-nat-simple/issues |
Source repo | head: git clone https://github.com/YoshikuniJujo/typecheck-plugin-nat-simple |
Uploaded | by YoshikuniJujo at 2022-12-22T07:00:31Z |
Distributions | LTSHaskell:0.1.0.9, NixOS:0.1.0.9, Stackage:0.1.0.9 |
Reverse Dependencies | 1 direct, 2 indirect [details] |
Downloads | 1006 total (25 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs not available [build log] All reported builds failed as of 2022-12-22 [all 2 reports] |