idris-0.9.15.1: Functional Programming Language with Dependent Types

Safe Haskell	None

Idris.Elab.Record

Documentation

elabRecord :: ElabInfo -> SyntaxInfo -> Docstring (Either Err PTerm) -> FC -> Name -> PTerm -> DataOpts -> Docstring (Either Err PTerm) -> Name -> PTerm -> Idris ()Source