Index
| AddProp | Data.Refined |
| applyAxiom | Data.Refined |
| assumeProp | Data.Refined |
| Axiom | Data.Refined |
| checkProp | Data.Refined |
| estPropError | Data.Refined |
| estPropFail | Data.Refined |
| estPropTH | Data.Refined |
| estPropThrow | Data.Refined |
| followProp | Data.Refined |
| HasProp | Data.Refined |
| HasProps | Data.Refined |
| IdProp | Data.Refined |
| ProjectionProps | Data.Refined |
| Prop | Data.Refined |
| PropName | Data.Refined |
| PropProjection | Data.Refined |
| Refined | Data.Refined |
| refined | Data.Refined |
| RefinedException | |
| 1 (Type/Class) | Data.Refined |
| 2 (Data Constructor) | Data.Refined |
| rexpCallStack | Data.Refined |
| rexpIssue | Data.Refined |
| rexpPropName | Data.Refined |
| rexpValue | Data.Refined |
| selectProps | Data.Refined |
| unrefined | Data.Refined |
| V | Data.Refined |
| Via | Data.Refined |