aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/tool/compiler/meta/archive/key.lux
blob: ec6439aa7b5778efa7260511e8f385059e389079 (plain)
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: #export (Key k)
  Signature

  (def: #export signature
    (-> (Key Any) Signature)
    (|>> :representation))

  (def: #export (key signature sample)
    (All [d] (-> Signature d (Key d)))
    (:abstraction signature))
  )