idris-0.9.17: Functional Programming Language with Dependent Types

Safe Haskell	None
Language	Haskell98

Idris.Elab.Record

Documentation

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