Index
| <<&>> | |
| 1 (Function) | Data.DRS.Merge, Data.DRS |
| 2 (Function) | Data.PDRS.Merge, Data.PDRS |
| <<*>> | Data.PDRS.Merge, Data.PDRS |
| <<+>> | |
| 1 (Function) | Data.DRS.Merge, Data.DRS |
| 2 (Function) | Data.PDRS.Merge, Data.PDRS |
| <<.>> | |
| 1 (Function) | Data.DRS.LambdaCalculus, Data.DRS |
| 2 (Function) | Data.PDRS.LambdaCalculus, Data.PDRS |
| <<@>> | |
| 1 (Function) | Data.DRS.LambdaCalculus, Data.DRS |
| 2 (Function) | Data.PDRS.LambdaCalculus, Data.PDRS |
| AbstractDRS | Data.DRS.LambdaCalculus, Data.DRS |
| AbstractPDRS | Data.PDRS.LambdaCalculus, Data.PDRS |
| AMerge | Data.PDRS.DataType, Data.PDRS |
| And | Data.FOL.Formula, Data.FOL |
| Angle | Data.DRS.Input.String, Data.DRS.Input, Data.DRS |
| Bottom | Data.FOL.Formula, Data.FOL |
| Box | |
| 1 (Data Constructor) | Data.DRS.DataType, Data.DRS |
| 2 (Data Constructor) | Data.PDRS.DataType, Data.PDRS |
| boxBottomLeft | Data.DRS.Show, Data.DRS |
| boxBottomRight | Data.DRS.Show, Data.DRS |
| boxerToDRS | Data.DRS.Input.Boxer, Data.DRS.Input, Data.DRS |
| boxerToPDRS | Data.PDRS.Input.Boxer, Data.PDRS.Input, Data.PDRS |
| Boxes | |
| 1 (Data Constructor) | Data.DRS.Show, Data.DRS |
| 2 (Data Constructor) | Data.PDRS.Show, Data.PDRS |
| boxHorLine | Data.DRS.Show, Data.DRS |
| boxMiddleLeft | Data.DRS.Show, Data.DRS |
| boxMiddleRight | Data.DRS.Show, Data.DRS |
| boxTopLeft | Data.DRS.Show, Data.DRS |
| boxTopRight | Data.DRS.Show, Data.DRS |
| boxVerLine | Data.DRS.Show, Data.DRS |
| brackets | Data.DRS.Input.String, Data.DRS.Input, Data.DRS |
| BracketType | Data.DRS.Input.String, Data.DRS.Input, Data.DRS |
| convertPrologVars | Data.DRS.Input.Boxer, Data.DRS.Input, Data.DRS |
| Curly | Data.DRS.Input.String, Data.DRS.Input, Data.DRS |
| 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 |
| emptyPDRS | Data.PDRS.Structure, Data.PDRS |
| Exists | Data.FOL.Formula, Data.FOL |
| felicitousBracketing | Data.DRS.Input.String, Data.DRS.Input, Data.DRS |
| FOLForm | Data.FOL.Formula, Data.FOL |
| FOLPred | Data.FOL.Formula, Data.FOL |
| FOLVar | Data.FOL.Formula, Data.FOL |
| ForAll | Data.FOL.Formula, Data.FOL |
| Imp | |
| 1 (Data Constructor) | Data.DRS.DataType, Data.DRS |
| 2 (Data Constructor) | Data.FOL.Formula, Data.FOL |
| 3 (Data Constructor) | Data.PDRS.DataType, Data.PDRS |
| isFOLDRS | Data.DRS.Properties, Data.DRS |
| isLambdaDRS | Data.DRS.Structure, Data.DRS |
| isLambdaPDRS | Data.PDRS.Structure, Data.PDRS |
| isMergeDRS | Data.DRS.Structure, Data.DRS |
| isMergePDRS | Data.PDRS.Structure, Data.PDRS |
| isPlainPDRS | Data.PDRS.Properties, Data.PDRS |
| isPresupPDRS | Data.PDRS.Properties, Data.PDRS |
| isProperDRS | Data.DRS.Properties, Data.DRS |
| isProperPDRS | Data.PDRS.Properties, Data.PDRS |
| isPureDRS | Data.DRS.Properties, Data.DRS |
| isPurePDRS | Data.PDRS.Properties, Data.PDRS |
| isResolvedDRS | Data.DRS.Structure, Data.DRS |
| isResolvedPDRS | Data.PDRS.Structure, Data.PDRS |
| isSimplePDRS | Data.PDRS.Properties, Data.PDRS |
| isSubDRS | Data.DRS.Structure, Data.DRS |
| isSubPDRS | Data.PDRS.Structure, Data.PDRS |
| 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 |
| MAP | Data.PDRS.DataType, Data.PDRS |
| Merge | Data.DRS.DataType, Data.DRS |
| Neg | |
| 1 (Data Constructor) | Data.DRS.DataType, Data.DRS |
| 2 (Data Constructor) | Data.FOL.Formula, Data.FOL |
| 3 (Data Constructor) | Data.PDRS.DataType, Data.PDRS |
| newDRSRefs | Data.DRS.Variables, Data.DRS |
| newPDRSRefs | Data.PDRS.Variables, Data.PDRS |
| newPRefs | Data.PDRS.Variables, Data.PDRS |
| newPVars | Data.PDRS.Variables, Data.PDRS |
| opBox | Data.DRS.Show, Data.DRS |
| opBoxString | Data.DRS.Input.String, Data.DRS.Input, Data.DRS |
| opDiamond | Data.DRS.Show, Data.DRS |
| opDiamondString | Data.DRS.Input.String, Data.DRS.Input, Data.DRS |
| opImp | Data.DRS.Show, Data.DRS |
| opImpString | Data.DRS.Input.String, Data.DRS.Input, Data.DRS |
| opLambda | Data.DRS.Show, Data.DRS |
| opNeg | Data.DRS.Show, Data.DRS |
| opNegString | Data.DRS.Input.String, Data.DRS.Input, Data.DRS |
| opOr | Data.DRS.Show, Data.DRS |
| opOrString | Data.DRS.Input.String, Data.DRS.Input, Data.DRS |
| Or | |
| 1 (Data Constructor) | Data.DRS.DataType, Data.DRS |
| 2 (Data Constructor) | Data.FOL.Formula, Data.FOL |
| 3 (Data Constructor) | Data.PDRS.DataType, Data.PDRS |
| Parentheses | Data.DRS.Input.String, Data.DRS.Input, Data.DRS |
| path | Data.PDRS.ProjectionGraph, Data.PDRS |
| PCon | |
| 1 (Type/Class) | Data.PDRS.DataType, Data.PDRS |
| 2 (Data Constructor) | Data.PDRS.DataType, Data.PDRS |
| PDRS | |
| 1 (Type/Class) | Data.PDRS.DataType, Data.PDRS |
| 2 (Data Constructor) | Data.PDRS.DataType, Data.PDRS |
| pdrsAlphaConvert | Data.PDRS.LambdaCalculus, Data.PDRS |
| pdrsAMerge | Data.PDRS.Merge, Data.PDRS |
| PDRSAtom | Data.PDRS.LambdaCalculus, Data.PDRS |
| pdrsBetaReduce | Data.PDRS.LambdaCalculus, Data.PDRS |
| pdrsBoundPRef | Data.PDRS.Binding, Data.PDRS |
| pdrsBoundPVar | Data.PDRS.Binding, Data.PDRS |
| pdrsCombine | Data.PDRS.Merge, Data.PDRS |
| PDRSCon | Data.PDRS.DataType, Data.PDRS |
| pdrsConditions | Data.PDRS.Variables, Data.PDRS |
| pdrsDisjoin | Data.PDRS.Merge, Data.PDRS |
| pdrsFreePRefs | Data.PDRS.Binding, Data.PDRS |
| pdrsFreePVars | Data.PDRS.Binding, Data.PDRS |
| pdrsFunctionCompose | Data.PDRS.LambdaCalculus, Data.PDRS |
| pdrsIsAccessibleContext | Data.PDRS.ProjectionGraph, Data.PDRS |
| pdrsIsFreePVar | Data.PDRS.Binding, Data.PDRS |
| pdrsLabel | Data.PDRS.Variables, Data.PDRS |
| pdrsLabels | Data.PDRS.Variables, Data.PDRS |
| pdrsLambdas | Data.PDRS.Variables, Data.PDRS |
| pdrsLambdaVars | Data.PDRS.Variables, Data.PDRS |
| pdrsMAP | Data.PDRS.Variables, Data.PDRS |
| pdrsMAPs | Data.PDRS.Variables, Data.PDRS |
| PDRSNotation | Data.PDRS.Show, Data.PDRS |
| pdrsPBoundPRef | Data.PDRS.Binding, Data.PDRS |
| pdrsPMerge | Data.PDRS.Merge, Data.PDRS |
| pdrsPRefBoundByPRef | Data.PDRS.Binding, Data.PDRS |
| pdrsPurify | Data.PDRS.LambdaCalculus, Data.PDRS |
| pdrsPVars | Data.PDRS.Variables, Data.PDRS |
| PDRSRef | |
| 1 (Type/Class) | Data.PDRS.DataType, Data.PDRS |
| 2 (Data Constructor) | Data.PDRS.DataType, Data.PDRS |
| pdrsRefToDRSRef | Data.PDRS.Variables, Data.PDRS |
| pdrsRefToDRSVar | Data.PDRS.Variables, Data.PDRS |
| PDRSRel | |
| 1 (Type/Class) | Data.PDRS.DataType, Data.PDRS |
| 2 (Data Constructor) | Data.PDRS.DataType, Data.PDRS |
| pdrsRelToDRSRel | Data.PDRS.Variables, Data.PDRS |
| pdrsRelToString | Data.PDRS.Variables, Data.PDRS |
| pdrsResolve | Data.PDRS.Show, Data.PDRS |
| pdrsResolveMerges | Data.PDRS.Merge, Data.PDRS |
| pdrsToDRS | Data.PDRS.Translate, Data.PDRS |
| pdrsToFOL | Data.PDRS.Translate, Data.PDRS |
| pdrsToPTable | Data.PDRS.ProjectionTable, Data.PDRS |
| pdrsUniverse | Data.PDRS.Variables, Data.PDRS |
| pdrsUniverses | Data.PDRS.Variables, Data.PDRS |
| pdrsVariables | Data.PDRS.Variables, Data.PDRS |
| PGraph | Data.PDRS.ProjectionGraph, Data.PDRS |
| PMerge | Data.PDRS.DataType, Data.PDRS |
| PRef | |
| 1 (Type/Class) | Data.PDRS.DataType, Data.PDRS |
| 2 (Data Constructor) | Data.PDRS.DataType, Data.PDRS |
| printAMerge | Data.PDRS.Show, Data.PDRS |
| printDRS | Data.DRS.Show, Data.DRS |
| printDRSBetaReduct | Data.DRS.Show, Data.DRS |
| printDRSRefBetaReduct | Data.DRS.Show, Data.DRS |
| printFOLForm | Data.FOL.Show, Data.FOL, Data.DRS |
| printMerge | Data.DRS.Show, Data.DRS |
| printPDRS | Data.PDRS.Show, Data.PDRS |
| printPDRSBetaReduct | Data.PDRS.Show, Data.PDRS |
| printPDRSRefBetaReduct | Data.PDRS.Show, Data.PDRS |
| printPMerge | Data.PDRS.Show, Data.PDRS |
| printPTable | Data.PDRS.ProjectionTable, Data.PDRS |
| projectionGraph | Data.PDRS.ProjectionGraph, Data.PDRS |
| PrologDRS | Data.DRS.Input.Boxer, Data.DRS.Input, Data.DRS |
| Prop | |
| 1 (Data Constructor) | Data.DRS.DataType, Data.DRS |
| 2 (Data Constructor) | Data.PDRS.DataType, Data.PDRS |
| PTable | Data.PDRS.ProjectionTable, Data.PDRS |
| PTableContent | Data.PDRS.ProjectionTable, Data.PDRS |
| PTableItem | Data.PDRS.ProjectionTable, Data.PDRS |
| PVar | Data.PDRS.DataType, Data.PDRS |
| Rel | |
| 1 (Data Constructor) | Data.DRS.DataType, Data.DRS |
| 2 (Data Constructor) | Data.FOL.Formula, Data.FOL |
| 3 (Data Constructor) | Data.PDRS.DataType, Data.PDRS |
| renameVar | Data.DRS.LambdaCalculus, Data.DRS |
| replaceArrows | Data.DRS.Input.String, Data.DRS.Input, Data.DRS |
| replaceLambdas | Data.DRS.Input.Boxer, Data.DRS.Input, Data.DRS |
| Set | |
| 1 (Data Constructor) | Data.DRS.Show, Data.DRS |
| 2 (Data Constructor) | Data.PDRS.Show, Data.PDRS |
| ShowableDRS | Data.DRS.Show, Data.DRS |
| ShowablePDRS | Data.PDRS.Show, Data.PDRS |
| showAMerge | Data.PDRS.Show, Data.PDRS |
| showConcat | Data.DRS.Show, Data.DRS |
| showContent | Data.DRS.Show, Data.DRS |
| showDRS | Data.DRS.Show, Data.DRS |
| showDRSBetaReduct | Data.DRS.Show, Data.DRS |
| showDRSRefBetaReduct | Data.DRS.Show, Data.DRS |
| showFOLForm | Data.FOL.Show, Data.FOL, Data.DRS |
| showHorizontalLine | Data.DRS.Show, Data.DRS |
| showMerge | Data.DRS.Show, Data.DRS |
| showModifier | Data.DRS.Show, Data.DRS |
| showPadding | Data.DRS.Show, Data.DRS |
| showPDRS | Data.PDRS.Show, Data.PDRS |
| showPDRSBetaReduct | Data.PDRS.Show, Data.PDRS |
| showPDRSRefBetaReduct | Data.PDRS.Show, Data.PDRS |
| showPMerge | Data.PDRS.Show, Data.PDRS |
| showPTable | Data.PDRS.ProjectionTable, Data.PDRS |
| splitOn | Data.DRS.Input.String, Data.DRS.Input, Data.DRS |
| Square | Data.DRS.Input.String, Data.DRS.Input, Data.DRS |
| stringToDRS | Data.DRS.Input.String, Data.DRS.Input, Data.DRS |
| stringToPDRS | Data.PDRS.Input.String, Data.PDRS.Input, Data.PDRS |
| stripPVars | Data.PDRS.Translate, Data.PDRS |
| takeUpToMatchingBracket | Data.DRS.Input.String, Data.DRS.Input, Data.DRS |
| Top | Data.FOL.Formula, Data.FOL |
| vertices | Data.PDRS.ProjectionGraph, Data.PDRS |