Index - D
| Debug | |
| 1 (Data Constructor) | Data.DRS.Show, Data.DRS |
| 2 (Data Constructor) | Data.PDRS.Show, Data.PDRS |
| Diamond | |
| 1 (Data Constructor) | Data.DRS.DataType, Data.DRS |
| 2 (Data Constructor) | Data.PDRS.DataType, Data.PDRS |
| dropOuterBrackets | Data.DRS.Input.String, Data.DRS.Input, Data.DRS |
| dropUpToMatchingBracket | Data.DRS.Input.String, Data.DRS.Input, Data.DRS |
| DRS | |
| 1 (Type/Class) | Data.DRS.DataType, Data.DRS |
| 2 (Data Constructor) | Data.DRS.DataType, Data.DRS |
| drsAlphaConvert | Data.DRS.LambdaCalculus, Data.DRS |
| DRSAtom | Data.DRS.LambdaCalculus, Data.DRS |
| drsBetaReduce | Data.DRS.LambdaCalculus, Data.DRS |
| drsBoundRef | Data.DRS.Binding, Data.DRS |
| drsCombine | Data.DRS.Merge, Data.DRS |
| DRSCon | Data.DRS.DataType, Data.DRS |
| drsConditions | Data.DRS.Variables, Data.DRS |
| drsFreeRefs | Data.DRS.Binding, Data.DRS |
| drsFunctionCompose | Data.DRS.LambdaCalculus, Data.DRS |
| drsLambdas | Data.DRS.Variables, Data.DRS |
| drsMerge | Data.DRS.Merge, Data.DRS |
| DRSNotation | Data.DRS.Show, Data.DRS |
| drsPurify | Data.DRS.LambdaCalculus, Data.DRS |
| DRSRef | |
| 1 (Type/Class) | Data.DRS.DataType, Data.DRS |
| 2 (Data Constructor) | Data.DRS.DataType, Data.DRS |
| drsRefToDRSVar | Data.DRS.Variables, Data.DRS |
| drsRefToPDRSRef | Data.PDRS.Variables, Data.PDRS |
| DRSRel | |
| 1 (Type/Class) | Data.DRS.DataType, Data.DRS, Data.PDRS.DataType, Data.PDRS |
| 2 (Data Constructor) | Data.DRS.DataType, Data.DRS |
| drsRelToString | Data.DRS.Variables, Data.DRS |
| drsResolve | Data.DRS.Show, Data.DRS |
| drsResolveMerges | Data.DRS.Merge, Data.DRS |
| drsToFOL | Data.DRS.Translate, Data.DRS |
| drsUniverse | Data.DRS.Variables, Data.DRS |
| drsUniverses | Data.DRS.Variables, Data.DRS |
| DRSVar | Data.DRS.DataType, Data.DRS, Data.PDRS.DataType, Data.PDRS |
| drsVariables | Data.DRS.Variables, Data.DRS |