# 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

*Data**Derivation*- Data.Derivation.CanDerive
- Data.Derivation.Expression
- Data.Derivation.Parse

- Data.Log

*Plugin**TypeCheck**Nat*- Plugin.TypeCheck.Nat.Simple
- Plugin.TypeCheck.Nat.Simple.Decode
- Plugin.TypeCheck.Nat.Simple.TypeCheckWith

- Plugin.TypeCheck.Nat.Simple

## 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, 0 indirect [details] |

Downloads | 757 total (42 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] |