embed | Data.Connection.Conn, Data.Connection.Class, Data.Connection |
embedL | Data.Connection.Class, Data.Connection |
embedR | Data.Connection.Class, Data.Connection |
endpts | Data.Order.Interval |
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 |