Version 0.1.0.8-0 of typecheck-plugin-nat-simple is deprecated.
The latest version of typecheck-plugin-nat-simple is 0.1.0.11-0.
lib:typecheck-plugin-nat-simple
Modules
- Control.Monad.Try
- Data.Derivation.CanDerive
- Data.Derivation.Expression
- Data.Derivation.Parse
- Data.Log
- Plugin.TypeCheck.Nat.Simple
- Plugin.TypeCheck.Nat.Simple.Decode
- Plugin.TypeCheck.Nat.Simple.TypeCheckWith
Dependencies
- base lib:base >=4.7 && <5
- containers lib:containers >=0
- ghc lib:ghc >=9.2.2
- ghc-tcplugins-extra lib:ghc-tcplugins-extra >=0
Reverse dependencies
Direct only. Not exhaustive.
- ranged-list lib:ranged-list
- ranged-list test:ranged-list-doctest
- ranged-list test:ranged-list-test
- typecheck-plugin-nat-simple test:typecheck-plugin-nat-simple-test-log
- typecheck-plugin-nat-simple test:typecheck-plugin-nat-simple-test-spec
- typecheck-plugin-nat-simple test:typecheck-plugin-nat-simple-test-tryLog