17.14.2 Export Macros

8.16.0.1

17.14.2 Export Macros🔗ℹ

space

The space for bindings of identifiers that can be used within export for exports and export modifiers.

definition

Like expr.macro, but defines a macro for use in export.

expo.macro 'range $(from :: Int) .. $(to :: Int): $id':
  let [name, ...]:
    for List (i in from.unwrap()..to.unwrap()):
      Syntax.make_id(id +& i, id)
  'names: $name ...'

> namespace ns:
    export:
      range 1..4: cat
    def cat1 = "Felix"
    def cat2 = "Tom"
    def cat3 = "Scratchy"
> ns.cat3
"Scratchy"

definition

expo.modifier prefix_macro_patterns

option

~op_stx: id

~op_stx id

~export: exp_id

~export exp_id

Like defn.macro, but defines an identifier as an export modifier, and an optional ~export declaration provides an exp_id to be bound to the (opaque) export that is being modified.

expo.modifier 'not_greetings':
'except: hello hi'

> namespace n:
    export:
      not_greetings: all_defined
    def hello = "hello"
    def hi = "hi"
    def bye = "bye"
> n.bye
"bye"
> n.hello
hello: identifier not provided by n

value

def expo_meta.space :: SpaceMeta

Provided as meta.

A compile-time value that identifies the same space as expo. See also SpaceMeta.

syntax class

syntax_class expo_meta.Parsed:

kind: ~group

fields:

group

syntax class

syntax_class expo_meta.AfterPrefixParsed(op_name):

kind: ~group

fields:

group

[tail, ...]

syntax class

syntax_class expo_meta.AfterInfixParsed(op_name):

kind: ~group

fields:

group

[tail, ...]

syntax class

syntax_class expo_meta.NameStart:

kind: ~group

fields:

name

[head, ...]

[tail, ...]

Provided as meta.

Analogous to expr_meta.Parsed, expr_meta.AfterPrefixParsed, and expr_meta.AfterInfixParsed, but for exports.

syntax class

syntax_class expo_meta.ParsedModifier(exp):

kind: ~group

fields:

group

Analogous to expr_meta.Parsed, but parses an export modifier applied to an export. The result is a parsed modified export.

1	Notation and Conventions
2	Implicits and Context
3	Names and Definitions
4	Functions and Operators
5	Comparison and Branching
6	Objects and Annotations
7	Basic Data
8	Collections and Iteration
9	Object Protocols
10	Higher-Order Control
11	Code as Data
12	String Formatting and Matching
13	Input and Output
14	Operating System
15	Threads and Concurrency
16	Runtime System
17	Meta and Macros

17.1	Meta Definitions and Expressions
17.2	Spaces
17.3	Namespace Space
17.4	Definition Macros
17.5	Declaration Macros
17.6	Expression Macros
17.7	Assignment Macros
17.8	Binding Macros
17.9	Annotation Macros
17.10	Static Information
17.11	Dot Providers
17.12	Repetition Macros
17.13	Operator Orders
17.14	Form-Specific Macros
17.15	Syntax Objects in Macros
17.16	Syntax Parameters
17.17	Syntax Object Maps
17.18	Documentation Metadata

17.14.1	Import Macros
17.14.2	Export Macros
17.14.3	For Clause Macros
17.14.4	Sequence Macros
17.14.5	Reducer Macros
17.14.6	Class, Interface, and Veneer Clause Macros
17.14.7	Unquote Binding Macros
17.14.8	Syntax Class Clause Macros
17.14.9	Syntax Pattern Clause Macros
17.14.10	Entry Point Macros
17.14.11	Immediate Callee Macros
17.14.12	Map Configurations