aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/synthesis.lux
blob: 4918916009c27a401a342268649dac2c3acf122e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
(;module:
  lux
  (.. ["lp" pattern]))

(type: #export #rec Synthesis
  #Unit
  (#Bool Bool)
  (#Nat Nat)
  (#Int Int)
  (#Deg Deg)
  (#Real Real)
  (#Char Char)
  (#Text Text)
  (#Variant Nat Bool Synthesis)
  (#Tuple (List Synthesis))
  (#Case (List [lp;Pattern Synthesis]))
  (#Function Nat Scope Synthesis)
  (#Call Synthesis (List Synthesis))
  (#Recur Nat (List Synthesis))
  (#Procedure Text (List Synthesis))
  (#Relative Ref)
  (#Absolute Ident))