Agda.TypeChecking.Datatypes

Constructors

getConHead

getConForm

getOrigConHead

getConstructorData

getConType

getFullyAppliedConType

data HasEta

data ConstructorInfo

getConstructorInfo

Data types

isDatatype

isDataOrRecordType

isDataOrRecord

getNumberOfParameters

getConstructors