Documentation

testIO ∷ String → IO a → TestTree Source #

checkForSoundness ∷ Era era ⇒ [Pred era] → Subst era → Typed (Env era, Maybe String) Source #

explainBad ∷ Era era ⇒ [(String, Bool, Pred era)] → Subst era → String Source #