Idris.Parser.Data
record
recordParameter
dataI
recordI
dataOpts
data_
constructor
simpleConstructor
dsl
checkDSL
overload