idris

Safe HaskellNone

Idris.Providers

Synopsis

Documentation

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.