aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/tool/compiler/meta/archive/key.lux
blob: 86d8cfe9e87ab8434388061550cdecc08a3d8d96 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
(.using
 [library
  [lux "*"
   [type
    [primitive "*"]]]]
 [//
  [signature {"+" Signature}]])

(primitive: .public (Key k)
  Signature

  (def: .public signature
    (All (_ ?) (-> (Key ?) Signature))
    (|>> representation))

  (def: .public (key signature sample)
    (All (_ d) (-> Signature d (Key d)))
    (abstraction signature))
  )