idris-0.9.11.2: Functional Programming Language with Dependent Types

Safe HaskellNone

Idris.Docs

Documentation

data FunDoc Source

Constructors

Doc Name String [(Name, PArg)] PTerm (Maybe Fixity) 

Instances

data Doc Source

Constructors

FunDoc FunDoc 
DataDoc FunDoc [FunDoc] 
ClassDoc Name String [FunDoc] 

Instances

showDoc :: [Char] -> [Char]Source

getDocs :: Name -> Idris DocSource

docData :: Name -> TypeInfo -> Idris DocSource

docClass :: Name -> ClassInfo -> Idris DocSource

docFun :: Name -> Idris FunDocSource