Update slugs.

This commit is contained in:
Sigilante 2022-06-29 06:46:57 -05:00
parent bede959b1b
commit 34410e5b16
2 changed files with 160 additions and 112 deletions

View File

@ -0,0 +1,48 @@
+++
title = "App School Live"
date = "2022-07-01"
description = "Were running a cohort class of App School to teach you how to terraform Mars."
[extra]
author = "N E Davis"
ship = "~lagrev-nocfep"
image = "TODO"
+++
What should you do after Hoon School? Well, presumably you've become interested
in building apps on Urbit, and certainly knowing the language is a prerequisite.
But apps require knowing the platform as a platform—what system services and
affordances exist, how to hook up a front-end user interface, and how to build
apps that interoperate with each other.
The Urbit Foundation offered Hoon School Live as a reboot of previous live Hoon
educational efforts, including Hooniversity and Hoon 101. HSL consisted of
synchronous livestream sessions, homework, and office hours, and concluded with
a competition (on the results of which more soon). 61 participants completed
HSL and received finisher `%gorae`.
In July, the Urbit Foundation will follow up HSL with App School Live, another
synchronous cohort class based on the App School guides (formerly known as the
Gall Guides). We will cover the structure of an Urbit backend app, Urbit OS
system calls, app coordination across multiple ships, how to build a front-end,
and more.
Most—but not all—Urbit app development has focused thus far on social media and
cryptocurrency applications. This makes sense, and it's a strength of the
current Urbit platform primitives. But so much more can be done: games, of
course, but also life management, instrumentation, CLIs, data visualization, and
so much more. With Urbit's peer-to-peer distribution system, there are no
gatekeepers, and anyone can start their own app store.
At the same time as ASL, the Urbit Foundation is holding a hackathon with prizes
to be unveiled at [Assembly Miami](https://assembly.urbit.org). We're excited
to see what you're going to build. If you're not sure how to produce your
vision yet, start with App School Live and then peruse the submissions for
current [grant projects](https://urbit.org/grants) to see how others are
successfully building apps.
If you are interested in participating in App School Live, drop us a line at
[this registration
form](https://docs.google.com/forms/d/e/1FAIpQLSfxAEdcdaLG_yK3RCOCLLScslcyjhBmAN2qUqHLajwSMgT-lw/viewform)
or join us on Mars at ~hiddev-dannut/new-hooniverse. We'll start on Tuesday,
July 12 and run through August 23.

View File

@ -11,21 +11,21 @@ export const glossary = [
name: "dotket",
symbol: ".^",
usage: "Nock",
slug: "https://developers.urbit.org/reference/hoon/rune/dot/#-dotket",
slug: "https://developers.urbit.org/reference/hoon/rune/dot/#dotket",
desc: "<code>[%dtkt p=spec q=hoon]</code>: load from the Arvo namespace with a fake Nock instruction: 'Nock <code>12</code>''.",
},
{
name: "dotlus",
symbol: ".+",
usage: "Nock",
slug: "https://developers.urbit.org/reference/hoon/rune/dot/#-dotlus",
slug: "https://developers.urbit.org/reference/hoon/rune/dot/#dotlus",
desc: "<code>[%dtls p=hoon]</code>: increment an atom with Nock <code>4</code>.",
},
{
name: "dottar",
symbol: ".*",
usage: "Nock",
slug: "https://developers.urbit.org/reference/hoon/rune/dot/#-dottar",
slug: "https://developers.urbit.org/reference/hoon/rune/dot/#dottar",
desc: "<code>[%dttr p=hoon q=hoon]</code>: evaluate with Nock <code>2</code>.",
},
{
@ -39,7 +39,7 @@ export const glossary = [
name: "dotwut",
symbol: ".?",
usage: "Nock",
slug: "https://developers.urbit.org/reference/hoon/rune/dot/#-dotwut",
slug: "https://developers.urbit.org/reference/hoon/rune/dot/#dotwut",
desc: "<code>[%dtwt p=hoon]</code>: test for cell or atom with Nock <code>3</code>.",
},
{
@ -53,56 +53,56 @@ export const glossary = [
name: "zapgar",
symbol: "!>",
usage: "wild",
slug: "https://developers.urbit.org/reference/hoon/rune/zap/#-zapgar",
slug: "https://developers.urbit.org/reference/hoon/rune/zap/#zapgar",
desc: "<code>[%zpgr p=hoon]</code>: wrap a noun in its type.",
},
{
name: "zapgal",
symbol: "!<",
usage: "wild",
slug: "https://developers.urbit.org/reference/hoon/rune/zap/#-zapgal",
slug: "https://developers.urbit.org/reference/hoon/rune/zap/#zapgal",
desc: "<code>[%zpld p=spec q=hoon]</code>: extracts typed value from a vase.",
},
{
name: "zapcol",
symbol: "!:",
usage: "wild",
slug: "https://developers.urbit.org/reference/hoon/rune/zap/#-zapcol",
slug: "https://developers.urbit.org/reference/hoon/rune/zap/#zapcol",
desc: "<code>[%dbug p=hoon]</code>: turn on stack trace",
},
{
name: "zapdot",
symbol: "!.",
usage: "wild",
slug: "https://developers.urbit.org/reference/hoon/rune/zap/#-zapdot",
slug: "https://developers.urbit.org/reference/hoon/rune/zap/#zapdot",
desc: "Turn off stack trace for a subexpression <code>p</code>",
},
{
name: "zaptis",
symbol: "!=",
usage: "wild",
slug: "https://developers.urbit.org/reference/hoon/rune/zap/#-zaptis",
slug: "https://developers.urbit.org/reference/hoon/rune/zap/#zaptis",
desc: "<code>[%zpts p=hoon]</code>: make the Nock formula for a Hoon expression.",
},
{
name: "zapwut",
symbol: "!?",
usage: "wild",
slug: "https://developers.urbit.org/reference/hoon/rune/zap/#-zapwut",
slug: "https://developers.urbit.org/reference/hoon/rune/zap/#zapwut",
desc: "<code>[%zpwt p=@ q=hoon]</code>: restrict Hoon version.",
},
{
name: "zappat",
symbol: "!@",
usage: "wild",
slug: "https://developers.urbit.org/reference/hoon/rune/zap/#-zappat",
slug: "https://developers.urbit.org/reference/hoon/rune/zap/#zappat",
desc: "<code>[%zppt p=(list wing) q=hoon r=hoon]</code>: branch on wing existence.",
},
{
name: "zapzap",
symbol: "!!",
usage: "wild",
slug: "https://developers.urbit.org/reference/hoon/rune/zap/#-zapzap",
slug: "https://developers.urbit.org/reference/hoon/rune/zap/#zapzap",
desc: "<code>[%zpzp ~]</code>: crash.",
},
{
@ -116,84 +116,84 @@ export const glossary = [
name: "tisgar",
symbol: "=>",
usage: "Subject Modification",
slug: "https://developers.urbit.org/reference/hoon/rune/tis/#-tisgar",
slug: "https://developers.urbit.org/reference/hoon/rune/tis/#tisgar",
desc: "<code>[%tsgr p=hoon q=hoon]</code>: compose two expressions.",
},
{
name: "tisbar",
symbol: "=|",
usage: "Subject Modification",
slug: "https://developers.urbit.org/reference/hoon/rune/tis/#-tisbar",
slug: "https://developers.urbit.org/reference/hoon/rune/tis/#tisbar",
desc: "<code>[%tsbr p=spec q=hoon]</code>: combine a default type value with the subject.",
},
{
name: "tiscol",
symbol: "=:",
usage: "Subject Modification",
slug: "https://developers.urbit.org/reference/hoon/rune/tis/#-tiscol",
slug: "https://developers.urbit.org/reference/hoon/rune/tis/#tiscol",
desc: "<code>[%tscl p=(list (pair wing hoon)) q=hoon]</code>: change multiple legs in the subject.",
},
{
name: "tiscom",
symbol: "=,",
usage: "Subject Modification",
slug: "https://developers.urbit.org/reference/hoon/rune/tis/#-tiscom",
slug: "https://developers.urbit.org/reference/hoon/rune/tis/#tiscom",
desc: "<code>[%tscm p=hoon q=hoon]</code>: expose namespace",
},
{
name: "tisdot",
symbol: "=.",
usage: "Subject Modification",
slug: "https://developers.urbit.org/reference/hoon/rune/tis/#-tisdot",
slug: "https://developers.urbit.org/reference/hoon/rune/tis/#tisdot",
desc: "<code>[%tsdt p=wing q=hoon r=hoon]</code>: change one leg in the subject.",
},
{
name: "tishep",
symbol: "=-",
usage: "Subject Modification",
slug: "https://developers.urbit.org/reference/hoon/rune/tis/#--tishep",
slug: "https://developers.urbit.org/reference/hoon/rune/tis/#tishep",
desc: "<code>[%tshp p=hoon q=hoon]</code>: combine a new noun with the subject, inverted.",
},
{
name: "tisket",
symbol: "=^",
usage: "Subject Modification",
slug: "https://developers.urbit.org/reference/hoon/rune/tis/#-tisket",
slug: "https://developers.urbit.org/reference/hoon/rune/tis/#tisket",
desc: "<code>[%tskt p=skin q=wing r=hoon s=hoon]</code>: pin the head of a pair; change",
},
{
name: "tisgal",
symbol: "=<",
usage: "Subject Modification",
slug: "https://developers.urbit.org/reference/hoon/rune/tis/#-tisgal",
slug: "https://developers.urbit.org/reference/hoon/rune/tis/#tisgal",
desc: "<code>[%tsgl p=hoon q=hoon]</code>: compose two expressions, inverted.",
},
{
name: "tislus",
symbol: "=+",
usage: "Subject Modification",
slug: "https://developers.urbit.org/reference/hoon/rune/tis/#-tislus",
slug: "https://developers.urbit.org/reference/hoon/rune/tis/#tislus",
desc: "<code>[%tsls p=hoon q=hoon]</code>: combine a new noun with the subject.",
},
{
name: "tismic",
symbol: "=;",
usage: "Subject Modification",
slug: "https://developers.urbit.org/reference/hoon/rune/tis/#-tismic",
slug: "https://developers.urbit.org/reference/hoon/rune/tis/#tismic",
desc: "<code>[%tssm p=skin q=hoon r=hoon]</code>: combine a named noun with the subject, possibly with type annotation; inverted order.",
},
{
name: "tisfas",
symbol: "=/",
usage: "Subject Modification",
slug: "https://developers.urbit.org/reference/hoon/rune/tis/#-tisfas",
slug: "https://developers.urbit.org/reference/hoon/rune/tis/#tisfas",
desc: "<code>[%tsfs p=skin q=hoon r=hoon]</code>: combine a named noun with the subject, possibly with type annotation.",
},
{
name: "tissig",
symbol: "=~",
usage: "Subject Modification",
slug: "https://developers.urbit.org/reference/hoon/rune/tis/#-tissig",
slug: "https://developers.urbit.org/reference/hoon/rune/tis/#tissig",
desc: "<code>[%tssg p=(list hoon)]</code>: compose many expressions.",
},
{
@ -207,7 +207,7 @@ export const glossary = [
name: "tiswut",
symbol: "=?",
usage: "Subject Modification",
slug: "https://developers.urbit.org/reference/hoon/rune/tis/#-tiswut",
slug: "https://developers.urbit.org/reference/hoon/rune/tis/#tiswut",
desc: "<code>[$tswt p=wing q=hoon r=hoon s=hoon]</code>: conditionally change one leg in the subject.",
},
{
@ -221,14 +221,14 @@ export const glossary = [
name: "wutgar",
symbol: "?>",
usage: "Conditionals",
slug: "https://developers.urbit.org/reference/hoon/rune/wut/#-wutgar",
slug: "https://developers.urbit.org/reference/hoon/rune/wut/#wutgar",
desc: "<code>[%wtbn p=hoon q=hoon]</code>: positive assertion.",
},
{
name: "wutbar",
symbol: "?|",
usage: "Conditionals",
slug: "https://developers.urbit.org/reference/hoon/rune/wut/#-wutbar",
slug: "https://developers.urbit.org/reference/hoon/rune/wut/#wutbar",
desc: "<code>[%wtbr p=(list hoon)]</code>: logical OR.",
},
{
@ -242,70 +242,70 @@ export const glossary = [
name: "wutdot",
symbol: "?.",
usage: "Conditionals",
slug: "https://developers.urbit.org/reference/hoon/rune/wut/#-wutdot",
slug: "https://developers.urbit.org/reference/hoon/rune/wut/#wutdot",
desc: "<code>[%wtdt p=hoon q=hoon r=hoon]</code>: branch on a boolean test, inverted.",
},
{
name: "wuthep",
symbol: "?-",
usage: "Conditionals",
slug: "https://developers.urbit.org/reference/hoon/rune/wut/#--wuthep",
slug: "https://developers.urbit.org/reference/hoon/rune/wut/#wuthep",
desc: "<code>[%wthp p=wing q=(list (pair spec value))]</code>: switch against a union, with no default.",
},
{
name: "wutket",
symbol: "?^",
usage: "Conditionals",
slug: "https://developers.urbit.org/reference/hoon/rune/wut/#-wutket",
slug: "https://developers.urbit.org/reference/hoon/rune/wut/#wutket",
desc: "<code>[%wtkt p=wing q=hoon r=hoon]</code>: branch on whether a wing",
},
{
name: "wutgal",
symbol: "?<",
usage: "Conditionals",
slug: "https://developers.urbit.org/reference/hoon/rune/wut/#-wutgal",
slug: "https://developers.urbit.org/reference/hoon/rune/wut/#wutgal",
desc: "<code>[%wtgl p=hoon q=hoon]</code>: negative assertion.",
},
{
name: "wutlus",
symbol: "?+",
usage: "Conditionals",
slug: "https://developers.urbit.org/reference/hoon/rune/wut/#-wutlus",
slug: "https://developers.urbit.org/reference/hoon/rune/wut/#wutlus",
desc: "<code>[%wtls p=wing q=hoon r=(list (pair spec hoon))]</code>: switch against",
},
{
name: "wutpam",
symbol: "?&",
usage: "Conditionals",
slug: "https://developers.urbit.org/reference/hoon/rune/wut/#-wutpam",
slug: "https://developers.urbit.org/reference/hoon/rune/wut/#wutpam",
desc: "<code>[%wtpd p=(list hoon)]</code>: logical AND.",
},
{
name: "wutsig",
symbol: "?~",
usage: "Conditionals",
slug: "https://developers.urbit.org/reference/hoon/rune/wut/#-wutsig",
slug: "https://developers.urbit.org/reference/hoon/rune/wut/#wutsig",
desc: "<code>[%wtsg p=wing q=hoon r=hoon]</code>: branch on whether a wing of the subject is null.",
},
{
name: "wuttis",
symbol: "?=",
usage: "Conditionals",
slug: "https://developers.urbit.org/reference/hoon/rune/wut/#-wuttis",
slug: "https://developers.urbit.org/reference/hoon/rune/wut/#wuttis",
desc: "<code>[%wtts p=spec q=wing]</code>: test pattern match.",
},
{
name: "wutpat",
symbol: "?@",
usage: "Conditionals",
slug: "https://developers.urbit.org/reference/hoon/rune/wut/#-wutpat",
slug: "https://developers.urbit.org/reference/hoon/rune/wut/#wutpat",
desc: "<code>[%wtpt p=wing q=hoon r=hoon]</code>: branch on whether a wing of the subject is an atom.",
},
{
name: "wutzap",
symbol: "?!",
usage: "Conditionals",
slug: "https://developers.urbit.org/reference/hoon/rune/wut/#-wutzap",
slug: "https://developers.urbit.org/reference/hoon/rune/wut/#wutzap",
desc: "<code>[%wtzp p=hoon]</code>: logical NOT.",
},
{
@ -319,7 +319,7 @@ export const glossary = [
name: "barbuc",
symbol: "|$",
usage: "Cores",
slug: "https://developers.urbit.org/reference/hoon/rune/bar/#-barbuc",
slug: "https://developers.urbit.org/reference/hoon/rune/bar/#barbuc",
desc: "Declare a wet gate mold builder.",
},
{
@ -333,70 +333,70 @@ export const glossary = [
name: "barcen",
symbol: "|%",
usage: "Cores",
slug: "https://developers.urbit.org/reference/hoon/rune/bar/#-barcen",
slug: "https://developers.urbit.org/reference/hoon/rune/bar/#barcen",
desc: "Produce a core, <code>[battery payload]</code>.",
},
{
name: "barcol",
symbol: "|:",
usage: "Cores",
slug: "https://developers.urbit.org/reference/hoon/rune/bar/#-barcol",
slug: "https://developers.urbit.org/reference/hoon/rune/bar/#barcol",
desc: "Produce a gate with a custom sample.",
},
{
name: "bardot",
symbol: "|.",
usage: "Cores",
slug: "https://developers.urbit.org/reference/hoon/rune/bar/#-bardot",
slug: "https://developers.urbit.org/reference/hoon/rune/bar/#bardot",
desc: "Produce a trap (a core with one arm <code>$</code>).",
},
{
name: "barhep",
symbol: "|-",
usage: "Cores",
slug: "https://developers.urbit.org/reference/hoon/rune/bar/#--barhep",
slug: "https://developers.urbit.org/reference/hoon/rune/bar/#barhep",
desc: "Produce a trap (a core with one arm <code>$</code>) and evaluate it.",
},
{
name: "barket",
symbol: "|^",
usage: "Cores",
slug: "https://developers.urbit.org/reference/hoon/rune/bar/#-barket",
slug: "https://developers.urbit.org/reference/hoon/rune/bar/#barket",
desc: "Produce a core whose battery includes a <code>$</code> arm and compute the latter.",
},
{
name: "barsig",
symbol: "|~",
usage: "Cores",
slug: "https://developers.urbit.org/reference/hoon/rune/bar/#-barsig",
slug: "https://developers.urbit.org/reference/hoon/rune/bar/#barsig",
desc: "Produce an iron gate.",
},
{
name: "bartar",
symbol: "|*",
usage: "Cores",
slug: "https://developers.urbit.org/reference/hoon/rune/bar/#-bartar",
slug: "https://developers.urbit.org/reference/hoon/rune/bar/#bartar",
desc: "Produce a wet gate (one-armed core with sample).",
},
{
name: "bartis",
symbol: "|=",
usage: "Cores",
slug: "https://developers.urbit.org/reference/hoon/rune/bar/#-bartis",
slug: "https://developers.urbit.org/reference/hoon/rune/bar/#bartis",
desc: "Produce a gate (a one-armed core with a sample).",
},
{
name: "barpat",
symbol: "|@",
usage: "Cores",
slug: "https://developers.urbit.org/reference/hoon/rune/bar/#-barpat",
slug: "https://developers.urbit.org/reference/hoon/rune/bar/#barpat",
desc: "Produce a 'wet' core <code>[battery payload]</code>.",
},
{
name: "barwut",
symbol: "|?",
usage: "Cores",
slug: "https://developers.urbit.org/reference/hoon/rune/bar/#-barwut",
slug: "https://developers.urbit.org/reference/hoon/rune/bar/#barwut",
desc: "Produce a lead trap.",
},
{
@ -410,28 +410,28 @@ export const glossary = [
name: "lusbar",
symbol: "+|",
usage: "Arms",
slug: "https://developers.urbit.org/reference/hoon/rune/lus/#-lusbar",
slug: "https://developers.urbit.org/reference/hoon/rune/lus/#lusbar",
desc: "Chapter label.",
},
{
name: "lusbuc",
symbol: "+$",
usage: "Arms",
slug: "https://developers.urbit.org/reference/hoon/rune/lus/#-lusbuc",
slug: "https://developers.urbit.org/reference/hoon/rune/lus/#lusbuc",
desc: "Produce a structure arm (type definition).",
},
{
name: "luslus",
symbol: "++",
usage: "Arms",
slug: "https://developers.urbit.org/reference/hoon/rune/lus/#-luslus",
slug: "https://developers.urbit.org/reference/hoon/rune/lus/#luslus",
desc: "Produce a normal arm.",
},
{
name: "lustar",
symbol: "+*",
usage: "Arms",
slug: "https://developers.urbit.org/reference/hoon/rune/lus/#-lustar",
slug: "https://developers.urbit.org/reference/hoon/rune/lus/#lustar",
desc: "Produce a deferred expression arm.",
},
{
@ -452,42 +452,42 @@ export const glossary = [
name: "colcol",
symbol: "::",
usage: "Cells",
slug: "https://developers.urbit.org/reference/hoon/rune/col/#-colcol",
slug: "https://developers.urbit.org/reference/hoon/rune/col/#colcol",
desc: "Code comment.",
},
{
name: "colhep",
symbol: ":-",
usage: "Cells",
slug: "https://developers.urbit.org/reference/hoon/rune/col/#--colhep",
slug: "https://developers.urbit.org/reference/hoon/rune/col/#colhep",
desc: "<code>[%clhp p=hoon q=hoon]</code>: construct a cell (2-tuple).",
},
{
name: "colket",
symbol: ":^",
usage: "Cells",
slug: "https://developers.urbit.org/reference/hoon/rune/col/#-colket",
slug: "https://developers.urbit.org/reference/hoon/rune/col/#colket",
desc: "<code>[%clkt p=hoon q=hoon r=hoon s=hoon]</code>: construct a quadruple (4-tuple).",
},
{
name: "collus",
symbol: ":+",
usage: "Cells",
slug: "https://developers.urbit.org/reference/hoon/rune/col/#-collus",
slug: "https://developers.urbit.org/reference/hoon/rune/col/#collus",
desc: "<code>[%clls p=hoon q=hoon r=hoon]</code>: construct a triple (3-tuple).",
},
{
name: "colsig",
symbol: ":~",
usage: "Cells",
slug: "https://developers.urbit.org/reference/hoon/rune/col/#-colsig",
slug: "https://developers.urbit.org/reference/hoon/rune/col/#colsig",
desc: "<code>[%clsg p=(list hoon)]</code>: construct a null-terminated list.",
},
{
name: "coltar",
symbol: ":*",
usage: "Cells",
slug: "https://developers.urbit.org/reference/hoon/rune/col/#-coltar",
slug: "https://developers.urbit.org/reference/hoon/rune/col/#coltar",
desc: "<code>[%cltr p=(list hoon)]</code>: construct an n-tuple.",
},
{
@ -508,14 +508,14 @@ export const glossary = [
name: "cencol",
symbol: "%:",
usage: "Calls",
slug: "https://developers.urbit.org/reference/hoon/rune/cen/#-cencol",
slug: "https://developers.urbit.org/reference/hoon/rune/cen/#cencol",
desc: "Call a gate with many arguments.",
},
{
name: "cendot",
symbol: "%.",
usage: "Calls",
slug: "https://developers.urbit.org/reference/hoon/rune/cen/#-cendot",
slug: "https://developers.urbit.org/reference/hoon/rune/cen/#cendot",
desc: "Call a gate (function), inverted.",
},
{
@ -529,35 +529,35 @@ export const glossary = [
name: "cenket",
symbol: "%^",
usage: "Calls",
slug: "https://developers.urbit.org/reference/hoon/rune/cen/#-cenket",
slug: "https://developers.urbit.org/reference/hoon/rune/cen/#cenket",
desc: "Call gate with triple sample.",
},
{
name: "cenlus",
symbol: "%+",
usage: "Calls",
slug: "https://developers.urbit.org/reference/hoon/rune/cen/#-cenlus",
slug: "https://developers.urbit.org/reference/hoon/rune/cen/#cenlus",
desc: "Call gate with a cell sample.",
},
{
name: "censig",
symbol: "%~",
usage: "Calls",
slug: "https://developers.urbit.org/reference/hoon/rune/cen/#-censig",
slug: "https://developers.urbit.org/reference/hoon/rune/cen/#censig",
desc: "Evaluate an arm in a door.",
},
{
name: "centar",
symbol: "%*",
usage: "Calls",
slug: "https://developers.urbit.org/reference/hoon/rune/cen/#-centar",
slug: "https://developers.urbit.org/reference/hoon/rune/cen/#centar",
desc: "Evaluate an expression, then resolve a wing with changes.",
},
{
name: "centis",
symbol: "%=",
usage: "Calls",
slug: "https://developers.urbit.org/reference/hoon/rune/cen/#-centis",
slug: "https://developers.urbit.org/reference/hoon/rune/cen/#centis",
desc: "Resolve a wing with changes.",
},
{
@ -571,70 +571,70 @@ export const glossary = [
name: "ketbar",
symbol: "^|",
usage: "Casts",
slug: "https://developers.urbit.org/reference/hoon/rune/ket/#-ketbar",
slug: "https://developers.urbit.org/reference/hoon/rune/ket/#ketbar",
desc: "<code>[%ktbr p=hoon]</code>: convert a gold core to an iron core (contravariant).",
},
{
name: "ketcol",
symbol: "^:",
usage: "Casts",
slug: "https://developers.urbit.org/reference/hoon/rune/ket/#-ketcol",
slug: "https://developers.urbit.org/reference/hoon/rune/ket/#ketcol",
desc: "<code>[%ktcl p=spec]</code>: 'factory' gate for type <code>p</code>.",
},
{
name: "ketdot",
symbol: "^.",
usage: "Casts",
slug: "https://developers.urbit.org/reference/hoon/rune/ket/#-ketdot",
slug: "https://developers.urbit.org/reference/hoon/rune/ket/#ketdot",
desc: "<code>[%ktdt p=hoon q=hoon]</code>: typecast on value produced by passing <code>q</code> to <code>p</code>.",
},
{
name: "kethep",
symbol: "^-",
usage: "Casts",
slug: "https://developers.urbit.org/reference/hoon/rune/ket/#--kethep",
slug: "https://developers.urbit.org/reference/hoon/rune/ket/#kethep",
desc: "<code>[%kthp p=spec q=hoon]</code>: typecast by explicit type label.",
},
{
name: "ketlus",
symbol: "^+",
usage: "Casts",
slug: "https://developers.urbit.org/reference/hoon/rune/ket/#-ketlus",
slug: "https://developers.urbit.org/reference/hoon/rune/ket/#ketlus",
desc: "<code>[%ktls p=hoon q=hoon]</code>: typecast by inferred type.",
},
{
name: "ketpam",
symbol: "^&",
usage: "Casts",
slug: "https://developers.urbit.org/reference/hoon/rune/ket/#-ketpam",
slug: "https://developers.urbit.org/reference/hoon/rune/ket/#ketpam",
desc: "<code>[%ktpd p=hoon]</code>: convert a core to a zinc core (covariant).",
},
{
name: "ketsig",
symbol: "^~",
usage: "Casts",
slug: "https://developers.urbit.org/reference/hoon/rune/ket/#-ketsig",
slug: "https://developers.urbit.org/reference/hoon/rune/ket/#ketsig",
desc: "<code>[%ktsg p=hoon]</code>: fold constant at compile time.",
},
{
name: "kettar",
symbol: "^*",
usage: "Casts",
slug: "https://developers.urbit.org/reference/hoon/rune/ket/#-kettar",
slug: "https://developers.urbit.org/reference/hoon/rune/ket/#kettar",
desc: "<code>[%kttr p=spec]</code>: Produce example type value.",
},
{
name: "kettis",
symbol: "^=",
usage: "Casts",
slug: "https://developers.urbit.org/reference/hoon/rune/ket/#-kettis",
slug: "https://developers.urbit.org/reference/hoon/rune/ket/#kettis",
desc: "<code>[%ktts p=skin q=hoon]</code>: Bind name to a value.",
},
{
name: "ketwut",
symbol: "^?",
usage: "Casts",
slug: "https://developers.urbit.org/reference/hoon/rune/ket/#-ketwut",
slug: "https://developers.urbit.org/reference/hoon/rune/ket/#ketwut",
desc: "<code>[%ktwt p=hoon]</code>: convert any core to a lead core (bivariant).",
},
{
@ -648,7 +648,7 @@ export const glossary = [
name: "bucbar",
symbol: "$|",
usage: "Structures",
slug: "https://developers.urbit.org/reference/hoon/rune/buc/#-bucbar",
slug: "https://developers.urbit.org/reference/hoon/rune/buc/#bucbar",
desc: "<code>[%bsbr p=spec q=hoon]</code>: structure that satisfies a validator.",
},
{
@ -662,77 +662,77 @@ export const glossary = [
name: "buccen",
symbol: "$%",
usage: "Structures",
slug: "https://developers.urbit.org/reference/hoon/rune/buc/#-buccen",
slug: "https://developers.urbit.org/reference/hoon/rune/buc/#buccen",
desc: "<code>[%bscn p=(list spec)]</code>: structure which recognizes a union tagged by head atom.",
},
{
name: "buccol",
symbol: "$:",
usage: "Structures",
slug: "https://developers.urbit.org/reference/hoon/rune/buc/#-buccol",
slug: "https://developers.urbit.org/reference/hoon/rune/buc/#buccol",
desc: "<code>[%bscl p=(list spec)]</code>: form a cell type.",
},
{
name: "bucgal",
symbol: "$<",
usage: "Structures",
slug: "https://developers.urbit.org/reference/hoon/rune/buc/#-bucgal",
slug: "https://developers.urbit.org/reference/hoon/rune/buc/#bucgal",
desc: "<code>[%bsld p=spec q=spec]</code>: restrict a mold by excluding some given mold.",
},
{
name: "bucgar",
symbol: "$>",
usage: "Structures",
slug: "https://developers.urbit.org/reference/hoon/rune/buc/#-bucgar",
slug: "https://developers.urbit.org/reference/hoon/rune/buc/#bucgar",
desc: "<code>[%bshp p=spec q=spec]</code>: filter a mold to obtain a new mold.",
},
{
name: "buchep",
symbol: "$-",
usage: "Structures",
slug: "https://developers.urbit.org/reference/hoon/rune/buc/#--buchep",
slug: "https://developers.urbit.org/reference/hoon/rune/buc/#buchep",
desc: "<code>[%bshp p=spec q=spec]</code>: structure that normalizes to an example gate.",
},
{
name: "bucket",
symbol: "$^",
usage: "Structures",
slug: "https://developers.urbit.org/reference/hoon/rune/buc/#-bucket",
slug: "https://developers.urbit.org/reference/hoon/rune/buc/#bucket",
desc: "<code>[%bskt p=spec q=spec]</code>: structure which normalizes a union tagged by head depth (cell).",
},
{
name: "bucsig",
symbol: "$~",
usage: "Structures",
slug: "https://developers.urbit.org/reference/hoon/rune/buc/#-bucsig",
slug: "https://developers.urbit.org/reference/hoon/rune/buc/#bucsig",
desc: "<code>[%bssg p=hoon q=spec]</code>: define a custom type default value",
},
{
name: "bucpam",
symbol: "$&",
usage: "Structures",
slug: "https://developers.urbit.org/reference/hoon/rune/buc/#-bucpam",
slug: "https://developers.urbit.org/reference/hoon/rune/buc/#bucpam",
desc: "<code>[%bspd p=spec q=hoon]</code>: repair a value of a tagged union type",
},
{
name: "bucpat",
symbol: "$@",
usage: "Structures",
slug: "https://developers.urbit.org/reference/hoon/rune/buc/#-bucpat",
slug: "https://developers.urbit.org/reference/hoon/rune/buc/#bucpat",
desc: "<code>[%bsvt p=spec q=spec]</code>: structure which normalizes a union tagged by head depth (atom).",
},
{
name: "buctis",
symbol: "$=",
usage: "Structures",
slug: "https://developers.urbit.org/reference/hoon/rune/buc/#-buctis",
slug: "https://developers.urbit.org/reference/hoon/rune/buc/#buctis",
desc: "<code>[%bsts p=skin q=spec]</code>: structure which wraps a face around another structure.",
},
{
name: "bucwut",
symbol: "$?",
usage: "Structures",
slug: "https://developers.urbit.org/reference/hoon/rune/buc/#-bucwut",
slug: "https://developers.urbit.org/reference/hoon/rune/buc/#bucwut",
desc: "<code>[%bswt p=(list spec)]</code>: form a type from a union of other types.",
},
{
@ -746,56 +746,56 @@ export const glossary = [
name: "miccol",
symbol: ";:",
usage: "Make",
slug: "https://developers.urbit.org/reference/hoon/rune/mic/#-miccol",
slug: "https://developers.urbit.org/reference/hoon/rune/mic/#miccol",
desc: "<code>[%mccl p=hoon q=(list hoon)]</code>: call a binary function as an n-ary function.",
},
{
name: "micgal",
symbol: ";<",
usage: "Make",
slug: "https://developers.urbit.org/reference/hoon/rune/mic/#-micgal",
slug: "https://developers.urbit.org/reference/hoon/rune/mic/#micgal",
desc: "<code>[%mcgl p=spec q=hoon r=hoon s=hoon]</code>: monadic do notation.",
},
{
name: "miclus",
symbol: ";+",
usage: "Make",
slug: "https://developers.urbit.org/reference/hoon/rune/mic/#-miclus",
slug: "https://developers.urbit.org/reference/hoon/rune/mic/#miclus",
desc: "make a single XML node (Sail)",
},
{
name: "micmic",
symbol: ";;",
usage: "Make",
slug: "https://developers.urbit.org/reference/hoon/rune/mic/#-micmic",
slug: "https://developers.urbit.org/reference/hoon/rune/mic/#micmic",
desc: "<code>[%mcmc p=spec q=hoon]</code>: normalize with a mold, asserting fixpoint.",
},
{
name: "micfas",
symbol: ";/",
usage: "Make",
slug: "https://developers.urbit.org/reference/hoon/rune/mic/#-micfas",
slug: "https://developers.urbit.org/reference/hoon/rune/mic/#micfas",
desc: "<code>[%mcnt p=hoon]</code>: tape as XML element.",
},
{
name: "micsig",
symbol: ";~",
usage: "Make",
slug: "https://developers.urbit.org/reference/hoon/rune/mic/#-micsig",
slug: "https://developers.urbit.org/reference/hoon/rune/mic/#micsig",
desc: "<code>[%mcsg p=hoon q=(list hoon)]</code>: glue a pipeline together with a",
},
{
name: "mictar",
symbol: ";*",
usage: "Make",
slug: "https://developers.urbit.org/reference/hoon/rune/mic/#-mictar",
slug: "https://developers.urbit.org/reference/hoon/rune/mic/#mictar",
desc: "Make a list of XML nodes from complex Hoon expression (Sail).",
},
{
name: "mictis",
symbol: ";=",
usage: "Make",
slug: "https://developers.urbit.org/reference/hoon/rune/mic/#-mictis",
slug: "https://developers.urbit.org/reference/hoon/rune/mic/#mictis",
desc: "Make a list of XML nodes (Sail).",
},
{
@ -809,21 +809,21 @@ export const glossary = [
name: "siggar",
symbol: "~>",
usage: "Hints",
slug: "https://developers.urbit.org/reference/hoon/rune/sig/#-siggar",
slug: "https://developers.urbit.org/reference/hoon/rune/sig/#siggar",
desc: "<code>[%sgbn p=$@(term [p=term q=hoon]) q=hoon]</code>: raw hint, applied",
},
{
name: "sigbar",
symbol: "~|",
usage: "Hints",
slug: "https://developers.urbit.org/reference/hoon/rune/sig/#-sigbar",
slug: "https://developers.urbit.org/reference/hoon/rune/sig/#sigbar",
desc: "<code>[%sgbr p=hoon q=hoon]</code>: tracing printf.",
},
{
name: "sigbuc",
symbol: "~$",
usage: "Hints",
slug: "https://developers.urbit.org/reference/hoon/rune/sig/#-sigbuc",
slug: "https://developers.urbit.org/reference/hoon/rune/sig/#sigbuc",
desc: "<code>[%sgbs p=term q=hoon]</code>: profiling hit counter.",
},
{
@ -837,56 +837,56 @@ export const glossary = [
name: "sigcen",
symbol: "~%",
usage: "Hints",
slug: "https://developers.urbit.org/reference/hoon/rune/sig/#-sigcen",
slug: "https://developers.urbit.org/reference/hoon/rune/sig/#sigcen",
desc: "<code>[%sgcn p=term q=wing r=(list [term hoon]) s=hoon]</code>: jet registration.",
},
{
name: "siggal",
symbol: "~<",
usage: "Hints",
slug: "https://developers.urbit.org/reference/hoon/rune/sig/#-siggal",
slug: "https://developers.urbit.org/reference/hoon/rune/sig/#siggal",
desc: "<code>[%sgld p=$@(term [p=term q=hoon]) q=hoon]</code>: raw hint, applied to product.",
},
{
name: "siglus",
symbol: "~+",
usage: "Hints",
slug: "https://developers.urbit.org/reference/hoon/rune/sig/#-siglus",
slug: "https://developers.urbit.org/reference/hoon/rune/sig/#siglus",
desc: "<code>[%sgls p=hoon]</code>: cache a computation.",
},
{
name: "sigfas",
symbol: "~/",
usage: "Hints",
slug: "https://developers.urbit.org/reference/hoon/rune/sig/#-sigfas",
slug: "https://developers.urbit.org/reference/hoon/rune/sig/#sigfas",
desc: "<code>[%sgnt p=term q=hoon]</code>: jet registration for gate with",
},
{
name: "sigpam",
symbol: "~&",
usage: "Hints",
slug: "https://developers.urbit.org/reference/hoon/rune/sig/#-sigpam",
slug: "https://developers.urbit.org/reference/hoon/rune/sig/#sigpam",
desc: "<code>[%sgpd p=hoon q=hoon]</code>: debugging printf.",
},
{
name: "sigtis",
symbol: "~=",
usage: "Hints",
slug: "https://developers.urbit.org/reference/hoon/rune/sig/#-sigtis",
slug: "https://developers.urbit.org/reference/hoon/rune/sig/#sigtis",
desc: "<code>[%sgts p=hoon q=hoon]</code>: detect duplicate.",
},
{
name: "sigwut",
symbol: "~?",
usage: "Hints",
slug: "https://developers.urbit.org/reference/hoon/rune/sig/#-sigwut",
slug: "https://developers.urbit.org/reference/hoon/rune/sig/#sigwut",
desc: "<code>[%sgwt p=hoon q=hoon r=hoon]</code>: conditional debug printf.",
},
{
name: "sigzap",
symbol: "~!",
usage: "Hints",
slug: "https://developers.urbit.org/reference/hoon/rune/sig/#-sigzap",
slug: "https://developers.urbit.org/reference/hoon/rune/sig/#sigzap",
desc: "<code>[%sgzp p=hoon q=hoon]</code>: print type on compilation fail.",
},
{
@ -900,14 +900,14 @@ export const glossary = [
name: "hephep",
symbol: "--",
usage: "Terminators",
slug: "https://developers.urbit.org/reference/hoon/rune/terminators/#---hephep",
slug: "https://developers.urbit.org/reference/hoon/rune/terminators/#-hephep",
desc: "The <code>--</code> rune is used to indicate the end of a core expression.",
},
{
name: "tistis",
symbol: "==",
usage: "Terminators",
slug: "https://developers.urbit.org/reference/hoon/rune/terminators/#-tistis",
slug: "https://developers.urbit.org/reference/hoon/rune/terminators/#tistis",
desc: "The <code>==</code> rune is used to indicate the end of a 'jogging' or 'running' series of Hoon expressions.",
},
{
@ -921,28 +921,28 @@ export const glossary = [
name: "faslus",
symbol: "/+",
usage: "Ford",
slug: "https://developers.urbit.org/reference/hoon/rune/fas#-faslus",
slug: "https://developers.urbit.org/reference/hoon/rune/fas#faslus",
desc: "Ford rune. Import from <code>lib/</code>",
},
{
name: "fashep",
symbol: "/-",
usage: "Ford",
slug: "https://developers.urbit.org/reference/hoon/rune/fas#--fashep",
slug: "https://developers.urbit.org/reference/hoon/rune/fas#fashep",
desc: "Ford rune. Import from <code>sur/</code>",
},
{
name: "fastis",
symbol: "/=",
usage: "Ford",
slug: "https://developers.urbit.org/reference/hoon/rune/fas#-fastis",
slug: "https://developers.urbit.org/reference/hoon/rune/fas#fastis",
desc: "Ford rune. Wrap a face around an included horn.",
},
{
name: "fastar",
symbol: "/*",
usage: "Ford",
slug: "https://developers.urbit.org/reference/hoon/rune/fas#-fastar",
slug: "https://developers.urbit.org/reference/hoon/rune/fas#fastar",
desc: "Ford rune. Import file, convert to mark, and wrap a face.",
},
// glossary starts here