ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2025-01-07 07:30:23 +03:00
Code Issues Packages Projects Releases Wiki Activity

Check in just to save.

Browse Source
This commit is contained in:
C. Guy Yarvin 2015-05-20 16:54:49 -07:00
parent 6c864cbfb8
commit 703a8200d0
1 changed files with 31 additions and 73 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

104
base/ape/octo/core.hook
View File

@ -1,75 +1,40 @@
:: :: :: :: :: ::
:::: /hook/core/acto/ape :: :: dependencies :::: /hook/core/acto/ape :: :: dependencies
:: :: :: :: :: ::
/- *sole :: structures /? 310 :: arvo version
/+ sole :: libraries /- *sole, *octo :: structures
/+ sole, octo :: libraries
:: :: :: :: :: ::
:::: :: :: structures :::: :: :: structures
!: :: :: !: :: ::
=> |% :: board logic
++ board ,@ :: one-player bitfield
++ point ,[x=@ y=@] :: coordinate
++ game ,[who=? box=board boo=board] :: game state
++ icon |=(? ?:(+< 'X' 'O')) :: display at
++ bo :: per board
|_ bud=board ::
++ get |=(point =(1 (cut 0 [(off +<) 1] bud))) :: get point
++ off |=(point (add x (mul 3 y))) :: bitfield address
++ set |=(point (con bud (bex (off +<)))) :: set point
++ win %- lien :_ |=(a=@ =(a (dis a bud))) :: test for win
(rip 4 0wl04h0.4A0Aw.4A00s.0e070) :: with bitmasks
-- ::
++ go :: per game
|_ game ::
++ at |_ point :: per point
++ g +>+< :: game
++ k !|(x o) :: ok move
++ m ?.(k [| g] [& g:t:?:(who y p)]) :: move
++ o (~(get bo boo) +<) :: old at o
++ p .(boo (~(set bo boo) +<)) :: play at o
++ t .(who !who) :: take turn
++ v ?:(x (icon &) ?:(o (icon |) '.')) :: view
++ x (~(get bo box) +<) :: old at x
++ y .(box (~(set bo box) +<)) :: play at x
-- ::
++ res ?: ~(win bo box) `"{~[(icon &)]} wins" :: result
?: ~(win bo boo) `"{~[(icon |)]} wins" ::
?: =(511 (con boo box)) `"tie :-(" ~ ::
++ row |= y=@ :~ (add y '1') :: print row
' ' ~(v at y 0) ::
' ' ~(v at y 1) ::
' ' ~(v at y 2) ::
== ::
++ tab ~["+ 1 2 3" (row 0) (row 1) (row 2)] :: print table
-- ::
-- ::
:: :: ::
:::: :: :: server
:: :: ::
=> |% :: arvo structures => |% :: arvo structures
++ axle ,[%1 eye=face but=tube gam=game] :: agent state ++ axle ,[eye=face but=(unit ship) gam=game] :: agent state
++ axon $?(axle [%0 eye=face gam=game]) :: historical state
++ card $% [%diff lime] :: update ++ card $% [%diff lime] :: update
[%quit ~] :: cancel [%quit ~] :: cancel
[%peer wire dock path] :: subscribe [%peer wire dock path] :: subscribe
[%pull wire dock ~] [%poke wire dock pear] :: send move
[%pull wire dock ~] :: unsubscribe
== :: == ::
++ face (pair (list ,@c) (map bone sole-share)) :: interface ++ face (pair (list ,@c) (map bone sole-share)) :: interface
++ lime $% [%sole-effect sole-effect] :: :sole update ++ lime $% [%sole-effect sole-effect] :: :sole update
[%octo-game game] :: :octo update [%octo-game game] :: :octo update
== :: == ::
++ move (pair bone card) :: cause and action ++ move (pair bone card) :: cause and action
++ mote (pair ship ,?) :: remote binding ++ pear ,[%octo-action action] :: outgoing move
++ tube (unit (pair ,? mote)) :: alive, remote ++ tube (unit serf) :: alive, remote
-- ::
=> |% :: historical state
++ axon $%([%1 axle] [%0 axle-0]) ::
++ axle-0 ,[eye=face gam=game-0] ::
++ game-0 ,[who=? box=board boo=board] ::
-- :: -- ::
=> |% :: parsers => |% :: parsers
++ colm (cook |=(a=@ (sub a '1')) (shim '1' '3')) :: row or column ++ colm (cook |=(a=@ (sub a '1')) (shim '1' '3')) :: row or column
++ come ;~(plug colm ;~(pfix fas colm)) :: coordinate ++ come ;~(plug colm ;~(pfix fas colm)) :: coordinate
++ comb (pick come ;~(pfix sig (punt comp))) :: all command input ++ comb (pick come ;~(pfix sig (punt fed:ag))) :: all command input
++ comp ;~(plug fed:ag ;~(pfix ace (flag %x %o))) :: login command
++ cope |=(? ?:(+< (stag %| (cold ~ sig)) comb)) :: with wait mode ++ cope |=(? ?:(+< (stag %| (cold ~ sig)) comb)) :: with wait mode
-- :: -- ::
|_ [hid=hide moz=(list move) axle] :: per agent |_ [hid=hide moz=(list move) [%1 axle]] :: per server
++ et :: ++ et ::
|_ [from say=sole-share] :: per console client |_ [from say=sole-share] :: per console client
++ abet +>(q.eye (~(put by q.eye) ost say)) :: continue ++ abet +>(q.eye (~(put by q.eye) ost say)) :: continue
@ -85,9 +50,10 @@
++ emil |= fex=(list sole-effect) :: send effects ++ emil |= fex=(list sole-effect) :: send effects
?~(fex +> $(fex t.fex, +> (emit i.fex))) :: ?~(fex +> $(fex t.fex, +> (emit i.fex))) ::
++ good |=((list ,@c) -:(rose (tufa +<) cusp)) :: valid input ++ good |=((list ,@c) -:(rose (tufa +<) cusp)) :: valid input
++ here ~(. go [src gam]) :: game core
++ kick |= point :: move command ++ kick |= point :: move command
=^ dud gam ~(m ~(at go gam) +<) :: =^ dud gam ~(m at:here +<) ::
?. dud abet:beep =+ mus=~(res go gam) :: ?. dud abet:beep =+ mus=res:here ::
(park:abet(gam ?^(mus *game gam)) %2 mus) :: (park:abet(gam ?^(mus *game gam)) %2 mus) ::
++ line =^ cal say (transmit:sole set/p.eye) :: update command ++ line =^ cal say (transmit:sole set/p.eye) :: update command
(emit %det cal) :: (emit %det cal) ::
@ -103,12 +69,12 @@
++ prom %^ emit %pro %& :- %octo :: update prompt ++ prom %^ emit %pro %& :- %octo :: update prompt
?: wait "(their turn) " :: ?: wait "(their turn) " ::
": {~[(icon who.gam)]} to move (row/col): " :: ": {~[(icon who.gam)]} to move (row/col): " ::
++ plan |= mut=(unit mote) :: peer command ++ plan |= mut=(unit serf) :: peer command
?~ mut ?~(but abet:beep stop:abet) :: ?~ mut ?~(but abet:beep stop:abet) ::
?^(but abet:beep (link:abet u.mut)) :: ?^(but abet:beep (link:abet u.mut)) ::
++ rend (turn `wall`~(tab go gam) |=(tape txt/+<)) :: table print ++ rend (turn tab:here |=(tape txt/+<)) :: table print
++ show (emit %mor rend) :: update board ++ show (emit %mor rend) :: update board
++ sole ~(. cs say) :: console library ++ sole ~(. cs say) :: console core
++ wait &(?=(^ but) !=(q.q.u.but who.gam)) :: waiting turn ++ wait &(?=(^ but) !=(q.q.u.but who.gam)) :: waiting turn
++ work |= act=sole-action :: console input ++ work |= act=sole-action :: console input
?:(?=(%det -.act) (delt +.act) make) :: ?:(?=(%det -.act) (delt +.act) make) ::
@ -118,8 +84,8 @@
++ dish |=(cad=card (dump 0 cad)) :: forward move ++ dish |=(cad=card (dump 0 cad)) :: forward move
++ flet |=(from ~(. et +< (~(got by q.eye) ost))) :: in old client ++ flet |=(from ~(. et +< (~(got by q.eye) ost))) :: in old client
++ fret |=(from ~(. et +< *sole-share)) :: in new client ++ fret |=(from ~(. et +< *sole-share)) :: in new client
++ like |=(xir=ship |*(* [/octo [xir %octo] +<])) :: to friend ++ like |=(a=ship |*(* [/octo [a %octo] +<])) :: to friend
++ link |= mot=mote %+ dish(but `[| mot]) %peer :: subscribe to friend ++ link |= mot=serf %+ dish(but `[| mot]) %peer :: subscribe to friend
((like p.mot) /octo/net/[?:(q.mot %x %o)]) :: ((like p.mot) /octo/net/[?:(q.mot %x %o)]) ::
++ pals %+ turn (pale hid (prix /sole)) |= sink :: per console ++ pals %+ turn (pale hid (prix /sole)) |= sink :: per console
[[p=p.+< q=q.+<] r=(~(got by q.eye) p.+<)] :: [[p=p.+< q=q.+<] r=(~(got by q.eye) p.+<)] ::
@ -132,25 +98,17 @@
?~(pey +> $(pey t.pey, +> (sell p.i.pey))) :: ?~(pey +> $(pey t.pey, +> (sell p.i.pey))) ::
++ sell |=(ost=bone (dump ost %diff %octo-game gam)) :: update friend ++ sell |=(ost=bone (dump ost %diff %octo-game gam)) :: update friend
++ stop (dish(but ~) pull/((like +>-.but) ~)) :: cancel subscribe ++ stop (dish(but ~) pull/((like +>-.but) ~)) :: cancel subscribe
:: ::::::::::::::: :: :: ::
:::: :: :: :: hooks :::: :: :: handlers
:: ::::::::::::::: :: :: ::
++ coup-octo :: move acknowledge
|= [then saw=(unit tang)] =< abet ::
?~(saw +> (park %0 `"move failed")) ::
++ diff-octo-game :: friend update ++ diff-octo-game :: friend update
|= [then gam=game] =< abet :: |= [then gam=game] =< abet ::
?. &(?=([~ %& *] but) =(src p.q.u.but)) +> :: ?. &(?=([~ %& *] but) =(src p.q.u.but)) +> ::
?: =(^gam gam) +> :: ?: =(^gam gam) +> ::
(park(gam gam) %2 ~) :: (park(gam gam) %2 ~) ::
++ peer-octo-net :: urbit peer
|= [from pax=path] =< abet ::
=+ who==(%x -.pax) ::
?^ but (park %2 ~) ::
(park:(link src !who) %2 `"net from {<src>}") ::
++ peer-octo-web :: web peer
|= [from pax=path] =< abet ::
~& [%peer-web +<] ::
?^ but (park %2 ~) ::
%+ park(but `[%& src !who.gam]) %2 ::
`"web from {<src>}" ::
++ peer-sole :: console subscribe ++ peer-sole :: console subscribe
|= [from pax=path] =< abet :: |= [from pax=path] =< abet ::
(plow:(fret +<-) %2 ~) :: (plow:(fret +<-) %2 ~) ::
@ -159,8 +117,8 @@
(work:(flet +<-) act) :: (work:(flet +<-) act) ::
++ poke-octo-move :: ++ poke-octo-move ::
|= [from wha=point] =< abet :: |= [from wha=point] =< abet ::
=^ dud gam ~(m ~(at go gam) wha) :: =^ dud gam ~(m at:here wha) ::
?> dud =+ mus=~(res go gam) :: ?> dud =+ mus=res:here ::
(park(gam ?^(mus *game gam)) %2 mus) :: (park(gam ?^(mus *game gam)) %2 mus) ::
++ prep |= [from old=(unit ,[(list move) axon])] :: initialize ++ prep |= [from old=(unit ,[(list move) axon])] :: initialize
=< abet ?~ old +> :: =< abet ?~ old +> ::