Documentation

Hoon's @p encoding.

This encoding is an obfuscated representation of some underlying number, but a pronounceable, memorable, and unique one.

The representation exists for any natural number, but it's typically used only for naming Azimuth points, and thus normal 32-bit Urbit ships.

(It's also used for naming comets, i.e. self-signed 128-bit Urbit ships.)

Convert a Natural to @p.

>>> patp 0
~zod
>>> patp 256
~marzod
>>> patp 65536
~dapnep-ronmyl
>>> patp 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF
~fipfes-fipfes-fipfes-fipfes--fipfes-fipfes-fipfes-fipfes

Convert a @p value to its corresponding Natural.

>>> let zod = patp 0
>>> fromPatp zod
0

Render a @p value as Text.

>>> render (patp 0)
"~zod"
>>> render (patp 15663360)
"~nidsut-tomdun"

Parse a @p value existing as Text.

>>> parse "~nidsut-tomdun"
Right ~nidsut-tomdun
> parse "~fipfes-fipfes-fipfes-doznec"
Right ~fipfes-fipfes-fipfes-doznec