Documentation

data FunDoc Source

data Doc Source

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

getDocs :: Name -> Idris DocSource

docData :: Name -> TypeInfo -> Idris DocSource

docClass :: Name -> ClassInfo -> Idris DocSource

docFun :: Name -> Idris FunDocSource