More cleanups.

This commit is contained in:
C. Guy Yarvin 2016-11-09 13:24:02 -08:00
parent 13789fa7b9
commit 7a7516c358
3 changed files with 47 additions and 40 deletions

View File

@ -65,7 +65,7 @@
{$ha p/path:beak} :: GET request
{$he p/whir} :: HEAD request
{$hi p/knot q/mark $~} :: outbound HTTP
{$se p/whir-se q/{iden (list @t)}} :: outbound to domain
{$se p/whir-se q/{user (list @t)}} :: outbound to domain
{$si $~} :: response done
{$of p/ixor q/$@($~ whir-of)} :: associated view
{$ow p/ixor $~} :: dying view
@ -102,7 +102,7 @@
wup/(map hole cyst) :: secure sessions
sop/(map hole {ship ?}) :: foreign sess names
wix/(map ixor stem) :: open views
sec/(map {iden (list @t)} driv) :: security drivers
sec/(map {user (list @t)} driv) :: security drivers
== ::
::
++ sec-move :: driver effect
@ -115,7 +115,7 @@
++ bale :: driver state
|* a/_* :: %jael keys type
$: {our/ship now/@da eny/@uvJ byk/beak} :: base info
{usr/iden dom/(list @t)} :: req user, domain
{usr/user dom/(list @t)} :: req user, domain
key/a :: secrets from %jael
== ::
::
@ -1735,7 +1735,7 @@
--
++ vi :: auth engine
~% %eyre-v ..is ~
|_ $: {usr/iden dom/path}
|_ $: {usr/user dom/path}
cor/(unit $@($~ vase))
{liv/? req/(qeu {p/duct q/mark r/vase:hiss})}
==

View File

@ -19,7 +19,7 @@
~% %one + ~
|%
:: ::
:::: 1a: unsigned arithmetic and tree addressing ::
:::: 1a: unsigned arithmetic ::
::
++ add :: unsigned addition
~/ %add

View File

@ -18,7 +18,9 @@
:: - %gall: application ("ball")
:: - %jael: security ("jail")
::
:: with %zuse in your core,
:: with %zuse in your core, the engines of any vane are
:: available at `engine:vane`. the models (molds) are
:: available at `mold:^vane`.
::
:: every model or engine in %zuse is attached to some
:: vane, but any vane can use it (in its namespace),
@ -30,14 +32,15 @@
::
~% %zuse +> ~
=>
::
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: models
::
:: :: ::
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::: :: (1) models
:: :: ::
|%
:: ::::
:::: ++^ames :: networking
:: ::::
::
++ ames ^?
:: ::::
:::: (1a) ++^ames :: network
:: ::::
|%
++ able ^? :: arvo moves
|%
@ -244,10 +247,11 @@
++ wund (list {p/life q/ring r/acru}) :: mace in action
++ wyll (list deyd) :: certificate
-- ::ames
:: ::::
:::: ++^behn :: scheduling
:: ::::
::
++ behn ^?
:: ::::
:::: (1b) ++^behn :: timekeeping
:: ::::
|%
++ able ^? :: arvo moves
|%
@ -263,10 +267,11 @@
== ::
-- ::able
-- ::behn
:: ::::
:::: ++^clay :: storage
:: ::::
::
++ clay ^?
:: ::::
:::: (1c) ++^clay :: revision control
:: ::::
|%
::
++ able ^? :: arvo moves
@ -427,10 +432,11 @@
t/@da :: date
== ::
-- ::clay
:: ::::
:::: ++^dill :: console
:: ::::
::
++ dill ^?
:: ::::
:::: (1d) ++^dill :: console
:: ::::
|%
::
++ able ^? :: arvo moves
@ -521,10 +527,11 @@
{$verb $~} :: verbose mode
== ::
-- ::dill
:: ::::
:::: # ^eyre :: web
:: ::::
::
++ eyre ^?
:: ::::
:::: (1e) ++^eyre :: web/internet
:: ::::
|%
++ able ^? :: arvo moves
|%
@ -540,7 +547,7 @@
++ task :: in request ->$
$% {$born $~} :: new unix process
{$crud p/@tas q/(list tank)} :: XX rethink
{$hiss p/(unit iden) q/mark r/cage} :: outbound user req
{$hiss p/(unit user) q/mark r/cage} :: outbound user req
{$init p/@p} :: report install
{$serv p/$@(desk beam)} :: set serving root
{$them p/(unit hiss)} :: outbound request
@ -597,7 +604,7 @@
q/clip :: source IP
r/httq ::
== ::
++ iden knot :: username
++ user knot :: username
++ love :: http response
$% {$ham p/manx} :: html node
{$mid p/mite q/octs} :: mime-typed data
@ -1039,18 +1046,18 @@
++ life @ud :: regime number
-- :: xmas
-- ::
::
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: engines
::
:: ::
:::::::::::::::::::::::::::::::::::::::::::::::::::::::::: engines
:: ::
|%
:: ::::
:::: # ames :: networking
:::: ++ames :: networking
:: ::::
++ ames ^?
=, ^ames
|%
:: ::
:::: ## crypto:ames :: crypto standards
:::: ++crypto:ames :: crypto standards
:: ::::
++ crypto ^?
=, number
@ -4136,10 +4143,10 @@
:: :: ++auru:urlp:url:
++ auru :: 2396 with maybe user
%+ cook
|= $: a/{p/? q/(unit iden) r/{(unit @ud) host}}
|= $: a/{p/? q/(unit user) r/{(unit @ud) host}}
b/{pork quay}
==
^- (pair (unit iden) purl)
^- (pair (unit user) purl)
[q.a [[p.a r.a] b]]
::
;~ plug