stdlib/source/library/lux/tool/compiler/meta/archive/key.lux


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

(.module:
  [library
   [lux "*"
    [type
     abstract]]]
  [//
   [signature {"+" [Signature]}]])

(abstract: .public (Key k)
  Signature

  [(def: .public signature
     (-> (Key Any) Signature)
     (|>> :representation))

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