idris-0.9.11.1: Functional Programming Language with Dependent Types
Idris.Delaborate
bugaddr :: [Char]Source
delab :: IState -> Term -> PTermSource
delab' :: IState -> Term -> Bool -> Bool -> PTermSource
delabMV :: IState -> Term -> PTermSource
delabTy :: IState -> Name -> PTermSource
delabTy'Source
Arguments
implicit arguments to type, if any
use full names
Don't treat metavariables specially
pshow :: IState -> Err -> StringSource
pprintErr :: IState -> Err -> Doc OutputAnnotationSource