Idris.Parser.Data

record

recordParameter

dataI

recordI

dataOpts

data_

constructor

simpleConstructor

dsl

checkDSL

overload