idris-0.9.15: 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 (Provided (TT Name))Source
Handle an error, if the type provider returned an error. Otherwise return the provided term.
data Provided a Source
Constructors
Instances