idris-0.9.11: Functional Programming Language with Dependent Types
Idris.Providers
Synopsis
providerTy :: FC -> PTerm -> PTermSource
Wrap a type provider in the type of type providers
getProvided :: FC -> TT Name -> Idris (TT Name)Source
Handle an error, if the type provider returned an error. Otherwise return the provided term.