Plugin.TypeCheck.Nat.Simple.TypeCheckWith
Contents
typeCheckWith :: (Monoid w, Outputable w, IsSDoc w, Set w w) => String -> ([Ct] -> [Ct] -> Ct -> Try w w Bool) -> Plugin Source #