www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

short.rkt (764B)

      1 #lang racket
      2 
      3 (require scope-operations)
      4 (provide scopes/c
      5          →scopes
      6          →scopes*
      7          ->scopes
      8          ->scopes*
      9          (rename-out [empty-scopes scopes0]
     10                      [scopes-add scopes+]
     11                      [scopes-add scopes∪]
     12                      [scopes-remove scopes-]
     13                      [scopes-flip scopes~]
     14                      [scopes-intersect scopes∩]
     15                      [scopes-symmetric-difference scopesΔ]
     16                      [scopes-symmetric-difference scopes⊖]
     17                      [scopes-symmetric-difference scopes⊕])
     18          single-scope?
     19          scope-kind
     20          use-site-scope?
     21          macro-scope?
     22          module-scope?
     23          intdef-scope?
     24          local-scope?
     25          top-scope?)