embed | Data.Connection.Conn |
embedL | Data.Connection.Class, Data.Connection |
embedR | Data.Connection.Class, Data.Connection |
endpts | Data.Order.Interval |
epsilon | |
1 (Function) | Data.Connection.Float |
2 (Function) | Data.Connection.Double |
EQ | Data.Order |
Eq | Data.Order.Syntax |
equiv | Data.Lattice |
euclideanL | Data.Order.Property |
euclideanR | Data.Order.Property |
Extended | |
1 (Type/Class) | Data.Order.Extended |
2 (Data Constructor) | Data.Order.Extended |
extended | Data.Order.Extended |
Extremal | Data.Connection.Class, Data.Connection |