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
  • /- "fashep"
  • /+ "faslus"
  • /= "fastis"
  • /* "fastar"
  • /$ "fasbuc"
  • /~ "fassig"
  • /% "fascen"
Edit on GitHub
  1. Hoon
  2. Runes

/ fas · Imports

Fas (/) runes are not technically hoon runes, but instead are instructions to Arvo's build system. In the past, the build system was its own vane called Ford. Ford has since been merged into the filesystem vane Clay, but these are still referred to as "Ford runes".

Ford runes are used at the top of a hoon file, and they typically specify imports.

The Dojo does not support Ford runes at the current time, so you should instead use the workaround expedient of the -build-file thread when working with Hoon interactively.

> =foo -build-file /===/lib/foo/hoon

> (bar:foo)
'baz'

/- "fashep"

Import structure libraries from /sur.

Syntax

/-  foo, bar, baz

Note there is only a single space between each item.

Semantics

Names correspond to files in the /sur directory of the same desk as this file, e.g. /sur/foo.hoon for foo. Names containing hyphens, e.g. foo-abc, will first resolve to /sur/foo-abc.hoon, and if that doesn't exist, it will try /sur/foo/abc.hoon.

Imports may be given a different face by doing xyz=foo. Imports may have their face stripped (so you can directly reference their wings) with *foo.


/+ "faslus"

Import libraries from /lib.

Syntax

/+  foo, bar, baz

Note there is only a single space between each item.

Semantics

Names correspond to files in the /lib directory of the same desk as this file, e.g. /lib/foo.hoon for foo. Names containing hyphens, e.g. foo-abc, will first resolve to /lib/foo-abc.hoon, and if that doesn't exist, it will try /lib/foo/abc.hoon.

Imports may be given a different face by doing xyz=foo. Imports may have their face stripped (so you can directly reference their wings) with *foo.


/= "fastis"

Build and import a hoon file at the specified path.

Syntax

Two arguments.

/=  some-face  /path/to/file

Semantics

This lets you build and import a hoon file from anywhere in the desk.

The first argument is the face to pin it as. The second argument is the path to the file in the same desk as this file. The file must be a %hoon file, and the trailing mark (hoon) must be omitted from the path.

Examples

To build and import /foo/bar.hoon you would do:

/=  foobar  /foo/bar

/* "fastar"

Import the file at the specified path as the specified mark.

Syntax

Three arguments.

/*  some-face  %as-mark  /path/to/file

Semantics

The first argument is the face to pin it as. The second argument is the mark it should be converted to. The third argument is the path to the file in the same desk as this file, with the trailing mark included.

The mark specified may be different to the mark of the file, as long as conversion is possible. Note that a %hoon file will not be built like with /=: the type of a %hoon file is a @t so that is what will be pinned.

Examples

To import /foo/bar.hoon you would do:

/*  foobar  %hoon  /foo/bar/hoon

foobar would then be an @t of the contents of that file.


/$ "fasbuc"

Import mark conversion gate.

Syntax

Three arguments.

/$  some-face   %from-mark   %to-mark

Semantics

The first argument is the face to pin it as. The second argument is the mark to convert from. The third argument is the mark to convert to.

The result will be a gate of $-(type-1 type-2), pinned with the specified face. The types are the data types of the from mark and to mark, respectively.

The mark conversion gate will be built from marks in /mar on the same desk as this file.

Examples

To build a mark conversion gate from %txt to %mime, you would do:

/$  txt-to-mime  %txt  %mime

txt-to-mime would be a gate of $-(wain mime). You could then call the gate like:

> (txt-to-mime ~['first line' 'second line'])
[p=/text/plain q=[p=22 q=37.949.953.370.267.411.298.483.129.707.945.775.026.849.432.323.909.990]]

/~ "fassig"

Import, build, evaluate and pin the results of many hoon files in a directory.

Syntax

Three arguments.

/~  some-face  some-type  /some/directory

Semantics

The first argument is the face to pin the results with. The second argument is the type each hoon file produces when evaluated. The third argument is the path to a directory in the same desk as this file, containing %hoon files.

Each hoon file in the specified directory will be built and evalutated. The result of evaluating each file will be added to a ++map and pinned with the specified face (some-face). The keys of the map will be the name of each file, and the values of the map will be the result of evaluating each file and casting its result to the type specified (some-type).

All of the hoon files in the specified directory, when evaluated, must produce data of a type that nests under the type specified (some-type). File with a mark other than %hoon will be ignored.

The type of the map will be (map knot some-type).

Examples

If the /foo/bar directory contains three files:

  • x.hoon containing (silt ~[1 2 3 4 5])

  • y.hoon containing (silt ~[99 100])

  • z.hoon containing (silt ~[22 33 44])

Then the following /~ expression:

/~  foo  (set @ud)  /foo/bar

...will pin a (map knot (set @ud)) with a face of foo which contains:

{[p=~.y q={100 99}] [p=~.z q={22 33 44}] [p=~.x q={5 1 2 3 4}]}

/% "fascen"

Build and import a mark core.

Syntax

Two arguments.

/%  some-face  %some-mark

Semantics

The first argument is a face to pin the mark core with. The second argument is a mark.

The static mark core (a nave:clay) for the specified mark (which resides in the same desk as the file) is built and pinned to the subject with the specified face.

Examples

To build the mark core for the %txt mark:

/%  foo  %txt

Its arms can then be accessed like:

> form:foo
%txt-diff
Previous. dot · NockNext^ ket · Casts

Last updated 1 day ago