path: root/new-luxc/source/luxc/generator/procedure/common.jvm.lux

(;module:
  lux
  (lux (control [monad #+ do])
       (data [text]
             text/format
             (coll [list "L/" Functor<List> Monoid<List>]
                   ["D" dict]))
       [macro #+ Monad<Lux> with-gensyms]
       (macro [code]
              ["s" syntax #+ syntax:])
       [host])
  (luxc ["&" base]
        (lang ["la" analysis]
              ["ls" synthesis])
        ["&;" analyser]
        ["&;" synthesizer]
        (synthesizer [function])
        (generator ["&;" common]
                   ["&;" runtime]
                   (host ["$" jvm]
                         (jvm ["$t" type]
                              ["$d" def]
                              ["$i" inst])))))

(host;import java.lang.Long
  (#static MIN_VALUE Long)
  (#static MAX_VALUE Long))

(host;import java.lang.Double
  (#static MIN_VALUE Double)
  (#static MAX_VALUE Double)
  (#static NaN Double)
  (#static POSITIVE_INFINITY Double)
  (#static NEGATIVE_INFINITY Double))

## [Types]
(type: Generator
  (-> ls;Synthesis (Lux $;Inst)))

(type: Proc
  (-> Generator (List ls;Synthesis) (Lux $;Inst)))

(type: Bundle
  (D;Dict Text Proc))

(syntax: (Vector [size s;nat] elemT)
  (wrap (list (` [(~@ (list;repeat size elemT))]))))

(type: Nullary (-> (Vector +0 $;Inst) $;Inst))
(type: Unary   (-> (Vector +1 $;Inst) $;Inst))
(type: Binary  (-> (Vector +2 $;Inst) $;Inst))
(type: Trinary (-> (Vector +3 $;Inst) $;Inst))

## [Utils]
(def: $Object $;Type ($t;class "java.lang.Object" (list)))
(def: $Object-Array $;Type ($t;array +1 $Object))
(def: $String $;Type ($t;class "java.lang.String" (list)))
(def: $CharSequence $;Type ($t;class "java.lang.CharSequence" (list)))
(def: $Function $;Type ($t;class &runtime;function-name (list)))

(def: (install name unnamed)
  (-> Text (-> Text Proc)
      (-> Bundle Bundle))
  (D;put name (unnamed name)))

(def: (wrong-amount-error proc expected actual)
  (-> Text Nat Nat Text)
  (format "Wrong number of arguments for " (%t proc) "\n"
          "Expected: " (|> expected nat-to-int %i) "\n"
          "  Actual: " (|> actual nat-to-int %i)))

(syntax: (arity: [name s;local-symbol] [arity s;nat])
  (with-gensyms [g!proc g!name g!generate g!inputs]
    (do @
      [g!input+ (monad;seq @ (list;repeat arity (macro;gensym "input")))]
      (wrap (list (` (def: ((~ (code;local-symbol name)) (~ g!proc))
                       (-> (-> (Vector (~ (code;nat arity)) $;Inst) $;Inst)
                           (-> Text Proc))
                       (function [(~ g!name)]
                         (function [(~ g!generate) (~ g!inputs)]
                           (case (~ g!inputs)
                             (^ (list (~@ g!input+)))
                             (do macro;Monad<Lux>
                               [(~@ (|> g!input+
                                        (L/map (function [g!input]
                                                 (list g!input (` ((~ g!generate) (~ g!input))))))
                                        list;concat))]
                               ((~' wrap) ((~ g!proc) [(~@ g!input+)])))

                             (~' _)
                             (macro;fail (wrong-amount-error (~ g!name) +1 (list;size (~ g!inputs))))))))))))))

(arity: nullary +0)
(arity: unary +1)
(arity: binary +2)
(arity: trinary +3)

## [Instructions]
(def: lux-intI $;Inst (|>. $i;I2L ($i;wrap #$;Long)))
(def: jvm-intI $;Inst (|>. ($i;unwrap #$;Long) $i;L2I))

(def: (array-writeI arrayI idxI elemI)
  (-> $;Inst $;Inst $;Inst
      $;Inst)
  (|>. arrayI ($i;CHECKCAST ($t;descriptor $Object-Array))
       $i;DUP
       idxI jvm-intI
       elemI
       $i;AASTORE))

(def: (predicateI tester)
  (-> (-> $;Label $;Inst)
      $;Inst)
  (<| $i;with-label (function [@then])
      $i;with-label (function [@end])
      (|>. (tester @then)
           ($i;GETSTATIC "java.lang.Boolean" "FALSE" ($t;class "java.lang.Boolean" (list)))
           ($i;GOTO @end)
           ($i;label @then)
           ($i;GETSTATIC "java.lang.Boolean" "TRUE" ($t;class "java.lang.Boolean" (list)))
           ($i;label @end)
           )))

## [Procedures]
## [[Lux]]
(def: (lux//is [leftI rightI])
  Binary
  (|>. leftI
       rightI
       (predicateI $i;IF_ACMPEQ)))

(def: try-method
  $;Method
  ($t;method (list $Function) (#;Some $Object-Array) (list)))
(def: (lux//try riskyI)
  Unary
  (|>. riskyI
       ($i;CHECKCAST &runtime;function-name)
       ($i;INVOKESTATIC &runtime;runtime-name "try" try-method false)))

## [[Bits]]
(do-template [<name> <op>]
  [(def: (<name> [inputI maskI])
     Binary
     (|>. inputI ($i;unwrap #$;Long)
          maskI ($i;unwrap #$;Long)
          <op> ($i;wrap #$;Long)))]

  [bit//and $i;LAND]
  [bit//or  $i;LOR]
  [bit//xor $i;LXOR]
  )

(def: (bit//count inputI)
  Unary
  (|>. inputI ($i;unwrap #$;Long)
       ($i;INVOKESTATIC "java.lang.Long" "bitCount" ($t;method (list $t;long) (#;Some $t;int) (list)) false)
       lux-intI))

(do-template [<name> <op>]
  [(def: (<name> [inputI shiftI])
     Binary
     (|>. inputI ($i;unwrap #$;Long)
          shiftI jvm-intI
          <op>
          ($i;wrap #$;Long)))]

  [bit//shift-left           $i;LSHL]
  [bit//shift-right          $i;LSHR]
  [bit//unsigned-shift-right $i;LUSHR]
  )

## [[Arrays]]
(def: (array//new lengthI)
  Unary
  (|>. lengthI jvm-intI ($i;ANEWARRAY ($t;descriptor $Object))))

(def: (array//get [arrayI idxI])
  Binary
  (<| $i;with-label (function [@is-null])
      $i;with-label (function [@end])
      (|>. arrayI ($i;CHECKCAST ($t;descriptor $Object-Array))
           idxI jvm-intI
           $i;AALOAD
           $i;DUP
           ($i;IFNULL @is-null)
           &runtime;someI
           ($i;GOTO @end)
           ($i;label @is-null)
           $i;POP
           &runtime;noneI
           ($i;label @end))))

(def: (array//put [arrayI idxI elemI])
  Trinary
  (array-writeI arrayI idxI elemI))

(def: (array//remove [arrayI idxI])
  Binary
  (array-writeI arrayI idxI $i;NULL))

(def: (array//size arrayI)
  Unary
  (|>. arrayI ($i;CHECKCAST ($t;descriptor $Object-Array))
       $i;ARRAYLENGTH
       lux-intI))

## [[Numbers]]
(def: nat-method
  $;Method
  ($t;method (list $t;long $t;long) (#;Some $t;long) (list)))

(def: deg-method $;Method nat-method)

(def: compare-nat-method
  $;Method
  ($t;method (list $t;long $t;long) (#;Some $t;int) (list)))

(do-template [<name> <const> <wrapper>]
  [(def: (<name> _)
     Nullary
     (|>. <const> <wrapper>))]

  [nat//min                ($i;long 0)                             ($i;wrap #$;Long)]
  [nat//max                ($i;long -1)                            ($i;wrap #$;Long)]

  [int//min                ($i;long Long.MIN_VALUE)                ($i;wrap #$;Long)]
  [int//max                ($i;long Long.MAX_VALUE)                ($i;wrap #$;Long)]
  
  [frac//smallest          ($i;double Double.MIN_VALUE)            ($i;wrap #$;Double)]
  [frac//min               ($i;double (f.* -1.0 Double.MAX_VALUE)) ($i;wrap #$;Double)]
  [frac//max               ($i;double Double.MAX_VALUE)            ($i;wrap #$;Double)]
  [frac//not-a-number      ($i;double Double.NaN)                  ($i;wrap #$;Double)]
  [frac//positive-infinity ($i;double Double.POSITIVE_INFINITY)    ($i;wrap #$;Double)]
  [frac//negative-infinity ($i;double Double.NEGATIVE_INFINITY)    ($i;wrap #$;Double)]

  [deg//min                ($i;long 0)                             ($i;wrap #$;Long)]
  [deg//max                ($i;long -1)                            ($i;wrap #$;Long)]
  )

(do-template [<name> <unwrap> <wrap> <op>]
  [(def: (<name> [subjectI paramI])
     Binary
     (|>. subjectI <unwrap>
          paramI <unwrap>
          <op>
          <wrap>))]

  [int//add        ($i;unwrap #$;Long)   ($i;wrap #$;Long)   $i;LADD]
  [int//sub        ($i;unwrap #$;Long)   ($i;wrap #$;Long)   $i;LSUB]
  [int//mul        ($i;unwrap #$;Long)   ($i;wrap #$;Long)   $i;LMUL]
  [int//div        ($i;unwrap #$;Long)   ($i;wrap #$;Long)   $i;LDIV]
  [int//rem        ($i;unwrap #$;Long)   ($i;wrap #$;Long)   $i;LREM]
  
  [nat//add        ($i;unwrap #$;Long)   ($i;wrap #$;Long)   $i;LADD]
  [nat//sub        ($i;unwrap #$;Long)   ($i;wrap #$;Long)   $i;LSUB]
  [nat//mul        ($i;unwrap #$;Long)   ($i;wrap #$;Long)   $i;LMUL]
  [nat//div        ($i;unwrap #$;Long)   ($i;wrap #$;Long)
   ($i;INVOKESTATIC &runtime;runtime-name "div_nat" nat-method false)]
  [nat//rem        ($i;unwrap #$;Long)   ($i;wrap #$;Long)
   ($i;INVOKESTATIC &runtime;runtime-name "rem_nat" nat-method false)]

  [frac//add       ($i;unwrap #$;Double) ($i;wrap #$;Double) $i;DADD]
  [frac//sub       ($i;unwrap #$;Double) ($i;wrap #$;Double) $i;DSUB]
  [frac//mul       ($i;unwrap #$;Double) ($i;wrap #$;Double) $i;DMUL]
  [frac//div       ($i;unwrap #$;Double) ($i;wrap #$;Double) $i;DDIV]
  [frac//rem       ($i;unwrap #$;Double) ($i;wrap #$;Double) $i;DREM]

  [deg//add        ($i;unwrap #$;Long)   ($i;wrap #$;Long)   $i;LADD]
  [deg//sub        ($i;unwrap #$;Long)   ($i;wrap #$;Long)   $i;LSUB]
  [deg//mul        ($i;unwrap #$;Long)   ($i;wrap #$;Long)
   ($i;INVOKESTATIC &runtime;runtime-name "mul_deg" deg-method false)]
  [deg//div        ($i;unwrap #$;Long)   ($i;wrap #$;Long)
   ($i;INVOKESTATIC &runtime;runtime-name "div_deg" deg-method false)]
  [deg//rem        ($i;unwrap #$;Long)   ($i;wrap #$;Long)   $i;LSUB]
  [deg//scale      ($i;unwrap #$;Long)   ($i;wrap #$;Long)   $i;LMUL]
  [deg//reciprocal ($i;unwrap #$;Long)   ($i;wrap #$;Long)   $i;LDIV]
  )

(do-template [<eq> <lt> <unwrap> <cmp>]
  [(do-template [<name> <reference>]
     [(def: (<name> [subjectI paramI])
        Binary
        (|>. subjectI <unwrap>
             paramI <unwrap>
             <cmp>
             ($i;int <reference>)
             (predicateI $i;IF_ICMPEQ)))]
     [<eq>  0]
     [<lt> -1])]

  [nat//eq  nat//lt  ($i;unwrap #$;Long)   ($i;INVOKESTATIC &runtime;runtime-name "compare_nat" compare-nat-method false)]
  [int//eq  int//lt  ($i;unwrap #$;Long)   $i;LCMP]
  [frac//eq frac//lt ($i;unwrap #$;Double) $i;DCMPG]
  [deg//eq  deg//lt  ($i;unwrap #$;Long)   ($i;INVOKESTATIC &runtime;runtime-name "compare_nat" compare-nat-method false)]
  )

(do-template [<name> <prepare> <transform>]
  [(def: (<name> inputI)
     Unary
     (|>. inputI <prepare> <transform>))]

  [nat//to-int id id]
  [nat//to-char ($i;unwrap #$;Long)
   (<| ($i;INVOKESTATIC "java.lang.Character" "toString" ($t;method (list $t;char) (#;Some $String) (list)) false)
       $i;I2C $i;L2I)]
  
  [int//to-nat id id]
  [int//to-frac ($i;unwrap #$;Long) (<| ($i;wrap #$;Double) $i;L2D)]

  [frac//to-int ($i;unwrap #$;Double) (<| ($i;wrap #$;Long) $i;D2L)]
  [frac//to-deg ($i;unwrap #$;Double)
   (<| ($i;wrap #$;Long) ($i;INVOKESTATIC &runtime;runtime-name "frac_to_deg"
                                          ($t;method (list $t;double) (#;Some $t;long) (list)) false))]
  [frac//encode ($i;unwrap #$;Double)
   ($i;INVOKESTATIC "java.lang.Double" "toString" ($t;method (list $t;double) (#;Some $String) (list)) false)]
  [frac//decode ($i;CHECKCAST "java.lang.String")
   ($i;INVOKESTATIC &runtime;runtime-name "decode_frac" ($t;method (list $String) (#;Some $Object-Array) (list)) false)]

  [deg//to-frac ($i;unwrap #$;Long)
   (<| ($i;wrap #$;Double) ($i;INVOKESTATIC &runtime;runtime-name "deg_to_frac"
                                            ($t;method (list $t;long) (#;Some $t;double) (list)) false))]
  )

## [[Text]]
(do-template [<name> <class> <method> <post> <outputT>]
  [(def: (<name> inputI)
     Unary
     (|>. inputI
          ($i;CHECKCAST "java.lang.String")
          ($i;INVOKEVIRTUAL <class> <method> ($t;method (list) (#;Some <outputT>) (list)) false)
          <post>))]

  [text//size       "java.lang.String" "length"      lux-intI $t;int]
  [text//hash       "java.lang.Object" "hashCode"    lux-intI $t;int]
  [text//trim       "java.lang.String" "trim"        id       $String]
  [text//upper-case "java.lang.String" "toUpperCase" id       $String]
  [text//lower-case "java.lang.String" "toLowerCase" id       $String]
  )

(do-template [<name> <pre-subject> <pre-param> <op> <post>]
  [(def: (<name> [subjectI paramI])
     Binary
     (|>. subjectI <pre-subject>
          paramI <pre-param>
          <op> <post>))]

  [text//eq id id
   ($i;INVOKEVIRTUAL "java.lang.Object" "equals" ($t;method (list $Object) (#;Some $t;boolean) (list)) false)
   ($i;wrap #$;Boolean)]
  [text//lt ($i;CHECKCAST "java.lang.String") ($i;CHECKCAST "java.lang.String")
   ($i;INVOKEVIRTUAL "java.lang.String" "compareTo" ($t;method (list $String) (#;Some $t;int) (list)) false)
   (predicateI $i;IF_ICMPEQ)]
  [text//append ($i;CHECKCAST "java.lang.String") ($i;CHECKCAST "java.lang.String")
   ($i;INVOKEVIRTUAL "java.lang.String" "concat" ($t;method (list $String) (#;Some $String) (list)) false)
   id]
  [text//contains? ($i;CHECKCAST "java.lang.String") ($i;CHECKCAST "java.lang.String")
   ($i;INVOKEVIRTUAL "java.lang.String" "contains" ($t;method (list $CharSequence) (#;Some $t;boolean) (list)) false)
   ($i;wrap #$;Boolean)]
  [text//char ($i;CHECKCAST "java.lang.String") jvm-intI
   ($i;INVOKESTATIC &runtime;runtime-name "text_char" ($t;method (list $String $t;int) (#;Some $t;int) (list)) false)
   lux-intI]
  )

(do-template [<name> <pre-subject> <pre-param> <pre-extra> <op>]
  [(def: (<name> [subjectI paramI extraI])
     Trinary
     (|>. subjectI <pre-subject>
          paramI <pre-param>
          extraI <pre-extra>
          <op>))]

  [text//clip ($i;CHECKCAST "java.lang.String") jvm-intI jvm-intI
   ($i;INVOKESTATIC &runtime;runtime-name "text_clip"
                    ($t;method (list $String $t;int $t;int) (#;Some $Object-Array) (list)) false)]
  [text//replace ($i;CHECKCAST "java.lang.String") ($i;CHECKCAST "java.lang.String") ($i;CHECKCAST "java.lang.String")
   ($i;INVOKEVIRTUAL "java.lang.String" "replace" ($t;method (list $CharSequence $CharSequence) (#;Some $String) (list)) false)]
  )

(def: index-method $;Method ($t;method (list $String $t;int) (#;Some $t;int) (list)))
(do-template [<name> <method>]
  [(def: (<name> [textI partI startI])
     Trinary
     (<| $i;with-label (function [@not-found])
         $i;with-label (function [@end])
         (|>. textI ($i;CHECKCAST "java.lang.String")
              partI ($i;CHECKCAST "java.lang.String")
              startI jvm-intI
              ($i;INVOKEVIRTUAL "java.lang.String" <method> index-method false)
              $i;DUP
              ($i;int -1)
              ($i;IF_ICMPEQ @not-found)
              lux-intI
              &runtime;someI
              ($i;GOTO @end)
              ($i;label @not-found)
              $i;POP
              &runtime;noneI
              ($i;label @end))))]

  [text//index      "indexOf"]
  [text//last-index "lastIndexOf"]
  )

## [[Math]]
(def: math-unary-method ($t;method (list $t;double) (#;Some $t;double) (list)))
(def: math-binary-method ($t;method (list $t;double $t;double) (#;Some $t;double) (list)))

(do-template [<name> <method>]
  [(def: (<name> inputI)
     Unary
     (|>. inputI
          ($i;unwrap #$;Double)
          ($i;INVOKESTATIC "java.lang.Math" <method> math-unary-method false)
          ($i;wrap #$;Double)))]

  [math//cos "cos"]
  [math//sin "sin"]
  [math//tan "tan"]
  [math//acos "acos"]
  [math//asin "asin"]
  [math//atan "atan"]
  [math//cosh "cosh"]
  [math//sinh "sinh"]
  [math//tanh "tanh"]
  [math//exp "exp"]
  [math//log "log"]
  [math//root2 "sqrt"]
  [math//root3 "cbrt"]
  [math//ceil "ceil"]
  [math//floor "floor"]
  )

(do-template [<name> <method>]
  [(def: (<name> [inputI paramI])
     Binary
     (|>. inputI ($i;unwrap #$;Double)
          paramI ($i;unwrap #$;Double)
          ($i;INVOKESTATIC "java.lang.Math" <method> math-binary-method false)
          ($i;wrap #$;Double)))]

  [math//atan2 "atan2"]
  [math//pow "pow"]
  )

(def: (math//round inputI)
  Unary
  (|>. inputI
       ($i;unwrap #$;Double)
       ($i;INVOKESTATIC "java.lang.Math" "round" ($t;method (list $t;double) (#;Some $t;long) (list)) false)
       $i;L2D
       ($i;wrap #$;Double)))

## [[IO]]
(def: string-method $;Method ($t;method (list $String) #;None (list)))
(def: (io//log messageI)
  Unary
  (|>. ($i;GETSTATIC "java.lang.System" "out" ($t;class "java.io.PrintStream" (list)))
       messageI
       ($i;CHECKCAST "java.lang.String")
       ($i;INVOKEVIRTUAL "java.io.PrintStream" "println" string-method false)
       ($i;string &runtime;unit)))

(def: (io//error messageI)
  Unary
  (|>. ($i;NEW "java.lang.Error")
       $i;DUP
       messageI
       ($i;CHECKCAST "java.lang.String")
       ($i;INVOKESPECIAL "java.lang.Error" "<init>" string-method false)
       $i;ATHROW))

(def: (io//exit codeI)
  Unary
  (|>. codeI jvm-intI
       ($i;INVOKESTATIC "java.lang.System" "exit" ($t;method (list $t;int) #;None (list)) false)
       $i;NULL))

(def: (io//current-time [])
  Nullary
  (|>. ($i;INVOKESTATIC "java.lang.System" "currentTimeMillis" ($t;method (list) (#;Some $t;long) (list)) false)
       ($i;wrap #$;Long)))

## [[Atoms]]
(def: atom-class Text "java.util.concurrent.atomic.AtomicReference")
(def: (atom//new initI)
  Unary
  (|>. ($i;NEW atom-class)
       $i;DUP
       initI
       ($i;INVOKESPECIAL atom-class "<init>" ($t;method (list $Object) #;None (list)) false)))

(def: (atom//read atomI)
  Unary
  (|>. atomI
       ($i;CHECKCAST atom-class)
       ($i;INVOKEVIRTUAL atom-class "get" ($t;method (list) (#;Some $Object) (list)) false)))

(def: (atom//compare-and-swap [atomI oldI newI])
  Trinary
  (|>. atomI
       ($i;CHECKCAST atom-class)
       oldI
       newI
       ($i;INVOKEVIRTUAL atom-class "compareAndSet" ($t;method (list $Object $Object) (#;Some $t;boolean) (list)) false)
       ($i;wrap #$;Boolean)))

## [[Processes]]
(def: (process//concurrency-level [])
  Nullary
  (|>. ($i;GETSTATIC &runtime;runtime-name "concurrency_level" $t;int)
       lux-intI))

(def: (process//future procedureI)
  Unary
  (|>. procedureI ($i;CHECKCAST &runtime;function-name)
       ($i;INVOKESTATIC &runtime;runtime-name "future"
                        ($t;method (list $Function) (#;Some $Object) (list)) false)))

(def: (process//schedule [millisecondsI procedureI])
  Binary
  (|>. millisecondsI ($i;unwrap #$;Long)
       procedureI ($i;CHECKCAST &runtime;function-name)
       ($i;INVOKESTATIC &runtime;runtime-name "schedule"
                        ($t;method (list $t;long $Function) (#;Some $Object) (list)) false)))

## [Bundles]
(def: lux-procs
  Bundle
  (|> (D;new text;Hash<Text>)
      (install "lux is" (binary lux//is))
      (install "lux try" (unary lux//try))))

(def: bit-procs
  Bundle
  (|> (D;new text;Hash<Text>)
      (install "bit count" (unary bit//count))
      (install "bit and" (binary bit//and))
      (install "bit or" (binary bit//or))
      (install "bit xor" (binary bit//xor))
      (install "bit shift-left" (binary bit//shift-left))
      (install "bit unsigned-shift-right" (binary bit//unsigned-shift-right))
      (install "bit shift-right" (binary bit//shift-right))
      ))

(def: nat-procs
  Bundle
  (|> (D;new text;Hash<Text>)
      (install "nat +" (binary nat//add))
      (install "nat -" (binary nat//sub))
      (install "nat *" (binary nat//mul))
      (install "nat /" (binary nat//div))
      (install "nat %" (binary nat//rem))
      (install "nat =" (binary nat//eq))
      (install "nat <" (binary nat//lt))
      (install "nat min" (nullary nat//min))
      (install "nat max" (nullary nat//max))
      (install "nat to-int" (unary nat//to-int))
      (install "nat to-char" (unary nat//to-char))))

(def: int-procs
  Bundle
  (|> (D;new text;Hash<Text>)
      (install "int +" (binary int//add))
      (install "int -" (binary int//sub))
      (install "int *" (binary int//mul))
      (install "int /" (binary int//div))
      (install "int %" (binary int//rem))
      (install "int =" (binary int//eq))
      (install "int <" (binary int//lt))
      (install "int min" (nullary int//min))
      (install "int max" (nullary int//max))
      (install "int to-nat" (unary int//to-nat))
      (install "int to-frac" (unary int//to-frac))))

(def: deg-procs
  Bundle
  (|> (D;new text;Hash<Text>)
      (install "deg +" (binary deg//add))
      (install "deg -" (binary deg//sub))
      (install "deg *" (binary deg//mul))
      (install "deg /" (binary deg//div))
      (install "deg %" (binary deg//rem))
      (install "deg =" (binary deg//eq))
      (install "deg <" (binary deg//lt))
      (install "deg scale" (binary deg//scale))
      (install "deg reciprocal" (binary deg//reciprocal))
      (install "deg min" (nullary deg//min))
      (install "deg max" (nullary deg//max))
      (install "deg to-frac" (unary deg//to-frac))))

(def: frac-procs
  Bundle
  (|> (D;new text;Hash<Text>)
      (install "frac +" (binary frac//add))
      (install "frac -" (binary frac//sub))
      (install "frac *" (binary frac//mul))
      (install "frac /" (binary frac//div))
      (install "frac %" (binary frac//rem))
      (install "frac =" (binary frac//eq))
      (install "frac <" (binary frac//lt))
      (install "frac smallest" (nullary frac//smallest))
      (install "frac min" (nullary frac//min))
      (install "frac max" (nullary frac//max))
      (install "frac not-a-number" (nullary frac//not-a-number))
      (install "frac positive-infinity" (nullary frac//positive-infinity))
      (install "frac negative-infinity" (nullary frac//negative-infinity))
      (install "frac to-deg" (unary frac//to-deg))
      (install "frac to-int" (unary frac//to-int))
      (install "frac encode" (unary frac//encode))
      (install "frac decode" (unary frac//decode))))

(def: text-procs
  Bundle
  (|> (D;new text;Hash<Text>)
      (install "text =" (binary text//eq))
      (install "text <" (binary text//lt))
      (install "text append" (binary text//append))
      (install "text index" (trinary text//index))
      (install "text size" (unary text//size))
      (install "text hash" (unary text//hash))
      (install "text replace" (trinary text//replace))
      (install "text char" (binary text//char))
      (install "text clip" (trinary text//clip))
      ))

(def: array-procs
  Bundle
  (|> (D;new text;Hash<Text>)
      (install "array new" (unary array//new))
      (install "array get" (binary array//get))
      (install "array put" (trinary array//put))
      (install "array remove" (binary array//remove))
      (install "array size" (unary array//size))
      ))

(def: math-procs
  Bundle
  (|> (D;new text;Hash<Text>)
      (install "math cos" (unary math//cos))
      (install "math sin" (unary math//sin))
      (install "math tan" (unary math//tan))
      (install "math acos" (unary math//acos))
      (install "math asin" (unary math//asin))
      (install "math atan" (unary math//atan))
      (install "math cosh" (unary math//cosh))
      (install "math sinh" (unary math//sinh))
      (install "math tanh" (unary math//tanh))
      (install "math exp" (unary math//exp))
      (install "math log" (unary math//log))
      (install "math root2" (unary math//root2))
      (install "math root3" (unary math//root3))
      (install "math ceil" (unary math//ceil))
      (install "math floor" (unary math//floor))
      (install "math round" (unary math//round))
      (install "math atan2" (binary math//atan2))
      (install "math pow" (binary math//pow))
      ))

(def: io-procs
  Bundle
  (|> (D;new text;Hash<Text>)
      (install "io log" (unary io//log))
      (install "io error" (unary io//error))
      (install "io exit" (unary io//exit))
      (install "io current-time" (nullary io//current-time))))

(def: atom-procs
  Bundle
  (|> (D;new text;Hash<Text>)
      (install "atom new" (unary atom//new))
      (install "atom read" (unary atom//read))
      (install "atom compare-and-swap" (trinary atom//compare-and-swap))))

(def: process-procs
  Bundle
  (|> (D;new text;Hash<Text>)
      (install "process concurrency-level" (nullary process//concurrency-level))
      (install "process future" (unary process//future))
      (install "process schedule" (binary process//schedule))
      ))

(def: #export procedures
  Bundle
  (|> (D;new text;Hash<Text>)
      (D;merge lux-procs)
      (D;merge bit-procs)
      (D;merge nat-procs)
      (D;merge int-procs)
      (D;merge deg-procs)
      (D;merge frac-procs)
      (D;merge text-procs)
      (D;merge array-procs)
      (D;merge math-procs)
      (D;merge io-procs)
      (D;merge atom-procs)
      (D;merge process-procs)
      ))