Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
AntonAntonov`MonadMakers`
TraceMonad  |
|
| | ||||
Examples
(1)
Basic Examples
(1)
Generate a software monad with the prefix "Perhaps":
In[1]:=
 | GenerateStateMonadCode |
Make a monadic pipeline with the monad tracer that shows the changes of pipeline's value and tabulates pipeline's operations with corresponding descriptions:
In[2]:=
SeedRandom[332];
[PerhapsUnit[RandomInteger[10,15]]]⟹"lift to monad"⟹TraceMonadEchoContext⟹PerhapsEcho⟹"display current value"⟹PerhapsWhen[#〚3〛>3&,PerhapsEchoFunctionValue[Style[#,Red]&]]⟹"display pipeline's value if the 3d element is greater than 3"⟹(PerhapsUnit[#/4]&)⟹"replace the pipeline object"⟹PerhapsEcho⟹"display current value again"⟹
;
 | TraceMonadUnit |
| TraceMonadEchoGrid |
| Grid87 |
»
context:dataPerhapsUnit[RandomInteger[10,15]],binderDoubleLongRightArrow,commands{},comments{lift to monad},contextKeys{{}}
»
Perhaps[{8,5,5,7,0,9,3,10,8,9,1,0,10,9,10},]
»
{8,5,5,7,0,9,3,10,8,9,1,0,10,9,10}
»
Perhaps2,,,,0,,,,2,,,0,,,,
5
4
5
4
7
4
9
4
3
4
5
2
9
4
1
4
5
2
9
4
5
2
»
PerhapsUnit[RandomInteger[10,15]] ⟹ | lift to monad |
PerhapsEcho ⟹ | display current value |
PerhapsWhen[#1〚3〛>3&,PerhapsEchoFunctionValue[Style[#1,Red]&]] ⟹ | display pipeline's value if the 3d element is greater than 3 |
PerhapsUnit #1 4 ⟹ | replace the pipeline object |
PerhapsEcho | display current value again |
 |
|
 |
|
""