Agda.TypeChecking.Datatypes

Constructors

getConHead

getConTerm

getConForm

getOrigConHead

getOrigConTerm

getConstructorData

getConType

getConstructorArity

Data types

isDatatype

data DataOrRecord

isDataOrRecordType

isDataOrRecord

getNumberOfParameters