blob: 279c3beb098f247d0b4713ee985199ba2b2c6532 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
(.module:
[library
[lux #*
[control
["." function]]]]
[//
["." equivalence (#+ Equivalence)]
[functor
["." contravariant]]])
(interface: .public (Order a)
(: (Equivalence a)
&equivalence)
(: (-> a a Bit)
<)
)
(type: .public (Comparison a)
(-> (Order a) a a Bit))
(def: .public (<= order parameter subject)
Comparison
(or (\ order < parameter subject)
(\ order = parameter subject)))
(def: .public (> order parameter subject)
Comparison
(\ order < subject parameter))
(def: .public (>= order parameter subject)
Comparison
(or (\ order < subject parameter)
(\ order = subject parameter)))
(type: .public (Choice a)
(-> (Order a) a a a))
(def: .public (min order x y)
Choice
(if (\ order < y x) x y))
(def: .public (max order x y)
Choice
(if (\ order < y x) y x))
(implementation: .public functor
(contravariant.Functor Order)
(def: (map f order)
(implementation
(def: &equivalence
(\ equivalence.functor map f (\ order &equivalence)))
(def: (< reference sample)
(\ order < (f reference) (f sample))))))
|
