| --> | Lattices.ResiduatedLattice |
| /\ | Lattices.ResiduatedLattice, Lattices.UnitIntervalStructures.Godel, Lattices.UnitIntervalStructures.Lukasiewicz, Lattices.UnitIntervalStructures.Product |
| <-- | Lattices.ResiduatedLattice |
| <--> | Lattices.ResiduatedLattice |
| alphaCut | FuzzySet |
| alphaCutModifier | Fuzzy.Sets.Cardinality |
| asym | Fuzzy.Relations.Properties |
| bot | Lattices.ResiduatedLattice, Lattices.UnitIntervalStructures.Godel, Lattices.UnitIntervalStructures.Lukasiewicz, Lattices.UnitIntervalStructures.Product |
| BoundedLattice | Lattices.ResiduatedLattice, Lattices.UnitIntervalStructures.Godel, Lattices.UnitIntervalStructures.Lukasiewicz, Lattices.UnitIntervalStructures.Product |
| circlet | Fuzzy.Relations.RelationComposition |
| complement | FuzzySet |
| constant | Fuzzy.Sets.MembershipFunctions |
| exponential | Fuzzy.Sets.MembershipFunctions |
| fromFunction | |
| 1 (Function) | Fuzzy.Sets.LSet |
| 2 (Function) | Fuzzy.Relations.LRelation |
| fromFuzzySet | Fuzzy.Relations.LRelation |
| fromGodelUnitInterval | Lattices.UnitIntervalStructures.Godel |
| fromList | Fuzzy.Relations.LRelation |
| fromLukasiewiczUnitInterval | Lattices.UnitIntervalStructures.Lukasiewicz |
| fromPairs | Fuzzy.Sets.LSet |
| fromProductUnitInterval | Lattices.UnitIntervalStructures.Product |
| FuzzySet | FuzzySet, Fuzzy.Sets.LSet, Fuzzy.Relations.LRelation |
| gaussian | Fuzzy.Sets.MembershipFunctions |
| gradedEquality | Fuzzy.Sets.Properties |
| gradedSubsethood | Fuzzy.Sets.Properties |
| identityModifier | Fuzzy.Sets.Cardinality |
| intersection | FuzzySet |
| intersections | FuzzySet |
| irref | Fuzzy.Relations.Properties |
| isCloseTo | Fuzzy.Relations.MembershipFunctions |
| isCrisp | Fuzzy.Sets.Properties |
| isEmpty | Fuzzy.Sets.Properties |
| isSingleton | Fuzzy.Sets.Properties |
| isUniversal | Fuzzy.Sets.Properties |
| linear | Fuzzy.Sets.MembershipFunctions |
| LRelation | |
| 1 (Type/Class) | Fuzzy.Relations.LRelation |
| 2 (Data Constructor) | Fuzzy.Relations.LRelation |
| LSet | |
| 1 (Type/Class) | Fuzzy.Sets.LSet |
| 2 (Data Constructor) | Fuzzy.Sets.LSet |
| member | FuzzySet, Fuzzy.Sets.LSet, Fuzzy.Relations.LRelation |
| mkEmptyRel | Fuzzy.Relations.LRelation |
| mkEmptySet | Fuzzy.Sets.LSet |
| mkFuzzySet | FuzzySet, Fuzzy.Relations.LRelation |
| mkGodelUnitInterval | Lattices.UnitIntervalStructures.Godel |
| mkLattice | Lattices.ResiduatedLattice, Lattices.UnitIntervalStructures.Godel, Lattices.UnitIntervalStructures.Lukasiewicz, Lattices.UnitIntervalStructures.Product |
| mkLukasiewiczUnitInterval | Lattices.UnitIntervalStructures.Lukasiewicz |
| mkProductUnitInterval | Lattices.UnitIntervalStructures.Product |
| mkSingletonRel | Fuzzy.Relations.LRelation |
| mkSingletonSet | Fuzzy.Sets.LSet |
| mkUnitInterval | Lattices.UnitInterval |
| mkUniversalRel | Fuzzy.Relations.LRelation |
| mkUniversalSet | Fuzzy.Sets.LSet |
| modifierFunction | Fuzzy.Sets.Cardinality |
| Nat | Lattices.ResiduatedLattice |
| negation | Lattices.ResiduatedLattice |
| normalizedSigmaCount | Fuzzy.Sets.Cardinality |
| power | Lattices.ResiduatedLattice |
| rectangular | Fuzzy.Sets.MembershipFunctions |
| ref | Fuzzy.Relations.Properties |
| ResiduatedLattice | Lattices.ResiduatedLattice |
| setResiduum | FuzzySet |
| setTnorm | FuzzySet |
| sigmaCount | Fuzzy.Sets.Cardinality |
| sigmaCountWithModifier | Fuzzy.Sets.Cardinality |
| sigmoid | Fuzzy.Sets.MembershipFunctions |
| sigmoidModifier | Fuzzy.Sets.Cardinality |
| square | Fuzzy.Relations.RelationComposition |
| strictEquality | Fuzzy.Sets.Properties |
| strictSubsethood | Fuzzy.Sets.Properties |
| subDiagonalModifier | Fuzzy.Sets.Cardinality |
| subproduct | Fuzzy.Relations.RelationComposition |
| superproduct | Fuzzy.Relations.RelationComposition |
| sym | Fuzzy.Relations.Properties |
| thresholdSigmaCount | Fuzzy.Sets.Cardinality |
| tnorm | Lattices.ResiduatedLattice |
| top | Lattices.ResiduatedLattice, Lattices.UnitIntervalStructures.Godel, Lattices.UnitIntervalStructures.Lukasiewicz, Lattices.UnitIntervalStructures.Product |
| toPairs | |
| 1 (Function) | Fuzzy.Sets.LSet |
| 2 (Function) | Fuzzy.Relations.LRelation |
| tra | Fuzzy.Relations.Properties |
| trapezoidal | Fuzzy.Sets.MembershipFunctions |
| triangular | Fuzzy.Sets.MembershipFunctions |
| truthDegrees | FuzzySet, Fuzzy.Relations.LRelation |
| UIGodel | |
| 1 (Type/Class) | Lattices.UnitIntervalStructures.Godel |
| 2 (Data Constructor) | Lattices.UnitIntervalStructures.Godel |
| UILukasiewicz | |
| 1 (Type/Class) | Lattices.UnitIntervalStructures.Lukasiewicz |
| 2 (Data Constructor) | Lattices.UnitIntervalStructures.Lukasiewicz |
| UIProduct | |
| 1 (Type/Class) | Lattices.UnitIntervalStructures.Product |
| 2 (Data Constructor) | Lattices.UnitIntervalStructures.Product |
| union | FuzzySet |
| unions | FuzzySet |
| UnitInterval | |
| 1 (Type/Class) | Lattices.UnitInterval |
| 2 (Data Constructor) | Lattices.UnitInterval |
| universe | FuzzySet, Fuzzy.Sets.LSet, Fuzzy.Relations.LRelation |
| universeCardinality | FuzzySet, Fuzzy.Relations.LRelation |
| \/ | Lattices.ResiduatedLattice, Lattices.UnitIntervalStructures.Godel, Lattices.UnitIntervalStructures.Lukasiewicz, Lattices.UnitIntervalStructures.Product |