idris-0.9.15: Functional Programming Language with Dependent Types

Safe HaskellNone

Idris.Docs

Documentation

pprintDocs :: IState -> Docs -> Doc OutputAnnotationSource

getDocs :: Name -> Idris DocsSource

pprintConstDocs :: IState -> Const -> String -> Doc OutputAnnotationSource

data FunDoc Source

Constructors

FD Name (Docstring DocTerm) [(Name, PTerm, Plicity, Maybe (Docstring DocTerm))] PTerm (Maybe Fixity) 

data Docs Source

Constructors

FunDoc FunDoc 
DataDoc FunDoc [FunDoc] 
ClassDoc Name (Docstring DocTerm) [FunDoc] [(Name, Maybe (Docstring DocTerm))] [PTerm] [PTerm]