TH.ReifySimple

Reifying simplified type info

data TypeInfo

reifyType

infoToType

reifyTypeNoDataKinds

infoToTypeNoDataKinds

Reifying simplified info for specific declaration varieties

Datatype info

data DataType

reifyDataType

infoToDataType

Data constructor info

data DataCon

reifyDataCon

infoToDataCon

typeToDataCon

Data family info

data DataFamily

data DataInst

reifyDataFamily

infoToDataFamily

Type family info

data TypeFamily

data TypeInst

reifyTypeFamily

infoToTypeFamily

Other utilities

conToDataCons

reifyDataTypeSubstituted