typecheck-plugin-nat-simple-0.1.0.1: Simple type check plugin which calculate addition, subtraction and less-or-equal-than
Safe HaskellNone
LanguageHaskell2010

Plugin.TypeCheck.Nat.Simple.TypeCheckWith

Synopsis

TYPE CHECK WITH

typeCheckWith :: (Monoid w, Outputable w, IsSDoc w, Set w w) => String -> ([Ct] -> [Ct] -> Ct -> Try w w Bool) -> Plugin Source #