17.14.1 Import Macros

8.15.0.12

17.14.1 Import Macros🔗ℹ

space

The space for bindings of identifiers that can be used within import for imports and import modifiers.

definition

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

impo.macro 'rkt $(name :: Identifier) $('/ $(next :: Identifier)') ...':
let str = to_string(name).append("/" +& next, ..., ".rkt")
'lib($(Syntax.make(str, name)))'

> import:
rkt racket/base
> base.add1(1)
2

definition

impo.modifier prefix_macro_patterns

option

~op_stx: id

~op_stx id

~import: imp_id

~import imp_id

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

impo.modifier 'as_rkt: $(name :: Identifier); ...':
  'rename:
     $name as $(Syntax.make_id("rkt_" +& name, name))
     ...'

> import:
    lib("racket/base.rkt"):
      as_rkt:
        add1
        sub1
> base.rkt_sub1(base.rkt_add1(1))
1

impo.modifier 'expose_as_rkt: $(name :: Identifier); ...':
  ~import imp
  let '$(ex_imp :: impo_meta.ParsedModifier(imp))':
    'expose: $name; ...'
  let '$(rn_imp :: impo_meta.ParsedModifier(ex_imp))':
    'as_rkt: $name; ...'
  rn_imp

> import:
    lib("racket/base.rkt"):
      expose_as_rkt:
        add1
        sub1
> rkt_sub1(rkt_add1(1))
1

syntax class

syntax_class impo_meta.Parsed:

kind: ~group

fields:

group

syntax class

syntax_class impo_meta.AfterPrefixParsed(op_name):

kind: ~group

fields:

group

[tail, ...]

syntax class

syntax_class impo_meta.AfterInfixParsed(op_name):

kind: ~group

fields:

group

[tail, ...]

syntax class

syntax_class impo_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 imports.

syntax class

syntax_class impo_meta.ParsedModifier(imp):

kind: ~group

fields:

group

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

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