Copyright | License : BSD3 |
---|---|
Maintainer | The Idris Community. |
Safe Haskell | None |
Language | Haskell98 |
- pprintDocs :: IState -> Docs -> Doc OutputAnnotation
- getDocs :: Name -> HowMuchDocs -> Idris Docs
- pprintConstDocs :: IState -> Const -> String -> Doc OutputAnnotation
- pprintTypeDoc :: IState -> Doc OutputAnnotation
- type FunDoc = FunDoc' (Docstring DocTerm)
- data FunDoc' d = FD Name d [(Name, PTerm, Plicity, Maybe d)] PTerm (Maybe Fixity)
- type Docs = Docs' (Docstring DocTerm)
- data Docs' d
- = FunDoc (FunDoc' d)
- | DataDoc (FunDoc' d) [FunDoc' d]
- | InterfaceDoc Name d [FunDoc' d] [(Name, Maybe d)] [(Maybe Name, PTerm, (d, [(Name, d)]))] [PTerm] [PTerm] (Maybe (FunDoc' d))
- | RecordDoc Name d (FunDoc' d) [FunDoc' d] [(Name, PTerm, Maybe d)]
- | NamedImplementationDoc Name (FunDoc' d)
- | ModDoc [String] d
Documentation
pprintDocs :: IState -> Docs -> Doc OutputAnnotation Source #
getDocs :: Name -> HowMuchDocs -> Idris Docs Source #
Given a fully-qualified, disambiguated name, construct the documentation object for it
pprintConstDocs :: IState -> Const -> String -> Doc OutputAnnotation Source #
FunDoc (FunDoc' d) | |
DataDoc (FunDoc' d) [FunDoc' d] | |
InterfaceDoc Name d [FunDoc' d] [(Name, Maybe d)] [(Maybe Name, PTerm, (d, [(Name, d)]))] [PTerm] [PTerm] (Maybe (FunDoc' d)) | |
RecordDoc Name d (FunDoc' d) [FunDoc' d] [(Name, PTerm, Maybe d)] | |
NamedImplementationDoc Name (FunDoc' d) | |
ModDoc [String] d |