idris-0.9.14.3: Functional Programming Language with Dependent Types

Safe HaskellNone
LanguageHaskell98

Idris.Docs

Documentation

pprintDocs :: IState -> Docs -> Doc OutputAnnotation Source

getDocs :: Name -> Idris Docs Source

pprintConstDocs :: IState -> Const -> String -> Doc OutputAnnotation Source

data FunDoc Source

Constructors

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

Instances

data Docs Source

Constructors

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

Instances