on 492ae2f help sign in
55 lines 958 B history raw
1### `++mule`
3Typed virtual
5Kicks a `++trap`, producing its results or any errors that occur along
6the way. Used to lazily compute stack traces.
8Accepts
9-------
11`taq` is a `++trap`, generally producing a list of `++tank`s.
13Produces
14--------
16XX
18Source
19------
21 ++ mule :: typed virtual
22 ~/ %mule
23 |* taq/_|.(**)
24 =+ mud=(mute taq)
25 ?- -.mud
26 $& [%& p=$:taq] :: XX transition
27 $| [%| p=p.mud]
28 ==
29 ::
32Examples
33--------
35 ~zod/try=> (mule |.(leaf/"hello"))
36 [%.y p=[%leaf "hello"]]
37 ~zod/try=> (mule |.(!!))
38 [%.n p=~]
39 ~zod/try=> (mule |.(.^(a//=pals/1)))
40 [ %.n
41 p
42 ~[
43 [ %rose
44 p=[p="/" q="/" r="/"]
45 q
46 [ i=[%leaf p="a"]
47 t=[i=[%leaf p="~zod"] t=[i=[%leaf p="pals"] t=[i=[%leaf p="1"] t=~]]]
48 ]
49 ]
50 ]
51 ]
55***