| :/\ | Data.Type.Predicate, Data.Type.Refine |
| :\/ | Data.Type.Predicate, Data.Type.Refine |
| Case | Data.Type.Predicate, Data.Type.Refine |
| ConstP | Data.Type.Predicate, Data.Type.Refine |
| covers | Topology.StoneSpace |
| deletes | Topology.StoneSpace |
| Embed | Data.SubType |
| Emptyset | Data.Searchable |
| EmptySubType | Data.SubType |
| eval | Data.Type.Predicate, Data.Type.Refine |
| exists | Data.Searchable |
| extent | Topology.StoneSpace |
| first | Data.Type.Predicate, Data.Type.Refine |
| forevery | Data.Searchable |
| Fst | Data.Type.Predicate, Data.Type.Refine |
| gDomain | Data.Type.Predicate, Data.Type.Refine |
| GEmbed | Data.SubType |
| GEmpty | Data.SubType |
| gpoint | Topology.StoneSpace |
| GRefine | Data.Type.Refine |
| grefine | Data.Type.Refine |
| gSpec | Topology.StoneSpace |
| GStone | |
| 1 (Type/Class) | Data.Type.Predicate, Data.Type.Refine |
| 2 (Data Constructor) | Data.Type.Predicate, Data.Type.Refine |
| GStoneSpace | Topology.StoneSpace |
| GSubType | Data.SubType |
| idGSubType | Data.SubType |
| idSubType | Data.SubType |
| insL | Data.Type.Predicate, Data.Type.Refine |
| insR | Data.Type.Predicate, Data.Type.Refine |
| intersection | Data.Searchable |
| K | Data.Searchable |
| list2K | Data.Searchable |
| mapConst | Data.Type.Predicate, Data.Type.Refine |
| mapGSubType | Data.SubType |
| mapMeta | Data.Type.Predicate, Data.Type.Refine |
| mapRec | Data.Type.Predicate, Data.Type.Refine |
| mapUF | Topology.StoneSpace |
| maybePattern | Topology.StoneSpace |
| member | Data.Searchable |
| MetaP | Data.Type.Predicate, Data.Type.Refine |
| Neg | Data.Type.Predicate, Data.Type.Refine |
| Nonempty | Data.Searchable |
| point | Topology.StoneSpace |
| Predicate | Data.Type.Predicate, Data.Type.Refine |
| principalUltrafilter | Topology.StoneSpace |
| RecP | Data.Type.Predicate, Data.Type.Refine |
| Refinable | Data.Type.Refine |
| refine | Data.Type.Refine |
| refineDeMorgan | Data.Type.Refine |
| refinedTypeDef | Data.Type.Refine |
| Refinement | Data.Type.Refine |
| restrict | Data.Searchable |
| runEmbedding | Data.SubType |
| runEmbeddingDynamic | Data.SubType |
| runGEmbedding | Data.SubType |
| runRefinement | Data.Type.Refine |
| second | Data.Type.Predicate, Data.Type.Refine |
| Snd | Data.Type.Predicate, Data.Type.Refine |
| SomeSubType | Data.SubType |
| spec | Topology.StoneSpace |
| StoneSpace | Topology.StoneSpace |
| subDomain | Data.SubType |
| toPattern | Topology.StoneSpace |
| Ultrafilter | Topology.StoneSpace |
| universalProd | Data.Type.Predicate, Data.Type.Refine |
| universalUnion | Data.Type.Predicate, Data.Type.Refine |
| Wildcard | Data.Type.Predicate, Data.Type.Refine |