idris-0.10: Functional Programming Language with Dependent Types
Idris.Providers
Synopsis
providerTy :: FC -> PTerm -> PTerm Source
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