Agda.TypeChecking.Datatypes

Constructors

getConHead

getConTerm

getConForm

getOrigConHead

getOrigConTerm

getConstructorData

getConType

data HasEta

data ConstructorInfo

getConstructorInfo

getConstructorArity

Data types

isDatatype

data DataOrRecord

isDataOrRecordType

isDataOrRecord

getNumberOfParameters