| Finite | |
| 1 (Data Constructor) | Satchmo.SMT.Exotic.Semiring.Tropical |
| 2 (Data Constructor) | Satchmo.SMT.Exotic.Semiring.Fuzzy |
| 3 (Data Constructor) | Satchmo.SMT.Exotic.Semiring.Arctic |
| finite | Satchmo.SMT.Exotic.Dict |
| Fixed | Satchmo.SMT.Exotic.Natural |
| Flexible | Satchmo.SMT.Exotic.Natural |
| foldM1 | Satchmo.SMT.Exotic.Natural |
| for | Satchmo.SMT.Exotic.Tropical |
| forall | Satchmo.Boolean |
| fresh | |
| 1 (Function) | Satchmo.SMT.Exotic.Dict |
| 2 (Function) | Satchmo.MonadSAT, Satchmo.Boolean, Satchmo.SAT.Tmpfile, Satchmo.SAT, Satchmo.SAT.Mini |
| fresh_forall | Satchmo.MonadSAT, Satchmo.Boolean, Satchmo.SAT.Tmpfile, Satchmo.SAT |
| fromBinary | Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
| fromBooleans | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
| fromCoefficients | Satchmo.Polynomial |
| fromMonomials | Satchmo.PolynomialN |
| fromUnsigned | Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement |
| Full | Satchmo.SMT.Exotic.Semiring.Class, Satchmo.SMT.Exotic.Semiring |
| fullZip | Satchmo.Polynomial.Numeric |
| full_adder | Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed |
| fun2 | Satchmo.Boolean |
| fun3 | Satchmo.Boolean |
| Fuzzy | |
| 1 (Type/Class) | Satchmo.SMT.Exotic.Semiring.Fuzzy |
| 2 (Data Constructor) | Satchmo.SMT.Exotic.Domain |
| 3 (Type/Class) | Satchmo.SMT.Exotic.Fuzzy |
| 4 (Data Constructor) | Satchmo.SMT.Exotic.Fuzzy |