typecheck-plugin-nat-simple-0.1.0.2: Simple type check plugin which calculate addition, subtraction and less-or-equal-than

Safe Haskell	None
Language	Haskell2010

Plugin.TypeCheck.Nat.Simple.TypeCheckWith

Contents

TYPE CHECK WITH

Synopsis

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

TYPE CHECK WITH

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