| edges | Constrained.Graph |
| eitherSetSpec | Constrained.Examples.Set, Constrained.Examples |
| eitherSimpleSetSpec | Constrained.Examples.Set, Constrained.Examples |
| eitherSpec | Constrained.Examples.Either, Constrained.Examples |
| Elem | Constrained.TheKnot, Constrained.API |
| elemFn | Constrained.TheKnot |
| ElemPred | Constrained.Base, Constrained.API |
| elemSpec | Constrained.Examples.Map, Constrained.Examples |
| ElemW | |
| 1 (Type/Class) | Constrained.TheKnot |
| 2 (Data Constructor) | Constrained.TheKnot |
| elem_ | Constrained.TheKnot, Constrained.API |
| emptyEitherMemberSpec | Constrained.Examples.Set, Constrained.Examples |
| emptyEitherSpec | Constrained.Examples.Set, Constrained.Examples |
| emptyListSpec | Constrained.Examples.Set, Constrained.Examples |
| emptyNumSpec | Constrained.NumSpec |
| emptySetSpec | Constrained.Examples.Set, Constrained.Examples |
| emptySpec | Constrained.Base, Constrained.API |
| enumerateInterval | Constrained.SumList |
| Env | |
| 1 (Type/Class) | Constrained.Env |
| 2 (Data Constructor) | Constrained.Env |
| envFromPred | Constrained.Syntax |
| EnvKey | |
| 1 (Type/Class) | Constrained.Env |
| 2 (Data Constructor) | Constrained.Env |
| EnvValue | |
| 1 (Type/Class) | Constrained.Env |
| 2 (Data Constructor) | Constrained.Env |
| Equal | Constrained.TheKnot |
| equalSpec | Constrained.Base, Constrained.API |
| EqualW | Constrained.TheKnot |
| eqVar | Constrained.Core |
| EqW | Constrained.TheKnot |
| errorGE | Constrained.GenT |
| errorLikeMessage | Constrained.Base |
| ErrorSpec | Constrained.Base, Constrained.API |
| evenSpec | Constrained.Examples.Fold |
| Evidence | |
| 1 (Type/Class) | Constrained.Core |
| 2 (Data Constructor) | Constrained.Core |
| existentials | Constrained.Examples.CheatSheet |
| Exists | Constrained.Base, Constrained.API |
| exists | Constrained.Syntax, Constrained.API |
| existsUnfree | Constrained.Examples.Basic, Constrained.Examples |
| Explain | Constrained.Base, Constrained.API |
| explain | Constrained.GenT |
| explainNE | Constrained.GenT |
| ExplainSpec | Constrained.Base, Constrained.API |
| explainSpec | Constrained.Base |
| explainSpecOpt | Constrained.Base |
| explanation | Constrained.Syntax, Constrained.API |
| extendEnv | Constrained.Env |
| extractf | Constrained.Base |