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 <1
• ghc lib:ghc >=9.2.2 && <10
• ghc-internal lib:ghc-internal <10
• ghc-tcplugins-extra lib:ghc-tcplugins-extra <1

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