Urbit Docs
  • What is Urbit?
  • Get on Urbit
  • Build on Urbit
    • Contents
    • Environment Setup
    • Hoon School
      • 1. Hoon Syntax
      • 2. Azimuth (Urbit ID)
      • 3. Gates (Functions)
      • 4. Molds (Types)
      • 5. Cores
      • 6. Trees and Addressing
      • 7. Libraries
      • 8. Testing Code
      • 9. Text Processing I
      • 10. Cores and Doors
      • 11. Data Structures
      • 12. Type Checking
      • 13. Conditional Logic
      • 14. Subject-Oriented Programming
      • 15. Text Processing II
      • 16. Functional Programming
      • 17. Text Processing III
      • 18. Generic and Variant Cores
      • 19. Mathematics
    • App School I
      • 1. Arvo
      • 2. The Agent Core
      • 3. Imports and Aliases
      • 4. Lifecycle
      • 5. Cards
      • 6. Pokes
      • 7. Structures and Marks
      • 8. Subscriptions
      • 9. Vanes
      • 10. Scries
      • 11. Failure
      • 12. Next Steps
      • Appendix: Types
    • App School II (Full-Stack)
      • 1. Types
      • 2. Agent
      • 3. JSON
      • 4. Marks
      • 5. Eyre
      • 6. React app setup
      • 7. React app logic
      • 8. Desk and glob
      • 9. Summary
    • Core Academy
      • 1. Evaluating Nock
      • 2. Building Hoon
      • 3. The Core Stack
      • 4. Arvo I: The Main Sequence
      • 5. Arvo II: The Boot Sequence
      • 6. Vere I: u3 and the Serf
      • 7. Vere II: The Loom
      • 8. Vanes I: Behn, Dill, Kahn, Lick
      • 9. Vanes II: Ames
      • 10. Vanes III: Eyre, Iris
      • 11. Vanes IV: Clay
      • 12. Vanes V: Gall and Userspace
      • 13. Vanes VI: Khan, Lick
      • 14. Vanes VII: Jael, Azimuth
    • Runtime
      • U3
      • Conn.c Guide
      • How to Write a Jet
      • API Overview by Prefix
      • C in Urbit
      • Cryptography
      • Land of Nouns
    • Tools
      • Useful Links
      • JS Libraries
        • HTTP API
      • Docs App
        • File Format
        • Index File
        • Suggested Structure
    • Userspace
      • Command-Line App Tutorial
      • Remote Scry
      • Unit Tests
      • Software Distribution
        • Software Distribution Guide
        • Docket File
        • Glob
      • Examples
        • Building a CLI App
        • Debugging Wrapper
        • Host a Website
        • Serving a JS Game
        • Ship Monitoring
        • Styled Text
  • Urbit ID
    • What is Urbit ID?
    • Azimuth Data Flow
    • Life and Rift
    • Urbit HD Wallet
    • Advanced Azimuth Tools
    • Custom Roller Tutorial
    • Azimuth.eth Reference
    • Ecliptic.eth Reference
    • Layer 2
      • L2 Actions
      • L2 Rollers
      • L2 Roller HTTP RPC-API
      • L2 Transaction Format
  • Urbit OS
    • What is Urbit OS?
    • Base
      • Hood
      • Threads
        • Basics Tutorial
          • Bind
          • Fundamentals
          • Input
          • Output
          • Summary
        • HTTP API Guide
        • Spider API Reference
        • Strandio Reference
        • Examples
          • Child Thread
          • Fetch JSON
          • Gall
            • Poke Thread
            • Start Thread
            • Stop Thread
            • Take Facts
            • Take Result
          • Main-loop
          • Poke Agent
          • Scry
          • Take Fact
    • Kernel
      • Arvo
        • Cryptography
        • Move Trace
        • Scries
        • Subscriptions
      • Ames
        • Ames API Reference
        • Ames Cryptography
        • Ames Data Types
        • Ames Scry Reference
      • Behn
        • Behn API Reference
        • Behn Examples
        • Behn Scry Reference
      • Clay
        • Clay API Reference
        • Clay Architecture
        • Clay Data Types
        • Clay Examples
        • Clay Scry Reference
        • Filesystem Hierarchy
        • Marks
          • Mark Examples
          • Using Marks
          • Writing Marks
        • Using Clay
      • Dill
        • Dill API Reference
        • Dill Data Types
        • Dill Scry Reference
      • Eyre
        • EAuth
        • Eyre Data Types
        • Eyre External API
        • Eyre Internal API
        • Eyre Scry Reference
        • Low-Level Eyre Guide
        • Noun channels
      • Gall
        • Gall API Reference
        • Gall Data Types
        • Gall Scry Reference
      • Iris
        • Iris API Reference
        • Iris Data Types
        • Iris Example
      • Jael
        • Jael API Reference
        • Jael Data Types
        • Jael Examples
        • Jael Scry Reference
      • Khan
        • Khan API Reference
        • Khan Data Types
        • Khan Example
      • Lick
        • Lick API Reference
        • Lick Guide
        • Lick Examples
        • Lick Scry Reference
  • Hoon
    • Why Hoon?
    • Advanced Types
    • Arvo
    • Auras
    • Basic Types
    • Cheat Sheet
    • Cryptography
    • Examples
      • ABC Blocks
      • Competitive Programming
      • Emirp
      • Gleichniszahlenreihe
      • Islands
      • Luhn Number
      • Minimum Path Sum
      • Phone Letters
      • Restore IP
      • Rhonda Numbers
      • Roman Numerals
      • Solitaire Cipher
      • Water Towers
    • Generators
    • Hoon Errors
    • Hoon Style Guide
    • Implementing an Aura
    • Irregular forms
    • JSON
    • Limbs and wings
      • Limbs
      • Wings
    • Mips (Maps of Maps)
    • Parsing Text
    • Runes
      • | bar · Cores
      • $ buc · Structures
      • % cen · Calls
      • : col · Cells
      • . dot · Nock
      • / fas · Imports
      • ^ ket · Casts
      • + lus · Arms
      • ; mic · Make
      • ~ sig · Hints
      • = tis · Subject
      • ? wut · Conditionals
      • ! zap · Wild
      • Constants (Atoms and Strings)
      • --, == · Terminators
    • Sail (HTML)
    • Serialization
    • Sets
    • Standard Library
      • 1a: Basic Arithmetic
      • 1b: Tree Addressing
      • 1c: Molds and Mold-Builders
      • 2a: Unit Logic
      • 2b: List Logic
      • 2c: Bit Arithmetic
      • 2d: Bit Logic
      • 2e: Insecure Hashing
      • 2f: Noun Ordering
      • 2g: Unsigned Powers
      • 2h: Set Logic
      • 2i: Map Logic
      • 2j: Jar and Jug Logic
      • 2k: Queue Logic
      • 2l: Container from Container
      • 2m: Container from Noun
      • 2n: Functional Hacks
      • 2o: Normalizing Containers
      • 2p: Serialization
      • 2q: Molds and Mold-Builders
      • 3a: Modular and Signed Ints
      • 3b: Floating Point
      • 3c: Urbit Time
      • 3d: SHA Hash Family
      • 3e: AES encryption (Removed)
      • 3f: Scrambling
      • 3g: Molds and Mold-Builders
      • 4a: Exotic Bases
      • 4b: Text Processing
      • 4c: Tank Printer
      • 4d: Parsing (Tracing)
      • 4e: Parsing (Combinators)
      • 4f: Parsing (Rule-Builders)
      • 4g: Parsing (Outside Caller)
      • 4h: Parsing (ASCII Glyphs)
      • 4i: Parsing (Useful Idioms)
      • 4j: Parsing (Bases and Base Digits)
      • 4k: Atom Printing
      • 4l: Atom Parsing
      • 4m: Formatting Functions
      • 4n: Virtualization
      • 4o: Molds
      • 5a: Compiler Utilities
      • 5b: Macro Expansion
      • 5c: Compiler Backend & Prettyprinter
      • 5d: Parser
      • 5e: Molds and mold builders
      • 5f: Profiling support
    • Strings
    • The Engine Pattern
    • Udon (Markdown-esque)
    • Vases
    • Zuse
      • 2d(1-5): To JSON, Wains
      • 2d(6): From JSON
      • 2d(7): From JSON (unit)
      • 2e(2-3): Print & Parse JSON
      • 2m: Ordered Maps
  • Nock
    • What is Nock?
    • Decrement
    • Definition
    • Fast Hints and Jets
    • Implementations
    • Specification
  • User Manual
    • Contents
    • Running Urbit
      • Cloud Hosting
      • Home Servers
      • Runtime Reference
      • Self-hosting S3 Storage with MinIO
    • Urbit ID
      • Bridge Troubleshooting
      • Creating an Invite Pool
      • Get an Urbit ID
      • Guide to Factory Resets
      • HD Wallet (Master Ticket)
      • Layer 2 for planets
      • Layer 2 for stars
      • Proxies
      • Using Bridge
    • Urbit OS
      • Basics
      • Configuring S3 Storage
      • Dojo Tools
      • Filesystem
      • Shell
      • Ship Troubleshooting
      • Star and Galaxy Operations
      • Updates
Powered by GitBook

GitHub

  • Urbit ID
  • Urbit OS
  • Runtime

Resources

  • YouTube
  • Whitepaper
  • Awesome Urbit

Contact

  • X
  • Email
  • Gather
On this page
  • %live
  • %rule
  • %request
  • %request-local
  • %cancel-request
  • %connect
  • %serve
  • %disconnect
  • %code-changed
  • %approve-origin
  • %reject-origin
  • %set-response
Edit on GitHub
  1. Urbit OS
  2. Kernel
  3. Eyre

Eyre Internal API

This document details all the tasks you're likely to use to interact with Eyre, as well as the gifts you'll receive in response.

The primary way of interacting with Eyre is from the outside with HTTP requests. As a result, most of its tasks are only used internally and you're unlikely to need to deal with them directly. The ones you may want to use in certain cases are %connect, %serve, %disconnect, %approve-origin and %reject-origin, and they are also demonstrated in the Guide document. The rest are just documented for completeness.

Many of the types referenced are detailed in the Data Types document. It may also be useful to look at the +eyre section of /sys/lull.hoon in Arvo where these tasks, gifts and data structures are defined.

%live

[%live insecure=@ud secure=(unit @ud)]

This task notifies Eyre of the listening HTTPS and HTTP ports. It is automatically sent to Eyre by the runtime and should not be used manually.

The insecure field is the HTTP port and secure is the optional HTTPS port.

Returns

Eyre returns no gift in response to a %live task.


%rule

[%rule =http-rule]

This task either configures HTTPS with a certificate and keypair, or configures a DNS binding. This is typically done for you by the %acme app, rather than done manually.

The $http-rule is either tagged with %cert or %turf. A %cert http-rule sets an HTTPS certificate and keypair or removes it if null. A %turf http-rule either adds or removes a DNS binding depending on whether the action is %put or %del. Note that using %turf will automatically cause the system to try and obtain a certificate and keypair via Letsencrypt.

Returns

Eyre returns no gift in response to a %rule task.


%request

[%request secure=? =address =request:http]

This task is how Eyre receives an inbound HTTP request. It will ordinarily be sent to Eyre by the runtime so you wouldn't use it except perhaps in tests.

The secure field says whether it's over HTTPS. The address is the IP address from which the request originated. The $request:http is the HTTP request itself containing the method, URL, headers, and body.

Returns

Eyre may pass a %response gift on the appropriate duct depending on the contents of the %request, state of the connection, and other factors.


%request-local

[%request-local secure=? =address =request:http]

This task is how Eyre receives an inbound HTTP request over the local loopback port. It behaves the same and takes the same arguments as in the %request example except it skips any normally required authentication. Just like for a %request task, you'd not normally use this manually.

Returns

Eyre may pass a %response gift on the appropriate duct depending on the contents of the %request, state of the connection, and other factors.


%cancel-request

[%cancel-request ~]

This task is sent to Eyre by the runtime when an HTTP client closes its previously established connection. You would not normally use this manually.

This task takes no arguments.

Returns

Eyre may pass a %response gift on the appropriate duct depending on the state of the connection and other factors.


%connect

[%connect =binding app=term]

This task binds a Gall agent to a URL path so it can receive HTTP requests and return HTTP responses directly.

The $binding contains a URL path and optional domain through which the agent will be able to take HTTP requests. The app is just the name of the Gall agent to bind. Note that if you bind a URL path of /foo, Eyre will also match /foo/bar, /foo/bar/baz, etc.

If an agent is bound in Eyre using this method, HTTP requests to the bound URL path are poked directly into the agent. The cage in the poke have a %handle-http-request mark and a vase of [@ta inbound-request:eyre] where the @ta is a unique eyre-id and the $inbound-request contains the HTTP request itself.

Along with the poke, Eyre will also subscribe to the /http-response/[eyre-id] path of the agent and await a response, which it will pass on to the HTTP client who made the request. Eyre expects at least two facts and a kick on this subscription path to complete the response and close the connection (though it can take more than two facts).

The first fact's cage must have a mark of %http-response-header and a vase containing a $response-header:http with the HTTP status code and headers of the response.

The cage of the second and subsequent facts must have a mark of %http-response-data and a vase containing a (unit octs) with the actual data of the response. An octs is just [p=@ud q=@] where p is the byte-length of q, the data. You can send an arbitrary number of these.

Finally, once you've sent all the facts you want, you can kick Eyre's subscription and it will complete the response and close the connection to the HTTP client.

Returns

Eyre will respond with a %bound gift which says whether the binding was successful and looks like:

[%bound accepted=? =binding]

The accepted field says whether the binding succeeded and the binding is the requested binding described above.

Example

See the Agents: Direct HTTP section of the Guide document for an example.


%serve

[%serve =binding =generator]

This task binds a generator to a URL path so it can receive HTTP requests and return HTTP responses.

The binding contains the URL path and optional domain through which the generator will take HTTP requests. The $generator specifies the desk, the path to the generator in Clay, and also has a field for arguments. Note that the passing of specified arguments to the generator by Eyre is not currently implemented, so you can just leave it as ~.

The bound generator must be a gate within a gate and the type returned must be a $simple-payload:http.

The sample of the first gate must be:

[[now=@da eny=@uvJ bec=beak] ~ ~]

...and the sample of the second, nested gate must be:

[authenticated=? =request:http]

The ? says whether the HTTP request contained a valid session cookie and the $request:http contains the request itself.

The simple-payload:http returned by the generator is similar to the response described in the %connect section except the HTTP headers and body are all contained in the one response rather than staggered across several.

Returns

Eyre will return a %bound gift as described at the end of the %connect section.

Example

See the Generators section of the Guide document for an example.


%disconnect

[%disconnect =binding]

This task deletes a URL binding previously set by a %connect or %serve task.

The $binding is the URL path and domain of the binding you want to delete.

Returns

Eyre returns no gift in response to a %disconnect task.


%code-changed

[%code-changed ~]

This task tells Eyre that the web login code has changed, causing Eyre to throw away all sessions and cookies. Typically it's automatically sent to Eyre by hood when you run |code %reset.

This task takes no arguments.

Returns

Eyre returns no gift in response to a %code-changed task.

%approve-origin

[%approve-origin =origin]

This task tells Eyre to start responding positively to CORS requests for the specified origin.

The $origin is a CORS origin like http://foo.example you want to approve.

Returns

Eyre returns no gift in response to a %approve-origin task.

Example

See the Managing CORS Origins section of the Guide document for an example.

%reject-origin

[%reject-origin =origin]

This task tells Eyre to start responding negatively to CORS requests for the specified origin.

The $origin is a CORS origin like http://foo.example you want want to reject.

Returns

Eyre returns no gift in response to a %reject-origin task.

Example

See the Managing CORS Origins section of the Guide document for an example.


%set-response

[%set-response url=@t entry=(unit cache-entry)]

This task tells Eyre to set a cache entry for a URL path. Adding entries to Eyre's cache will make them much faster to load, and more capable of handling many connections.

The url field is the URL path you want to bind with the cache entry. Note this will just be the URL path as a cord like '/foo/bar/baz', it does not include the host, etc.

The entry field is a $cache-entry in a unit. If the unit is null, the specified url will be unbound and the cache entry removed. If non-null, the given entry will be added to the cache (or updated if the binding already exists).

Each time the entry for a URL path is changed, its revision number will be incremented.

See the $cache-entry entry in Eyre's type reference for more details of the entry itself.

Returns

Eyre gives a %grow gift in response to a %set-response task. A %grow gift looks like:

[%grow =path]

The path will be of the format /cache/[revision]/[url], for example /cache/12/~~~2f.foo~2f.bar. The revision number is incremented each time the entry is updated, including if it's removed, and is in @ud format. The url element uses %t ++scot encoding, so will need to be decoded with %t ++slav.


PreviousEyre External APINextEyre Scry Reference

Last updated 1 day ago