idris-0.9.12: Functional Programming Language with Dependent Types
Idris.Docs
data FunDoc Source
Constructors
Instances
data Docs Source
showDoc :: Docstring -> Doc OutputAnnotationSource
pprintFD :: Bool -> FunDoc -> Doc OutputAnnotationSource
pprintDocs :: Bool -> Docs -> Doc OutputAnnotationSource
getDocs :: Name -> Idris DocsSource
docData :: Name -> TypeInfo -> Idris DocsSource
docClass :: Name -> ClassInfo -> Idris DocsSource
docFun :: Name -> Idris FunDocSource
getPArgNames :: PTerm -> [(Name, Docstring)] -> [(Name, PTerm, Plicity, Maybe Docstring)]Source