(E)
| 8 | import { makeOrd } from "../Ord"; |
| 9 | import * as P from "../Prelude"; |
| 10 | export function getEqual(E) { |
| 11 | return { |
| 12 | equals: y => x => |
| 13 | x === y || |
| 14 | (O.isNone(x) |
| 15 | ? O.isNone(y) |
| 16 | : O.isNone(y) |
| 17 | ? false |
| 18 | : E.equals(y.value)(x.value)) |
| 19 | }; |
| 20 | } |
| 21 | export function getShow(S) { |
| 22 | return { |
| 23 | show: ma => (O.isNone(ma) ? "none" : `some(${S.show(ma.value)})`) |