5e924b0 · urbit.org · git.iko.soy

git.iko.soy/urbit.org

Merge pull request #419 from jfranklin9000/library-2f-4o

remove duplication between 2f and 4o

commit5e924b028846f37c749b9a771e3e391592d1a9a6 authorrmariani <robert@tlon.io> dateTue 5 Mar 2019, 10:19 (8 years ago) parent9ed41bb e17bf28

2 files changed−635

compare with master

unifiedsplit

reference/library/2f.udon−417 reference/library/4o.udon−218

reference/library/2f.udon−417

@@ -438,421 +438,4 @@ correlation with single-`mug`ged `hor`. Vertical order becomes uncorrelated

438438with horizontal order.

439439

440440

441−---

442−

443−### `++noun`

444−

445−```

446− ++ noun ,* :: any noun

447−```

448−

449−Used nowhere XX

450−

451−```

452− > `noun`~[1 2 3]

453− [1 2 3 0]

454−```

455−

456−

457−---

458−

459−### `++null`

460−

461−```

462− ++ null ,~ :: null, nil, etc

463−```

464−

465−Used nowhere XX

466−

467−```

468− > :type; *null

469− ~

470− %~

471−```

472−

473−

474−---

475−

476−### `++port`

477−

478−XX move to `++ut`

479−

480−Type and location of core-shaped thing? XX Compiler Internals

481−

482−#### Source

483−

484−```

485− ++ port $: p=axis ::

486− $= q ::

487− $% [%& p=type] ::

488− [%| p=axis q=(list ,[p=type q=foot])] ::

489− == ::

490− == ::

491−```

492−

493−#### Examples

494−

495−```

496− > *port

497− [p=0 q=[%.y p=%void]]

498−```

499−

500−

501−---

502−

503−### `++span`

504−

505−ASCII atom

506−

507−A restricted text atom for canonical atom syntaxes. The prefix is `~.`.

508−There are no escape sequences except `~~`, which means `~`, and `~-`,

509−which means `_`. `-` and `.` encode themselves. No other characters

510−besides numbers and lowercase letters are permitted.

511−

512−#### Source

513−

514−```

515− ++ span ,@ta :: text-atom (ASCII)

516−```

517−

518−

519−#### Examples

520−

521−```

522− > *span

523− ~.

524−

525− > `@t`~.foo

526− 'foo'

527− > `@t`~.foo.bar

528− 'foo.bar'

529− > `@t`~.foo~~bar

530− 'foo~bar'

531− > `@t`~.foo~-bar

532− 'foo_bar'

533− > `@t`~.foo-bar

534− 'foo-bar'

535−```

536−

537−

538−---

539−

540−### `++tiki`

541−

542−XX move to `++ut`

543−

544−#### Source

545−

546−```

547− ++ tiki :: test case

548−```

549−

550−#### Examples

551−

552−```

553−A `++wing` or `++hoon`.

554−

555− > (ream '=+ a=4 ?-(a @ ~)')

556− [ %tsls

557− p=[%ktts p=p=%a q=[%dtzy p=%ud q=4]]

558− q

559− [ %wthz

560− p=[%.y p=~ q=~[%a]]

561− q=~[[p=[%axil p=[%atom p=~.]] q=[%bczp p=%null]]]

562− ]

563− ]

564− > (ream '=+ a=4 ?-(4 @ ~)')

565− [ %tsls

566− p=[%ktts p=p=%a q=[%dtzy p=%ud q=4]]

567− q

568− [ %wthz

569− p=[%.n p=~ q=[%dtzy p=%ud q=4]]

570− q=~[[p=[%axil p=[%atom p=~.]] q=[%bczp p=%null]]]

571− ]

572− ]

573−```

574−

575−

576−---

577−

578−### `++toga`

579−

580−Tree of faces

581−

582−A face, or tree of faces. A `++toga` is applied to anything assigned

583−using `^=`.

584−

585−XX move to `++ut` and rune doc (for \^= examples)

586−

587−#### Source

588−

589−```

590− ++ toga :: face control

591− [2 p=toga q=toga] :: cell toga

592− == ::

593−```

594−

595−#### Examples

596−

597−```

598− > a=1

599− a=1

600− > (ream 'a=1')

601− [%ktts p=p=%a q=[%dtzy p=%ud q=1]]

602− > [a b]=[1 2 3]

603− [a=1 b=[2 3]]

604− > (ream '[a b]=[1 2 3]')

605− [ %ktts

606− p=[%2 p=p=%a q=p=%b]

607− q=[%cltr p=~[[%dtzy p=%ud q=1] [%dtzy p=%ud q=2] [%dtzy p=%ud q=3]]]

608− ]

609−

610− > [a ~]=[1 2 3]

611− [a=1 2 3]

612− > (ream '[a ~]=[1 2 3]')

613− [ %ktts

614− p=[%2 p=p=%a q=[%0 ~]]

615− q=[%cltr p=~[[%dtzy p=%ud q=1] [%dtzy p=%ud q=2] [%dtzy p=%ud q=3]]]

616− ]

617−```

618−

619−

620−---

621−

622−### `++tone`

623−

624−Intermediate Nock computation result

625−

626−Similar to `++toon`, but stack trace is not yet rendered.

627−

628−#### Source

629−

630−```

631− ++ tone $% [%0 p=*] :: success

632−```

633−

634−#### Examples

635−

636−```

637− > (mink [[20 21] 0 3] ,~)

638− [%0 p=21]

639−

640− > (mink [[0] !=(.^(cy//=main/1))] ,~)

641− [%1 p=~[[31.075 1.685.027.454 1.852.399.981 49 0]]]

642− > (path [31.075 1.685.027.454 1.852.399.981 49 0])

643− /cy/~zod/main/1

644−

645− > (mink [[1 2] !=(~|(%hi +(.)))] ,~)

646− [%2 p=~[[~.yelp 26.984]]]

647− > (mink [[1 2] !=(!:(+(.)))] ,~)

648− [ %2

649− p

650− ~[

651− [ ~.spot

652− [ [ 1.685.027.454

653− 7.959.156

654− \/159.445.990.350.374.058.574.398.238.344.143.957.205.628.479.572.65\/

655− 8.112.403.878.526

656− \/ \/

657− 0

658− ]

659− [1 20]

660− 1

661− 24

662− ]

663− ]

664− ]

665− ]

666−```

667−

668−

669−---

670−

671−### `++tuna`

672−

673−XML template tree

674−

675−An XML template tree.

676−

677−#### Source

678−

679−```

680− ++ tuna :: tagflow

681− [%d p=hoon] :: dynamic list

682− [%e p=hoon q=(list tuna)] :: element

683− [%f p=(list tuna)] :: subflow

684− == ::

685−```

686−

687−#### Examples

688−

689−Leaf %a contains plain-text, %b an empty tag, %c a static list, %d a

690−dynamic list, %e a full node element containing a hoon and a list of

691−tuna, and %f is a empty node.

692−

693−See also: `++sail`

694−

695−

696−

697−---

698−

699−### `++tusk`

700−

701−List of expressions

702−

703−List of `++hoon`s. In `:*`, for example, your contents is

704−a `++tusk`.

705−

706−#### Source

707−

708−```

709− ++ tusk (list hoon) ::

710−```

711−

712−#### Examples

713−

714−```

715− > (ream '[1 2 3]')

716− [%cltr p=~[[%dtzy p=%ud q=1] [%dtzy p=%ud q=2] [%dtzy p=%ud q=3]]]

717− > (tusk +:(ream '[1 2 3]'))

718− ~[[%dtzy p=%ud q=1] [%dtzy p=%ud q=2] [%dtzy p=%ud q=3]]

719−```

720−

721−

722−---

723−

724−### `++hoon`

725−

726−Expression

727−

728−An expression, or AST.

729−

730−See Rune section of Hoon reference

731−

732−

733−

734−---

735−

736−### `++tyke`

737−

738−List of 'maybe' hoons

739−

740−List of `++unit` `++hoon`, or gaps left to be inferred, in `++path`

741−parsing. When you use a path such as `/=main=/pub/src/doc` the path is in fact

742−a `++tyke`, where the `=` are inferred from your current path.

743−

744−

745−#### Source

746−

747−```

748− ++ tyke (list (unit hoon)) ::

749−```

750−

751−#### Examples

752−

753−```

754− > (scan "/==as=" porc:vast)

755− [0 ~[~ ~ [~ [%dtzy p=%tas q=29.537]] ~]]

756− > `tyke`+:(scan "/==as=" porc:vast)

757− ~[~ ~ [~ [%dtzy p=%tas q=29.537]] ~]

758−```

759−

760−

761−---

762−

763−### `++typo`

764−

765−Pointer for `++type`

766−

767−Pointer for `++type`. `++typo` preserves the previous `++type` in your

768−context when upating.

769−

770−#### Source

771−

772−```

773− ++ typo type :: old type

774−```

775−

776−#### Examples

777−

778−See also: `++seem`, `++vise`, `++type`

779−

780−

781−

782−---

783−

784−### `++tyre`

785−

786−List, term hoon

787−

788−Associative list of `++term` `++hoon`, used in jet hint processing.

789−

790−#### Source

791−

792−```

793− ++ tyre (list ,[p=term q=hoon]) ::

794−```

795−

796−

797−---

798−

799−### `++vase`

800−

801−Typed data. A `++vase` is used wherever typed data is explicitly worked

802−with.

803−

804−#### Source

805−

806−```

807− ++ vase ,[p=type q=*] :: type-value pair

808−```

809−

810−#### Examples

811−

812−```

813− > `vase`!>(~)

814− [p=[%cube p=0 q=[%atom p=%n]] q=0]

815−```

816−

817−

818−---

819−

820−### `++vise`

821−

822−Convert during reboot

823−

824−Used to convert from previously-typed data during reboot.

825−

826−#### Source

827−

828−```

829− ++ vise ,[p=typo q=*] :: old vase

830−```

831−

832−#### Examples

833−

834−See also: `++typo`, `++seer`

835−

836−

837−

838−---

839−

840−### `++wing`

841−

842−```

843− ++ wing (list limb) ::

844−```

845−

846−Address in subject. A `++wing` is a path to a value in the subject. A

847−term alone is the trivial case of a `++wing`.

848−

849−See also: `++hoon`

850−

851−```

852− > (ream 'a.+.c')

853− [%cnzz p=~[%a [%.y p=3] %c]]

854− > (wing +:(ream 'a.+.c'))

855− ~[%a [%.y p=3] %c]

856−```

857−

858441---

reference/library/4o.udon−218

@@ -366,224 +366,6 @@ Virtual machine. See Nock.

366366```

367367

368368

369−---

370−### `++hor`

371−

372−Horizontal hash order

373−

374−If `a` and `b` are atoms, they are computed as samples of `gor`, producing a

375−flag.

376−

377−If `a` and `b` are cells, `hor` checks to see if their heads are equal. If their

378−heads are equal, `gor` is computed on their tails, producing a flag. If their

379−heads are not equal, `gor` is computed on their heads, producing a flag.

380−

381−If `a` is an atom and `b` is not, then `%.y` is produced. If `b` is an atom and

382−`a` is not, `%.n` is produced.

383−

384−#### Accepts

385−

386−`a` is a noun.

387−

388−`b` is a noun.

389−

390−#### Produces

391−

392−A flag.

393−

394−#### Source

395−

396−```

397− ++ hor

398− ~/ %hor

399− |= [a=* b=*]

400− ^- ?

401− ?: ?=(@ a)

402− ?. ?=(@ b) &

403− (gor a b)

404− ?: ?=(@ b) |

405− ?: =(-.a -.b)

406− (gor +.a +.b)

407− (gor -.a -.b)

408−```

409−

410−#### Examples

411−

412−```

413− > (hor . 1)

414− %.n

415−

416− > (hor 1 2)

417− %.y

418−

419− > (hor "abc" "cba")

420− %.y

421−

422− > (hor 'c' 'd')

423− %.n

424−

425− > (hor 100 [1 1])

426− %.y

427−

428− > (hor [1 1] 100)

429− %.n

430−

431− > (hor 500.000.000 "foo")

432− %.y

433−

434− > (hor "foo" 500.000.000)

435− %.n

436−

437− > (hor 0 "foo")

438− %.y

439−

440− > (gor `(list @)`[0 ~] 1)

441− %.n

442−

443− > (hor `(list @)`[50 500 5.000 ~] 1)

444− %.n

445−```

446−

447−#### Discussion

448−

449−Sets (+set, +in) use `hor` for their horizontal order and `vor` for their

450−vertical order. See [`apt:in`](../2h) to see how a set verifies its correctness.

451−`vor` is used to verify.

452−

453−---

454−### `++lor`

455−

456−Leg order

457−

458−Computes whether the corresponding legs of `a` and `b` are in ascending

459−numeric order, producing a flag.

460−

461−#### Accepts

462−

463−`a` is a noun.

464−

465−`b` is a noun.

466−

467−#### Accepts

468−

469−A flag.

470−

471−#### Source

472−

473−```

474− ++ lor

475− ~/ %lor

476− |= [a=* b=*]

477− ^- ?

478− ?: =(a b) &

479− ?@ a

480− ?^ b &

481− (lth a b)

482− ?: =(-.a -.b)

483− $(a +.a, b +.b)

484− $(a -.a, b -.b)

485−```

486−

487−#### Examples

488−

489−```

490− > (lor 1 2)

491− %.y

492−

493− > (lor 2 1)

494− %.n

495−

496− > (lor 9 [1 2])

497− %.y

498−

499− > (lor `(list @)`[1 2 3 ~] `(list @)`[1 2 3 4 ~])

500− %.y

501−

502− > (lor `(list @)`[1 2 3 ~] `(list @)`[1 2 2 ~])

503− %.n

504−

505− > (lor `(list @)`[1 2 3 ~] `(list @)`[2 2 ~])

506− %.y

507−

508− > (lor [2 2 5] [1 5 9 8])

509− %.n

510−

511− > (lor [1 5 8] [1 5 9 8])

512− %.y

513−

514− > (lor [1 2 3] [1 2])

515− !! exit

516−```

517−

518−#### Discussion

519−

520−`lor` is no longer used internally.

521−

522−---

523−### `++vor`

524−

525−Vertical order

526−

527−Computes whether the double-hashes `(mug (mug a))` and `(mug (mug b))` are in

528−ascending numeric order, producing a flag. If the double-`mug` hashes are

529−equal, `a` and `b` are compared by `dor` instead.

530−

531−[`mug`](../2e) is the the 31-bit nonzero FNV-1a hash algorithm.

532−

533−

534−#### Accepts

535−

536−`a` is a noun

537−

538−`b` is a noun

539−

540−#### Produces

541−

542−A flag.

543−

544−#### Source

545−

546−```

547− ++ vor

548− ~/ %vor

549− |= [a=* b=*]

550− ^- ?

551− =+ [c=(mug (mug a)) d=(mug (mug b))]

552− ?: =(c d)

553− (dor a b)

554− (lth c d)

555−```

556−

557−#### Examples

558−

559−```

560− > (vor 'f' 'g')

561− %.y

562−

563− > [(mug 'f') (mug 'g')]

564− [1.661.740.952 1.644.963.335]

565−

566− > [(mug (mug 'f')) (mug (mug 'g'))]

567− [261.421.509 1.861.258.547]

568−

569− > (vor 'a' 'z')

570− %.n

571−

572− > (vor 43.326 41.106)

573− %.n

574−```

575−

576−#### Discussion

577−

578−Maps, sets, and queues all use `vor` to check for vertical ordering. Maps and

579−sets also use `gor` and `hor` for horizontal order, respectively, but queues use

580−vertical ordering alone.

581−

582−Since hashing removes correlation, double-`mug`ging with `vor` removes

583−correlation with single-`mug`ged `hor`. Vertical order becomes uncorrelated

584−with horizontal order.

585−

586−

587369---

588370

589371### `++noun`