Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
pprintDocs :: IState -> Docs -> Doc OutputAnnotation Source
getDocs :: Name -> Idris Docs Source
Given a fully-qualified, disambiguated name, construct the documentation object for it
pprintConstDocs :: IState -> Const -> String -> Doc OutputAnnotation Source