idris-0.9.15: Functional Programming Language with Dependent Types

Safe HaskellNone

Idris.Elab.Provider

Synopsis

Documentation

elabProvider :: ElabInfo -> SyntaxInfo -> FC -> ProvideWhat -> Name -> Idris ()Source

Elaborate a type provider