LambdaDRS | Data.DRS.DataType, Data.DRS |
LambdaDRSRef | Data.DRS.DataType, Data.DRS |
LambdaDRSRel | Data.DRS.DataType, Data.DRS |
LambdaPDRS | Data.PDRS.DataType, Data.PDRS |
LambdaPDRSRef | Data.PDRS.DataType, Data.PDRS |
LambdaPDRSRel | Data.PDRS.DataType, Data.PDRS |
Linear | |
1 (Data Constructor) | Data.DRS.Show, Data.DRS |
2 (Data Constructor) | Data.PDRS.Show, Data.PDRS |