on master help sign in
docs: id same-named headers
d6cf240Matilde Park
content/docs/arvo/eyre/scry.md+12−12
@@ -14,7 +14,7 @@ All examples are run from the dojo.
14
14
15An `x` scry with a `path` of `/cors` will return Eyre's CORS origin registry. The type returned is a [cors-registry](/docs/arvo/eyre/data-types#cors-registry) which contains the `set`s of approved, rejected and requested origins.
15An `x` scry with a `path` of `/cors` will return Eyre's CORS origin registry. The type returned is a [cors-registry](/docs/arvo/eyre/data-types#cors-registry) which contains the `set`s of approved, rejected and requested origins.
16
16
17−### Example
17+### Example {% #example-1 %}
18
18
19```
19```
20> .^(cors-registry:eyre %ex /=//=/cors)
20> .^(cors-registry:eyre %ex /=//=/cors)
@@ -28,7 +28,7 @@ An `x` scry with a `path` of `/cors` will return Eyre's CORS origin registry. Th
28
28
29An `x` scry with a `path` of `/cors/requests` will return the `set` of pending origin requests. These are origins that were in an `Origin: ...` HTTP header but weren't in the existing approved or rejected sets. The type returned is a `(set origin:eyre)`.
29An `x` scry with a `path` of `/cors/requests` will return the `set` of pending origin requests. These are origins that were in an `Origin: ...` HTTP header but weren't in the existing approved or rejected sets. The type returned is a `(set origin:eyre)`.
30
30
31−### Example
31+### Example {% #example-2 %}
32
32
33```
33```
34> .^(requests=(set origin:eyre) %ex /=//=/cors/requests)
34> .^(requests=(set origin:eyre) %ex /=//=/cors/requests)
@@ -39,7 +39,7 @@ requests={~~http~3a.~2f.~2f.baz~.example}
39
39
40An `x` scry with a `path` of `/cors/approved` will return the `set` of approved CORS origins. The type returned is a `(set origin:eyre)`.
40An `x` scry with a `path` of `/cors/approved` will return the `set` of approved CORS origins. The type returned is a `(set origin:eyre)`.
41
41
42−### Example
42+### Example {% #example-3 %}
43
43
44```
44```
45> .^(approved=(set origin:eyre) %ex /=//=/cors/approved)
45> .^(approved=(set origin:eyre) %ex /=//=/cors/approved)
@@ -52,7 +52,7 @@ An `x` scry whose `path` is `/cors/approved/{ORIGIN}` tests whether the given or
52
52
53The origin URL is a `@t`, but since `@t` may not be valid in a path, it must be encoded in a `@ta` using `+scot` like `(scot %t 'foo')` rather than just `'foo'`.
53The origin URL is a `@t`, but since `@t` may not be valid in a path, it must be encoded in a `@ta` using `+scot` like `(scot %t 'foo')` rather than just `'foo'`.
54
54
55−### Examples
55+### Examples {% #examples-1 %}
56
56
57```
57```
58> .^(? %ex /=//=/cors/approved/(scot %t 'http://foo.example'))
58> .^(? %ex /=//=/cors/approved/(scot %t 'http://foo.example'))
@@ -68,7 +68,7 @@ The origin URL is a `@t`, but since `@t` may not be valid in a path, it must be
68
68
69An `x` scry with a `path` of `/cors/rejected` will return the `set` of rejected CORS origins. The type returned is a `(set origin:eyre)`.
69An `x` scry with a `path` of `/cors/rejected` will return the `set` of rejected CORS origins. The type returned is a `(set origin:eyre)`.
70
70
71−### Example
71+### Example {% #example-4 %}
72
72
73```
73```
74> .^(rejected=(set origin:eyre) %ex /=//=/cors/rejected)
74> .^(rejected=(set origin:eyre) %ex /=//=/cors/rejected)
@@ -81,7 +81,7 @@ An `x` scry whose `path` is `/cors/rejected/{ORIGIN}` tests whether the given or
81
81
82The origin URL must be a cord-encoded `@t` rather than just the plain `@t`, so you'll have to do something like `(scot %t 'foo')` rather than just `'foo'`.
82The origin URL must be a cord-encoded `@t` rather than just the plain `@t`, so you'll have to do something like `(scot %t 'foo')` rather than just `'foo'`.
83
83
84−### Examples
84+### Examples {% #examples-2 %}
85
85
86```
86```
87> .^(? %ex /=//=/cors/rejected/(scot %t 'http://bar.example'))
87> .^(? %ex /=//=/cors/rejected/(scot %t 'http://bar.example'))
@@ -99,7 +99,7 @@ An `x` scry whose `path` is `/authenticated/cookie/{COOKIE}` tests whether the g
99
99
100The cookie must be the full cookie including the `urbauth-{SHIP}=` part. The cookie must be a cord-encoded `@t` rather than just a plain `@t`, so you'll have to do something like `(scot %t 'foo')` rather than just `'foo'`.
100The cookie must be the full cookie including the `urbauth-{SHIP}=` part. The cookie must be a cord-encoded `@t` rather than just a plain `@t`, so you'll have to do something like `(scot %t 'foo')` rather than just `'foo'`.
101
101
102−### Examples
102+### Examples {% #examples-3 %}
103
103
104```
104```
105> .^(? %ex /=//=/authenticated/cookie/(scot %t 'urbauth-~zod=0vvndn8.bfsjj.j3614.k40ha.8fomi'))
105> .^(? %ex /=//=/authenticated/cookie/(scot %t 'urbauth-~zod=0vvndn8.bfsjj.j3614.k40ha.8fomi'))
@@ -115,7 +115,7 @@ The cookie must be the full cookie including the `urbauth-{SHIP}=` part. The coo
115
115
116A scry with `bindings` in place of the `desk` in the `beak` will return Eyre's URL path bindings. The type returned is a `(list [binding:eyre duct action:eyre])` (see the [$binding](/docs/arvo/eyre/data-types#binding) & [$action](/docs/arvo/eyre/data-types#action) sections of the Data Types document for details).
116A scry with `bindings` in place of the `desk` in the `beak` will return Eyre's URL path bindings. The type returned is a `(list [binding:eyre duct action:eyre])` (see the [$binding](/docs/arvo/eyre/data-types#binding) & [$action](/docs/arvo/eyre/data-types#action) sections of the Data Types document for details).
117
117
118−### Example
118+### Example {% #example-5 %}
119
119
120```
120```
121> .^((list [binding:eyre duct action:eyre]) %e /=bindings=)
121> .^((list [binding:eyre duct action:eyre]) %e /=bindings=)
@@ -136,7 +136,7 @@ A scry with `bindings` in place of the `desk` in the `beak` will return Eyre's U
136
136
137A scry with `bindings` in place of the `desk` in the `beak` will return all open HTTP connections that aren't fully complete. The type returned is a `(map duct outstanding-connection:eyre)` (see the [$outstanding-connection](/docs/arvo/eyre/data-types#outstanding-connection) section of the Data Types document for details).
137A scry with `bindings` in place of the `desk` in the `beak` will return all open HTTP connections that aren't fully complete. The type returned is a `(map duct outstanding-connection:eyre)` (see the [$outstanding-connection](/docs/arvo/eyre/data-types#outstanding-connection) section of the Data Types document for details).
138
138
139−### Example
139+### Example {% #example-6 %}
140
140
141```
141```
142> .^((map duct outstanding-connection:eyre) %e /=connections=)
142> .^((map duct outstanding-connection:eyre) %e /=connections=)
@@ -147,7 +147,7 @@ A scry with `bindings` in place of the `desk` in the `beak` will return all open
147
147
148A scry with `authentication-state` in place of the `desk` in the `beak` will return authentication details of all current sessions. The type returned is a [$authentication-state](/docs/arvo/eyre/data-types#authentication-state). The `p` field is the cookie sans the `urbauth-{SHIP}=` part.
148A scry with `authentication-state` in place of the `desk` in the `beak` will return authentication details of all current sessions. The type returned is a [$authentication-state](/docs/arvo/eyre/data-types#authentication-state). The `p` field is the cookie sans the `urbauth-{SHIP}=` part.
149
149
150−### Example
150+### Example {% #example-7 %}
151
151
152```
152```
153> .^(authentication-state:eyre %e /=authentication-state=)
153> .^(authentication-state:eyre %e /=authentication-state=)
@@ -162,7 +162,7 @@ A scry with `authentication-state` in place of the `desk` in the `beak` will ret
162
162
163A scry with `channel-state` in place of the `desk` in the `beak` will return details of the state of each channel. The type returned is a [channel-state](/docs/arvo/eyre/data-types#channel-state).
163A scry with `channel-state` in place of the `desk` in the `beak` will return details of the state of each channel. The type returned is a [channel-state](/docs/arvo/eyre/data-types#channel-state).
164
164
165−### Example
165+### Example {% #example-8 %}
166
166
167```
167```
168> .^(channel-state:eyre %e /=channel-state=)
168> .^(channel-state:eyre %e /=channel-state=)
@@ -187,7 +187,7 @@ A scry with `channel-state` in place of the `desk` in the `beak` will return det
187
187
188A scry with `host` in place of the `desk` in the `beak` will return host details of the ship. The type returned is a `hart:eyre`.
188A scry with `host` in place of the `desk` in the `beak` will return host details of the ship. The type returned is a `hart:eyre`.
189
189
190−### Example
190+### Example {% #example-9 %}
191
191
192```
192```
193> .^(hart:eyre %e /=host=)
193> .^(hart:eyre %e /=host=)