tricu

A lazy functional language based on Tree Calculus
Log | Files | Refs | README | LICENSE

demos_interactionTrees_safeRead.receipt (12765B)


      1 arboricx.build-receipt.v1
      2 source	faeb5823b36c687703388225b7f221c90e47f7b0df59ea3d3e41b88c84d5869c
      3 compiler	2dae2427ad3993f6f27a2e5bbd76763bd3ed1289a424a781504a2eb57fa3b57e
      4 options	307cf2eafa67562f5c3a6d4555c1fc1ccb9b91f43d0b74d564f5aa0bb73ffd0f
      5 output	667675ddd1a7fbc7b89cd28de85d6b67a603e4329fbcaf0a6d576d2c18460fd9
      6 local	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	353cbe95c37ceea10932854650eb7b7827fc74727a8c94fb4aee127ce3b3f6c1
      7 local	io_text	1f960c57efadb21eb66bba8a057181c6ca744b7d110064a37522daabf230d691	c265a346de0eb5b8e957dbd58fe26a5700a744154b2c8e9b3c37954d002a64f0
      8 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	io	4c420a8145c6b9e58c2c5e260c67c5740bce708ab0c388a88bb732d10df9d5fc
      9 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	pure	c77cf428a6fda9f6d681a1dd832f02118c43fd945fc71542ce78eaadc623b763
     10 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	bind	f5690c082a04bedc787f9d485458c06dff2238d24a0fe925d287d343d8c51b91
     11 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	fail	22449e4dfdeb4954c906ee00a4d6800a9cc0d8f6abce03126c6cc337833ad430
     12 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	scope	cdacc7588989c64178eb096987a1cba598e7b7a18b464fcb248aef91a220a389
     13 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	currentScope	48796d86b83e516e89f19f0b47c4c5972990be15a3ef26c68719862bba8fbdc6
     14 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	spawn	bda3f66c01b6c1a322b4a5b6fbca09edc590b88a11132df69d8b5d429f007b72
     15 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	join	40bce75ad3dc0021586c624a2b8d926df47ebbc021068cf381562c5a344586d1
     16 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	discard	8826a6e9d9b409968502f93762532eb0c06cf150b87e6daf67ee28f95040eaf4
     17 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	cancel	1c84141b6aae1a2819ceeae693c2854847c91d2c446a4bf12a2c1e37ee8a701f
     18 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	cancelled	f7c51a22822fc40706997fb2ebdb877df593ac4056aa51319df2a36d140776d4
     19 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	request	3abfe5aab260581613a3d8106e323c74aa8142a7d0f4799213a37e3ea1b6c04f
     20 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	capabilities	365ad350151a9152911227086b5fd2e9017b371b7a7fca0e99e2f1bc5e21009a
     21 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	inspect	d304682145bcc0000e937fbbe41621f4d8df7d9e8f42b0035b17167c28369b51
     22 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	stdin	a30698f83a9f5815c65945ae39b3912cc4264e1e79c51cee57744b6ce3f10757
     23 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	stdout	7820819dc7400d5fffeeb87e91c5e4ecb25b46775bc9800baa64b18f4d615c9f
     24 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	stderr	5c35a56643977de83a8a8e10a196b3fae231cd1a982abcb0c9492c3e9579a8d5
     25 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	openReader	a41d9e1938dd0a85e98897b7d57faff55cf96ba11661a9cb60c5985c5dc93fc6
     26 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	openWriter	c33d2f16d8a052744f19e8072318ebc1081fbfaea98d5eac51a4e5431d899c0a
     27 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	openAppender	5bbc96d76fa8f38cd21cd844592859c9efc7a598a539b6a5457a0cf9fac4f91f
     28 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	openUpdate	477aea8722acfbf3d6ef4b700cd3f6f724bad1ac4a5e6400c39bc3d84df45bd0
     29 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	seekFile	859ac514c00bb6852c100ca42bc2ed515332ebd405e387baed7342f93b5c94d7
     30 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	filePosition	90cc28cb46cbb8f79e3e0a6ac138f244b8b5167157d1ee720c6713f96513fff5
     31 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	syncFile	c29a636f6f7f35070ad12042519aed619091e393c1a0e4d61a38385ef2c31206
     32 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	syncDirectory	6491c1c4ab72034746a799de85e31eadca9445fe12c0be9355a20ebf0ec5a608
     33 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	fileSize	0186572ea8f1be7817406d15f910eb13c9f925af6dafb54fc808c19f980b56aa
     34 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	resizeFile	b1b5fcdb573ac0460bc8ff60c577a3d85a582e6aa661a642bb49e06f01dda9a3
     35 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	statPath	513f52a19b3cf872eea18eea956fe0cecb3995d07b6e134853ead065d5fbb647
     36 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	lstatPath	68d123bb079cc232e3a8a99673771a6df1a83badf83326452c76417648a6ecd7
     37 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	removeFile	18da7334b79baccc33a9538d4750c8d8b62f0f8db1cdc4910b3ce64bbb327459
     38 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	renamePath	0619553d5cca562f93856afd2f1e7c409f696a07b6a00043bb27e167791a9344
     39 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	createDirectory	8136017269eb4fa462c2d86e381779491de06283bf6cbf00c740da67fe986868
     40 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	removeDirectory	3cd02315dac629f0e918bea587f5b03b386d2f1070abb7d5be01b3b1632e6171
     41 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	openDirectory	c5edc8e8855356dc62f2aacdf1afd878f32a0662069fe450b27538199b71eadc
     42 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	nextDirectory	25e9e78a913aec06d25395d8de4b61ed561fb786166e6efbb37a22a569968edc
     43 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	ipv4	3667096b342a98374200ccd9a40f1d36e84cb1f39f4c740375ba29600bbd0caa
     44 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	ipv6	2b89fcafd18bb2528c95f56a6101aeea729b3b088a2d53dcffd79e462643a868
     45 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	resolveTCP	36209d56b0a33a7966294ed8f3e2c6b7154efe08e77f7ebb3ca9952421746ead
     46 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	listenTCP	d77b1f3c7f716bdf9aa12d8983654025662170e16727e96c03077b43d7a1ea7d
     47 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	connectTCP	5e8ac6f30813d03f75c71b9db8c4f2f899f932cca50a29a39a701f3bc8457909
     48 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	acceptTCP	7851d6db408e6c1404c35a4e0d7402db5dbfc2c87d935069d603ef64f5a39eca
     49 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	localAddress	6b6e0b431b0706db937a39c60b94cbe007ea5b6aaaecf85bdd5134f6fffeb7cf
     50 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	peerAddress	b5cff0c1c86cf8f5734b66dbd6d5de1e385c857f569d90f5bf244dfc5b6211d2
     51 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	shutdownWrite	39ffad7fe77ce956ad53a90deb8b63e449389624f84b4a9e7847b3129b225373
     52 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	readIndexedTree	675a2f777ead07497bcbe43b50cb7a21d45f563dea9c65487e7ab39992b4733f
     53 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	hashIndexedTree	55e3e229a651db71a984f84285fa03104184b27a87f58c1b3074a0b286c254dd
     54 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	writeIndexedTree	3b58dad3510d46c72b12389ead4dad02a6691f138f770ce7d399805e49b79299
     55 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	verifyIndexedTree	83d527f1d28349884095523f9e588dd3436fbdb02f6d72f4e973de2766a6fe47
     56 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	encodeUTF8	225c42665eb739d1768052c9d636f5e2849b31e3050b41ad1c27fae3cf75d08f
     57 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	decodeUTF8	9f18a760f70f206d2645bf7c0b712a90d418a67007998320637e8d919cb01342
     58 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	readSome	4ad391e3e89417ceef715817ffa5582d1dd7519c04e20f0854a9dbc3135e0155
     59 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	writeSome	757a88089d6ad1b7cd7c7eb9943003e894a0f6bd2b58fa1ba5467b4b2cd6ad42
     60 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	snapshotBytes	1688a8cd90b9947ed9cfb9b3dc5f0b1afd28ab6b2d18d9e94dc9529bcb3211a3
     61 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	transferBytes	e96444bdb1dde8fcaecb63e8b33fe4c6f16abf2e0c216059bc9818a992543156
     62 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	close	870a47e4809a0589faa2cfa927c98b7d854264972f4e037a98f10f6aea58c0fd
     63 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	openStage	c7e69517d9953f27587ddd34db3d2c4cbb7dba9e55b14ebded559bf70cb180e0
     64 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	sealStage	dff49c31ab9fbc0777a47785facb5f22ce3966e64e14114c460a2784d1f5f49b
     65 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	publishNew	0c3b13ceb889ae4b6b590692f4ff0b78a08aaa20906e04a574162afad2c56497
     66 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	publishReplace	52fdb07be8d8be524571cdd4e111c2a79da1bb5ffee1221e2194baffe6e81cd3
     67 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	openDigest	209c4d7ad24deb2796014bf101f74f983d84bf07b24cd9390e0076a9a011a052
     68 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	updateDigest	18efd0d1e27239e35be941e2160c78b8b5a240c950a4a7f2c267f694deff58b0
     69 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	finishDigest	b5dd1cba21d949cd88a92c9807a6cedd4b81ba4c2df41eca4936cc61c40a1957
     70 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	onOk	4ff0cdb55ebefb4145684ee870807093b5512a07ae053ab22dc896aeefaa7161
     71 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	ensureDirectory	0a6077a21965d52676f824c35869459d79c1b973bc5b7e7f05a8a5f2078aa4d1
     72 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	connectCandidates	23653bbed0fd3786dafe51703efa6bff7141655fa9368b2d7b2c387f32e2b5ea
     73 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	connectFirstTCP	89b154e8b31849f05fc0f1f4e478e53394c1fb0ddcce2b8ea301c16a5b13d64b
     74 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	require	773366218d5de142e18472cb59ced5ba07c452f0e6a7482e75387d459fc69272
     75 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	dropWritten	f4cc81f6e8fb8c0c8ed6342bb651a022b6f1465bd9f142a6a8e7df0d126bfe92
     76 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	writeAll	e282c02c983a83d551c77f2df7bd1cae4ddf50b6189bf1866b7aacdda701fab6
     77 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	copyStream	c226d492dcb56af7089a1d38a5934e6715f9bf53c0fde61d7152738cf96afa4f
     78 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	monotonicNanoseconds	f7780fe869308ac7dd647a049926492b47057719c6ca8c58152b4b655b151a0e
     79 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	sleepMilliseconds	f7f5080df8d1afdb724b3ff776730b40df2e61b04d626cef1e10e516bbf1d354
     80 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	yield	3aed4eaa184bea81de330339d737a14cceddd50286879b3f9658a9488e6910c5
     81 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	spawnProcess	58bc6e3cfae96f93853a2e34a838276aac89aa43014c97d618f60ce4b01d2c67
     82 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	workingDirectory	ac83516cd538e2f469b7b26346f87b5a25a42015561c40dd881885ce7b0d2c90
     83 pin	io	867297ac5383885892a84acc2630c94491fc6ea436aaaccd5bc49d866c631400	environmentVariable	9d94a461b9eb18c173b0181898c94f6946eb91d85fdaa15fccc649437da271d1
     84 pin	io_text	1f960c57efadb21eb66bba8a057181c6ca744b7d110064a37522daabf230d691	readSource	cf0520ae583654aa09268e73a5872878a454e74c9bb23359c34b2c328d752acd
     85 pin	io_text	1f960c57efadb21eb66bba8a057181c6ca744b7d110064a37522daabf230d691	readText	eb7424b80276a6853732e3bed47194a1a23c060a951905f4c78671bf3f822fa3
     86 pin	io_text	1f960c57efadb21eb66bba8a057181c6ca744b7d110064a37522daabf230d691	encodeText	8f02e9ed4cb8298203339440aee06b9361f28384159fde6b872901baf6521379
     87 pin	io_text	1f960c57efadb21eb66bba8a057181c6ca744b7d110064a37522daabf230d691	writeText	ae7c3e0aa506ad5f71c5b0ef28b4ae9a2e6e1c1a6175db90dbbc4f84101835d1
     88 pin	io_text	1f960c57efadb21eb66bba8a057181c6ca744b7d110064a37522daabf230d691	lineCursor	6876bc7f273abba02af9cfab878ee2e914b2943ed88e92616caf203b35bdfd40
     89 pin	io_text	1f960c57efadb21eb66bba8a057181c6ca744b7d110064a37522daabf230d691	readLine	b65089f33a261cd6dc389b5b3cfb32fce02f724ddd17b6a8c4c85a6e4fcf53ae