urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-09-11 20:27:19 +03:00
Code Issues Packages Projects Releases Wiki Activity

a few more comments

Browse Source
This commit is contained in:
hanfel-dovned 2024-06-03 10:49:28 -07:00 committed by SuperCoolYun
parent 0aeda8d68b
commit 5f429249e8
1 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
pkg/arvo/neo/cod/std/src/imp/counter.hoon
View File

@ -1,5 +1,6 @@
/@ number :: @ud
/@ counter-diff :: [%inc ~]
:: XX note about types
::
:: outer core of a shrub: define state, pokes,
:: dependencies, and kids
@ -8,10 +9,9 @@
::
:: the state of the counter is a %number, just a @ud
:: a curb:neo is a constraint imposed on a shrub
:: here the state is %only ever one thing
++ state
^- curb:neo
[%only %number]
[%pro %number]
::
:: the set of pokes that counter
:: takes only contains %counter-diff
@ -50,9 +50,8 @@
:: +poke, like +on-poke
++ poke
::
:: a stud (e.g. %number or %counter-diff) is kind
:: of like a mark, it only gets more complicated
:: than that with types from other desks/ships
:: a stud (e.g. %number or %counter-diff) is
:: like a mark
|= [=stud:neo vaz=vase]
::
:: return a (list card:neo) and a
@ -61,11 +60,12 @@
::
:: assert the stud of the pail (pair stud vase),
:: which is the shrub's state given in the sample
:: (technically unnecessary in this case, but good
:: hygiene)
?> =(p.pail %number)
=/ state !<(number q.pail)
::
:: assert that the poke's stud is %counter-diff,
:: which protects counter from evil vases
:: assert that the poke's stud is %counter-diff
?> =(%counter-diff stud)
=/ act
!<(counter-diff vaz)