Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- mimicGHCi :: TCM () -> TCM ()
- namedMetaOf :: OutputConstraint Expr a -> a
- showGoals :: Goals -> TCM String
- showInfoError :: Info_Error -> TCM String
- explainWhyInScope :: FilePath -> String -> Maybe LocalVar -> [AbstractName] -> [AbstractModule] -> TCM Doc
- prettyTypeOfMeta :: Rewrite -> InteractionId -> TCM Doc
Documentation
namedMetaOf :: OutputConstraint Expr a -> a Source #
showInfoError :: Info_Error -> TCM String Source #
Serializing Info_Error
explainWhyInScope :: FilePath -> String -> Maybe LocalVar -> [AbstractName] -> [AbstractModule] -> TCM Doc Source #
prettyTypeOfMeta :: Rewrite -> InteractionId -> TCM Doc Source #
Pretty-prints the type of the meta-variable.