aboutsummaryrefslogtreecommitdiff
path: root/source/lux/control/ord.lux
blob: 987356d22e75e5896bd15358eec4f6461c393197 (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
##  Copyright (c) Eduardo Julian. All rights reserved.
##  This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
##  If a copy of the MPL was not distributed with this file,
##  You can obtain one at http://mozilla.org/MPL/2.0/.

(;import lux
         (../eq #as E))

## [Signatures]
(defsig #export (Ord a)
  (: (E;Eq a)
     _eq)
  (do-template [<name>]
    [(: (-> a a Bool) <name>)]

    [<] [<=] [>] [>=]))

## [Constructors]
(def #export (ord$ eq < >)
  (All [a]
    (-> (E;Eq a) (-> a a Bool) (-> a a Bool) (Ord a)))
  (struct
    (def _eq eq)
    (def < <)
    (def (<= x y)
      (or (< x y)
          (:: eq (E;= x y))))
    (def > >)
    (def (>= x y)
      (or (> x y)
          (:: eq (E;= x y))))))

## [Functions]
(do-template [<name> <op>]
  [(def #export (<name> ord x y)
     (All [a]
       (-> (Ord a) a a a))
     (if (:: ord (<op> x y)) x y))]

  [max ;;>]
  [min ;;<])