@@ -14,7 +14,7 @@ All examples are run from the dojo.
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.
17−### Example
17+### Example {% #example-1 %}
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
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)`.
31−### Example
31+### Example {% #example-2 %}
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}
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)`.
42−### Example
42+### Example {% #example-3 %}
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
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'`.
55−### Examples
55+### Examples {% #examples-1 %}
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
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)`.
71−### Example
71+### Example {% #example-4 %}
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
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'`.
84−### Examples
84+### Examples {% #examples-2 %}
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
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'`.
102−### Examples
102+### Examples {% #examples-3 %}
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
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).
118−### Example
118+### Example {% #example-5 %}
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
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).
139−### Example
139+### Example {% #example-6 %}
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
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.
150−### Example
150+### Example {% #example-7 %}
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
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).
165−### Example
165+### Example {% #example-8 %}
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
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`.
190−### Example
190+### Example {% #example-9 %}
193> .^(hart:eyre %e /=host=)
193> .^(hart:eyre %e /=host=)