idris-0.9.14.3: Functional Programming Language with Dependent Types
Idris.Elab.Value
elabVal :: ElabInfo -> ElabMode -> PTerm -> Idris (Term, Type) Source
elabValBind :: ElabInfo -> ElabMode -> Bool -> PTerm -> Idris (Term, Type, [(Name, Type)]) Source