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