new-luxc/source/luxc/lang/pattern.lux


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

(;module:
  lux)

(type: #export #rec Pattern
  (#Bind Nat)
  #Unit
  (#Bool Bool)
  (#Nat Nat)
  (#Int Int)
  (#Deg Deg)
  (#Real Real)
  (#Char Char)
  (#Text Text)
  (#Tuple (List Pattern))
  (#Variant [Nat Nat] Pattern))