(_)
| 195 | */ |
| 196 | |
| 197 | export function getOrd(_) { |
| 198 | return makeOrd(getEqual(_).equals, y => x => |
| 199 | x === y |
| 200 | ? 0 |
| 201 | : O.isSome(x) |
| 202 | ? O.isSome(y) |
| 203 | ? _.compare(y.value)(x.value) |
| 204 | : 1 |
| 205 | : -1 |
| 206 | ); |
| 207 | } |
| 208 | export const filter = predicate => fa => |
| 209 | O.isNone(fa) ? O.none : predicate(fa.value) ? fa : O.none; |
| 210 | export const filterMap = f => ma => (O.isNone(ma) ? O.none : f(ma.value)); |