Agda.TypeChecking.Datatypes

Constructors

getConHead

getConForm

getOrigConHead

getConstructorData

getConType

data HasEta

data ConstructorInfo

getConstructorInfo

getConstructorArity

Data types

isDatatype

data DataOrRecord

isDataOrRecordType

isDataOrRecord

getNumberOfParameters

getConstructors