OSDN Git Service

Editing Trees; implemented BTree-Delete.
[joypy/Thun.git] / docs / sphinx_docs / _build / html / searchindex.js
1 Search.setIndex({docnames:["index","joy","lib","library","notebooks/Advent of Code 2017 December 1st","notebooks/Advent of Code 2017 December 2nd","notebooks/Advent of Code 2017 December 3rd","notebooks/Advent of Code 2017 December 4th","notebooks/Advent of Code 2017 December 5th","notebooks/Advent of Code 2017 December 6th","notebooks/Categorical","notebooks/Developing","notebooks/Generator Programs","notebooks/Hylo-, Ana-, Cata-, and Para-morphisms - Recursion Combinators","notebooks/Intro","notebooks/Newton-Raphson","notebooks/NoUpdates","notebooks/Quadratic","notebooks/Replacing","notebooks/Trees","notebooks/Zipper","notebooks/index","parser","pretty","stack"],envversion:52,filenames:["index.rst","joy.rst","lib.rst","library.rst","notebooks/Advent of Code 2017 December 1st.rst","notebooks/Advent of Code 2017 December 2nd.rst","notebooks/Advent of Code 2017 December 3rd.rst","notebooks/Advent of Code 2017 December 4th.rst","notebooks/Advent of Code 2017 December 5th.rst","notebooks/Advent of Code 2017 December 6th.rst","notebooks/Categorical.rst","notebooks/Developing.rst","notebooks/Generator Programs.rst","notebooks/Hylo-, Ana-, Cata-, and Para-morphisms - Recursion Combinators.rst","notebooks/Intro.rst","notebooks/Newton-Raphson.rst","notebooks/NoUpdates.rst","notebooks/Quadratic.rst","notebooks/Replacing.rst","notebooks/Trees.rst","notebooks/Zipper.rst","notebooks/index.rst","parser.rst","pretty.rst","stack.rst"],objects:{"joy.joy":{joy:[1,1,1,""],repl:[1,1,1,""],run:[1,1,1,""]},"joy.library":{"void":[3,1,1,""],BinaryBuiltinWrapper:[3,1,1,""],DefinitionWrapper:[3,2,1,""],FunctionWrapper:[3,1,1,""],SimpleFunctionWrapper:[3,1,1,""],UnaryBuiltinWrapper:[3,1,1,""],add_aliases:[3,1,1,""],app1:[3,1,1,""],app2:[3,1,1,""],app3:[3,1,1,""],b:[3,1,1,""],branch:[3,1,1,""],choice:[3,1,1,""],clear:[3,1,1,""],concat:[3,1,1,""],cons:[3,1,1,""],dip:[3,1,1,""],dipd:[3,1,1,""],dipdd:[3,1,1,""],divmod_:[3,1,1,""],drop:[3,1,1,""],dup:[3,1,1,""],dupd:[3,1,1,""],dupdip:[3,1,1,""],first:[3,1,1,""],floor:[3,1,1,""],genrec:[3,1,1,""],getitem:[3,1,1,""],help_:[3,1,1,""],i:[3,1,1,""],id_:[3,1,1,""],ifte:[3,1,1,""],infra:[3,1,1,""],initialize:[3,1,1,""],inscribe:[3,1,1,""],loop:[3,1,1,""],map_:[3,1,1,""],max_:[3,1,1,""],min_:[3,1,1,""],over:[3,1,1,""],parse:[3,1,1,""],pm:[3,1,1,""],pop:[3,1,1,""],popd:[3,1,1,""],popdd:[3,1,1,""],popop:[3,1,1,""],pred:[3,1,1,""],remove:[3,1,1,""],rest:[3,1,1,""],reverse:[3,1,1,""],rolldown:[3,1,1,""],rollup:[3,1,1,""],select:[3,1,1,""],sharing:[3,1,1,""],shunt:[3,1,1,""],sort_:[3,1,1,""],sqrt:[3,1,1,""],stack_:[3,1,1,""],step:[3,1,1,""],succ:[3,1,1,""],sum_:[3,1,1,""],swaack:[3,1,1,""],swap:[3,1,1,""],take:[3,1,1,""],times:[3,1,1,""],tuck:[3,1,1,""],uncons:[3,1,1,""],unique:[3,1,1,""],unstack:[3,1,1,""],warranty:[3,1,1,""],words:[3,1,1,""],x:[3,1,1,""],zip_:[3,1,1,""]},"joy.library.DefinitionWrapper":{add_def:[3,3,1,""],add_definitions:[3,3,1,""],parse_definition:[3,3,1,""]},"joy.parser":{ParseError:[22,4,1,""],Symbol:[22,2,1,""],text_to_expression:[22,1,1,""]},"joy.utils":{pretty_print:[23,0,0,"-"],stack:[24,0,0,"-"]},"joy.utils.pretty_print":{TracePrinter:[23,2,1,""]},"joy.utils.pretty_print.TracePrinter":{go:[23,5,1,""],viewer:[23,5,1,""]},"joy.utils.stack":{expression_to_string:[24,1,1,""],iter_stack:[24,1,1,""],list_to_stack:[24,1,1,""],pick:[24,1,1,""],pushback:[24,1,1,""],stack_to_string:[24,1,1,""]},joy:{joy:[1,0,0,"-"],library:[3,0,0,"-"],parser:[22,0,0,"-"]}},objnames:{"0":["py","module","Python module"],"1":["py","function","Python function"],"2":["py","class","Python class"],"3":["py","classmethod","Python class method"],"4":["py","exception","Python exception"],"5":["py","method","Python method"]},objtypes:{"0":"py:module","1":"py:function","2":"py:class","3":"py:classmethod","4":"py:exception","5":"py:method"},terms:{"0b11100111011011":11,"10m":13,"10n":13,"4ac":17,"5bkei":19,"\u03b5":15,"abstract":[14,19],"boolean":[2,3,14,19],"break":[9,14],"byte":11,"case":[2,3,5,9,13,24],"class":[3,14,22,23,24],"default":[3,8,12,24],"export":[3,22],"final":[2,6,13],"float":[3,14,20,22],"function":[0,1,4,5,6,7,8,10,11,12,16,20,21,22,23,24],"g\u00e9rard":20,"import":[2,4,5,6,7,8,9,11,12,13,15,17,18,19,20],"int":[6,12,13,14,20,22,24],"long":21,"new":[2,3,6,12,13,14,15,16,18,19],"public":16,"return":[1,3,5,6,8,9,11,13,14,15,17,18,19,22,23,24],"short":17,"static":[2,16],"switch":2,"true":[2,3,5,6,11,13,19],"try":[6,12,13],"void":[0,3],"while":[3,6,8,9,14,19,22,24],Adding:[14,21],And:[4,6,11,12,13,15,19,20,24],But:[0,5,10,11,13,14,18,19],CPS:14,For:[2,3,4,5,6,7,8,12,13,19,21,24],Going:5,Has:3,Its:3,Not:6,One:[2,14],RHS:19,TOS:[2,3,13],That:[11,13,19],The:[0,1,2,3,4,5,6,7,8,10,12,15,16,17,20,21,22,24],Then:[2,3,5,8,17,19],There:[6,8,13,19,24],These:[21,24],Use:[3,13,15],Using:[6,13,15,19],With:[4,13,15],__str__:23,_within_b:15,_within_p:15,_within_r:15,aaa:7,abbrevi:19,abl:17,about:[0,6,8,14,19,20,24],abov:[0,6,11,15,17,19],abs:[6,15],absolut:[6,14],accept:[1,2,3,11,13,14,15,19,20],access:[6,8],accomplish:17,accordingli:19,accumul:11,across:[6,8],act:15,action:[14,20],actual:[2,6,11,14,19],adapt:21,add:[3,4,5,6,11,12,14,17,23],add_alias:3,add_def:3,add_definit:[3,8,13,19],add_if_match:4,add_valu:8,added:[10,19],adding:[6,16],addit:[0,2,3,8,11,13,14,19],admit:6,advantag:13,after:[4,6,8,11,12,14],afterward:14,again:[2,3,6,8,11,14,15,19],against:[5,6],aggreg:[3,20],aka:[14,20],albrecht:0,algebra:19,algorithm:14,alia:3,alias:[3,14],align:[14,23],all:[3,4,5,11,12,13,14,19,23],alloc:6,allow:[13,16,19],almost:19,along:[13,14,17],alphabet:3,alreadi:[6,15,18,20],also:[0,11,13,14,19,24],altern:[10,19],although:[4,10,19],altogeth:12,alwai:[6,11,13,16],amort:19,amount:6,analysi:[10,21],anamorph:14,ani:[8,10,11,14,16,19,20,22],annual:14,anonym:19,anoth:[4,13,19,24],answer:6,anyth:[2,3,14],aoc20017:5,aoc20173:6,aoc2017:[4,5,6,7,8,9],api:16,app1:3,app2:[3,5,14,17,18],app3:3,app:14,appear:[2,7,10,11,19],append:8,appli:[2,3,5,11,19],applic:12,approach:[11,17],approxim:21,archiv:0,aren:20,arg:[2,3],argument:[2,3,12,13,14,15,23,24],arithmet:2,ariti:2,around:[11,24],arrai:8,arrang:8,arriv:[12,19],articl:[0,10],ask:[6,10,12],aspect:[0,6],assembl:8,assert:[6,9],assign:24,associ:19,assum:[4,5,7,8,15],asterisk:19,attack:14,attempt:[0,1],attribut:3,automat:[10,13,21],avail:[0,7],averag:[14,18],avoid:19,awar:2,awkward:19,azur:21,back:[6,8,19],backward:[16,19],bag:14,banana:[13,19],bank:9,barb:13,base:[0,2,3,5,9,13,16],basic:[1,2,3,4,6,14,19],bear:8,beat:8,becaus:[2,3,4,5,6,8,13,14,19,20,24],becom:[4,17,19,24],been:[13,15,16,19,20],befor:[5,8,12,13,14,19],begin:[6,13,19],behavior:[16,19],behaviour:[0,1],behind:8,being:0,belong:8,below:[2,3,6,11,12,19,20],bespok:14,best:0,better:[6,11,12,19],between:[0,5,6,11],biannual:14,big:[6,8,19],binari:[0,12,14,19],binary_search_tre:19,binarybuiltinwrapp:3,bind:14,bingo:20,bit:[6,11,12,19],block:[9,11],bodi:[2,14,19],body_text:3,bool:[5,13],borrow:14,both:[2,6,8,11,13,14,17,18,19,24],bottom:12,boundari:6,bracket:[6,14,22],branch:[3,4,5,8,11,12,19],breakpoint:14,bring:[11,14],btree:21,buck:19,bug:[0,14],build:[13,14,19,20,24],built:[13,17],bundl:[2,3],burgeon:14,calcul:6,calculu:10,call:[2,13,14,15,16,17,19,23,24],caller:19,came:[8,19],can:[0,2,3,4,5,6,10,11,12,13,14,15,16,17,18,20,21,24],candid:5,captur:14,card:14,care:[6,11,24],carefulli:[19,20],carri:[4,6,13],cartesian:10,categor:[0,17,21],categori:10,ccc:10,ccon:19,ceil:6,certain:[14,24],certainli:19,chang:[2,6,8,16,19,20],charact:20,chat:14,chatter:0,cheat:9,check:[5,12,13],checksum:5,child0:19,childn:19,children:19,choic:[3,13],choos:[16,19],circuit:10,circular:[4,19],cite_not:19,classmethod:3,clear:[3,6,11,14],cleav:[4,5,7,14,17,18],close:[0,1,10],clunki:11,cmp:21,cmp_:19,code:[0,1,10,13,19],collaps:13,collect:[10,12,14],column:6,combin:[0,3,7,11,12,14,15,17,20,21],come:[6,8,14],command:[4,14,17,19],common:[2,11,13],compar:[6,10],comparison:0,compel:10,compil:[2,8,10,13,14,18],complet:10,complex:[3,20],compos:13,compound:19,comput:[2,5,6,8,10,11,14,17],con:[3,5,8,9,11,12,13,14,15,17,20,24],conal:10,concat:[3,4,12,13,14,19],concaten:0,concatin:[0,3,24],concis:6,concret:13,concurr:2,condit:[8,14],condition:5,confid:6,conflict:19,cons2:19,consecut:[12,21],consid:[8,11,12,13,19,20],consist:[2,6,14,19],constant:19,constitu:13,consum:[5,13],contain:[0,2,3,6,7,12,13,14],context:2,continu:[0,5,13,20],control:14,conveni:10,convert:[13,18,19,22,24],cook:13,cool:19,copi:[2,3,4,11,13,19,21],copyright:14,corner:6,correct:6,correctli:19,correspond:10,could:[2,6,8,10,11,13,14,16,19,20],count:[3,6,7,12],count_stat:9,counter:11,cours:[6,8,11,13,19],cover:6,cpu:6,crack:19,crap:21,crash:19,creat:[0,2,3,4,11,12,13,15,19],crude:[19,22],current:[2,3,8,13,14,20,23],custom:16,cycl:[11,12],cython:14,dai:[13,14],data:[2,3,6,21],datastructur:[0,2,13,20,22,24],datatyp:24,ddididi:20,deal:[0,4,19],debugg:13,decid:19,decor:3,decoupl:13,decreas:6,decrement:3,deduc:11,deeper:0,deepli:10,def:[3,6,8,9,13,14,17,18,19,24],defi:3,defin:[2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,20],definit:[2,3,7,8,11,12,13,14,15,16,19,21],definitionwrapp:[3,8,13,19],deleg:14,delet:21,demonstr:[10,13],depend:[13,19],deposit:19,dequot:[4,13],deriv:[2,3,4,5,11,14,15,21],descend:5,describ:[3,10,13,19,22],descript:[11,14,19],design:[2,3,5,19],desir:[6,14,19],destruct:19,detail:[6,14,19],detect:[5,12,13,19],determin:[5,6],develop:[0,12,14,21],diagram:11,dialect:1,dict:[1,3],dictionari:[0,1,3,14,15,17,19,21],did:6,didn:13,differ:[0,5,7,10,11,13,15,17,19,24],differenti:10,dig:20,digit:[4,11],dimension:6,dinfrirst:14,dip:[3,5,6,8,9,11,12,13,14,15,17,18,19],dipd:[3,8,12,13,14,17,19,20],dipdd:[3,19],direco:[9,15],direct:14,directli:[6,11,19,24],disappear:2,discard:[3,12,13,15,19],discov:5,disenstacken:[14,19],disk:14,displac:2,distanc:6,distribut:9,ditch:19,div:[3,14],dive:19,divid:5,divis:[5,19],divisor:5,divmod:[3,5],divmod_:3,doc:[2,3,14],document:[21,22,24],doe:[0,1,5,6,8,10,13,14,21,23],doesn:[4,8,11,13,16,19,24],dog:19,doing:[6,10,11,13,14,20],domain:[6,10],don:[5,6,8,11,14,19],done:[2,11,12,14,16],doodl:6,door:14,dot:23,doubl:[11,14],down:[2,3,6,8,15,20],down_to_zero:14,downward:8,dozen:14,draft:[9,10,16],dream:14,drive:12,driven:[11,15],driver:12,drop:[3,4,19],dudipd:14,due:4,dummi:5,dup:[3,4,5,6,8,9,11,12,13,14,15,17,19,20,24],dupd:3,dupdip:[3,5,6,11,13,17,19],duplic:[3,7,13,19],durat:2,dure:[2,13],each:[2,3,4,5,6,8,10,11,13,14,18,19,23],easi:[0,6,19,20],easier:[3,4,19],easili:10,edit:21,effect:[2,3,14,20],effici:[6,8,18,20],either:[1,2,3,5,13,19],eleg:[8,14,17,19],element:[2,3],elliott:10,els:[2,3,4,5,8,9,13],embed:[10,19,20],empti:[3,5,14,24],encapsul:14,enclos:14,encod:[8,12],encount:8,end:[6,8,11,13,24],endless:12,enforc:[2,14],engend:14,enlarg:6,enough:[6,13,14,17,23],enstacken:[12,14],ensur:7,enter:14,entir:24,entri:[3,20,23],epsilon:15,equal:[11,24],equat:[6,14,15],ergo:[6,13,19],err:19,error:[6,14,22],escap:8,essai:0,etc:[3,6,20,22],euler:21,eval:0,evalu:[1,2,3,4,13,14,15,17,18,19],even:8,evenli:5,eventu:[6,17],everi:12,everyth:[3,19],evolv:16,exactli:13,exampl:[0,3,4,5,6,7,8,11,12,13,15,19,22,24],exce:12,except:[14,19,22],execut:[0,1,2,3,5,14,18,20,24],exist:10,exit:8,expect:[2,3,5,13,19,24],experi:14,experiment:6,explan:14,explor:14,express:[0,1,2,3,10,13,18,19,20,23,24],expression_to_str:24,extend:6,extra:[4,5,11],extrem:14,extrememli:14,facet:0,facil:14,fact:[19,22],factor:[2,11,14,21],fail:[2,3,5,19,22],fals:[2,3,5,9,11,13],far:[8,13,15,19],fascin:0,fast:6,faster:6,favorit:17,fear:19,feel:6,few:[6,11,14],fewer:[3,14],fib:12,fib_gen:12,figur:[2,3,6,19],filter:19,fin:11,find:[2,3,4,5,11,12,19,21],finder:15,fine:[0,11,19],finish:17,first:[3,4,5,6,8,9,12,13,14,15,17,18,19,20,21],fit:[11,14,17],five:[11,13,14],fix:[2,3],flag:5,flatten:[14,19],flexibl:19,floor:[3,6],floordiv:11,flow:14,follow:[0,2,3,5,8,13,14,15,16,20],foo:[14,16,19],foo_ii:16,form:[2,3,5,7,10,11,12,21,24],forman:14,format:[21,23],formula:[0,6,11,21],forth:[4,8,14,19],fortun:8,forum:0,forward:[5,8],found:[8,9,14,19],four:[2,3,6,8,11,12,14,19],fourteen:11,fourth:[2,3,4,19],fractal:14,fraction0:14,fraction:[2,14],framework:14,free:[10,14,19],freeli:[2,6],from:[0,1,2,3,4,5,6,7,8,9,11,12,14,15,17,18,19,20,21,24],front:[2,3],full:[7,11],fun:6,functionwrapp:[3,19],funtion:19,further:[15,21],futur:17,garbag:14,gari:19,gcd:14,gen:9,gener:[2,3,6,8,10,21,24],genrec:[3,5,8,13,14,19],geometr:11,geometri:19,get:[2,5,6,10,11,12,13,14,21],get_valu:8,getitem:3,getrecursionlimit:24,getsourc:14,ghc:10,give:[6,10,11,13,15,24],given:[2,3,4,5,6,8,9,11,12,15,20],glue:14,goal:8,going:[5,6,8,19,20],good:[8,11,19],grab:3,grammar:22,grand:14,graph:6,great:[0,4,6,14,21],greater:[6,24],grid:6,group:[0,6],gsra:15,guard:[5,6],had:[11,20],haiku:14,half:[11,20],half_of_s:4,halfwai:4,hand:[14,17,18,19,21],handi:15,handl:24,happen:[6,14,19],hard:20,hardli:13,hardwar:10,has:[0,2,5,6,8,12,13,14,15,16,19,20,24],haskel:10,have:[2,3,4,5,6,8,9,11,12,13,14,15,16,19,20,21,24],head:[5,13,24],help:[7,13,14,19],help_:3,helper:[3,5],herd:14,here:[6,11,12,13,17,19,20],heterogen:19,heurist:[4,8],hide:19,higher:[14,19],highest:[5,19],highli:[14,19],hindsight:5,histori:23,hmm:19,hog:19,hoist:3,hold:11,hood:8,hope:[0,11,14,21],host:21,how:[0,6,7,8,10,13,19,20],html:[2,3,12,17,21],http:19,huet:20,hugh:[15,19],human:14,hypothet:2,id_:3,idea:[10,11,14,19],ident:[3,13],identifi:6,ift:[3,4,5,8,13,19],ignor:[3,19],illustr:13,imagin:20,immedi:[8,13],immut:[14,19],imper:13,implement:[0,1,2,3,6,9,10,13,14,16,17,19],impli:5,implicit:14,includ:[7,10],inclus:11,incom:24,incompat:16,incr_at:8,incr_step_count:8,incr_valu:8,increas:[6,8,11],increment:[3,10,11,16],index:[0,6,9,14,24],index_of:9,indexerror:24,indic:19,infil:19,infinit:6,inform:3,infra:[3,12,13,14,17,18],infrastructur:3,init:8,init_print:6,initi:[2,3,5,6,7,8,14,15,19],inlin:19,inner:5,input:[1,4,5,6,7,13,15],inscrib:3,inspect:14,instal:0,instanti:[10,23],instead:[6,11,12,13,19,20,24],instruct:8,integ:[2,3,4,5,6,7,8,12,13,14],integr:3,intend:[0,14],interact:[14,21],interest:[0,6,11,12,19],interlock:6,interlud:21,intermedi:13,intern:[0,23,24],interpret:[0,10,13,16,22,23],interrupt:14,interv:[10,11],introduc:16,introduct:0,invari:3,invers:3,investig:17,ipf:14,ipynb:12,isn:[13,20],item:[2,3,4,5,9,13,14,19,24],iter:[1,3,6,13,14,21,24],iter_stack:[9,18,24],its:[0,2,3,5,6,10,11,13,14,19,24],itself:[0,2,8,14,19],j05cmp:[2,3],jenni:19,job:[8,21],john:[15,19],joi:[2,4,5,7,8,9,10,15,16,17,18,19],joypi:[8,9,13,14,19,20],jump:8,jupyt:21,just:[0,2,3,4,5,6,8,12,13,14,16,20],keep:20,kei:21,kevin:0,key_n:19,keyerror:19,kind:[2,6,8,10,13,14,19],kleen:19,know:[6,11,13,19],known:10,labda:10,lambda:[10,13],lambdifi:6,languag:[10,14,16,17,19],larg:6,larger:[6,24],largest:[3,5,8],last:[4,8,11,13],lastli:[12,13],later:[8,14],law:2,lazi:15,lazili:15,lcm:11,lead:[8,14],leaf:19,lean:14,learn:[0,9],least:[2,6,8,11,13,24],least_fract:14,leav:[5,6,8,11,12,19],left:[6,12,13,14,20,23,24],leftov:13,legendari:8,legibl:8,len:9,length:[3,11,24],lens:13,less:[11,12,13,14,24],lesser:6,let:[4,5,6,8,12,13,15,17,19,20],level:[10,19],librari:[0,6,8,9,15,17,18,19],lieu:19,like:[2,3,5,6,9,11,13,14,15,17,22],line:[3,5,8,13,14,19,23],linear:24,link:0,linux:0,list:[0,3,4,5,7,8,9,11,14,15,20,21,23],list_to_stack:[8,9,24],liter:[1,19,20,22],littl:[6,8,19,21],live:21,lkei:19,load:[11,14],locat:[2,6],locu:23,log_2:19,logic:[0,11],longer:19,look:[6,12,14,15,19],lookup:[14,19],loop:[0,1,3,11],lot:[14,17,19,20],love:11,low:10,lower:[11,19],lowest:[5,19],machin:[0,19],machineri:19,macro:14,made:[0,5,14,19,20],mai:[2,8,13,19],mail:0,main:[0,3,4,14,20],mainloop:16,maintain:20,major:16,make:[2,3,4,10,11,13,14,18,20],make_distributor:9,make_gener:15,manfr:[0,2,3,10],manhattan:6,mani:[0,6,7,8,12,13,14],manipul:6,manual:[6,13],map:[1,3,11,13,14,16,17,19],map_:3,mark:[6,8],marker:14,mask:[11,12],match:[0,1,4],materi:0,math:[0,6,8,14,19],mathemat:[6,14],matter:[4,11,13,15,19],max:[5,6,9],max_:3,maximum:[3,19],maxmin:5,mayb:[13,19],maze:8,mean:[5,10,11,13,14,15,19,24],meant:[13,14,17,19],meantim:8,mem:8,member:[2,3,6],memori:6,mental:14,mention:2,mercuri:0,merg:19,meta:[14,19],methink:19,method:[0,3,6,14,21,23],mfloor:6,midpoint:11,might:[4,10,12,13,19],million:12,min:5,min_:3,mind:8,minimum:3,minu:[3,17],mirror:0,miscellan:[0,21],mistak:9,mix:14,mnemon:4,mod:3,model:[10,14],modern:0,modif:12,modifi:[8,14,20],modul:[0,1,3,14,22],modulu:14,monkei:6,month:14,more:[0,3,7,8,10,11,12,13,14,15,17,18,19,22,24],most:19,mostli:0,move:[4,6,8],movement:2,mrank_of:6,much:[6,8,11,13,19],muck:19,mul:[14,17,20,23],multi:3,multipl:[13,21],must:[2,3,5,6,7,11,13,16],mutabl:8,n_rang:12,nail:8,name:[1,3,4,14,16,20,21,22,24],natur:[11,12,19],navig:20,need:[2,3,4,5,6,8,9,11,12,13,15,16,19],neg:[3,8,17],nest:[14,19,20],network:14,never:16,newton:[0,21],next:[4,5,6,8,11,13,19],nice:[0,4,6,13,24],niether:2,node:21,node_kei:19,node_valu:19,non:[5,19],none:[1,3],normal:[7,13],notat:[14,19],note:[2,6,11,15,19,24],notebook:[11,14,20,21],notebook_preambl:[2,4,5,6,7,8,9,11,12,13,15,17,18,19,20],noth:[2,19],notic:11,now:[4,5,6,11,12,13,14,18,21],nth:[3,24],nullari:[5,8,9,14,19],number:[1,2,3,5,11,12,24],object:22,observ:11,obviou:12,obvious:[5,7,8],occur:19,odd:[11,12],off:[2,3,6,11,12,20],offset:8,offset_of:6,old:[2,18],omit:13,onc:[3,7,16,17,19],one:[2,3,4,5,6,7,8,11,12,13,17,19,23,24],ones:12,onli:[2,3,4,5,6,8,11,13,19,20,24],onto:[1,2,3,14,24],open:[7,14],oper:[3,5,13,14,19,24],oppos:4,option:[1,14,19,24],order:[2,3,4,5,13,14,21,24],org:[0,19],origin:[0,1,2,3,4,19,20],other:[0,2,3,5,6,10,13,14,19,24],otherwis:[3,5,11,12,19],our:[4,5,6,11,12,13,14,15],ourselv:13,out:[2,3,6,10,11,12,13,14,19,20],outcom:19,output:[6,13,15],outsid:[8,10],outward:6,over:[3,4,6,10,11,12,14,15,17,19,21],overhead:6,overkil:13,overshadow:6,own:[6,19],pack:[19,24],packag:[0,14],page:[0,17,19,24],pair:[2,3,4,5,11,12],pair_up:4,palidrom:11,palindrom:11,pam:[14,17],paper:[6,10,13,14,19,20],parallel:2,paramet:[1,2,3,8,13,22,23,24],paranthes:19,parenthes:[8,19,24],pariti:12,pars:[0,3,14,19],parse_definit:3,parseerror:22,parser:0,part:[2,3,5,8,13,15,17,19],partial:[6,13],particular:20,particularli:8,pass:[0,19,23],passphras:7,path:6,pattern:[6,11,19],payoff:13,pe1:[11,12],pe2:12,pearl:20,pend:[3,13,14,20,23],peopl:21,per:[6,14],perform:8,perhap:12,period:14,permit:[8,24],persist:19,phase:2,pick:[11,12,24],pickl:14,pictur:19,piec:13,pip:0,pita:9,place:[3,6,8,11,13,14],plai:0,plain:8,plane:6,plu:[3,6,17],plug:[12,13,19],point:[6,10,13,14,19],pointless:2,pop:[3,4,5,8,9,11,12,13,14,17,18,19,24],popd:[3,8,14,15,18],popdd:[3,5,12,17],popop:[3,4,5,8,9,11,12,13,14,15,19],port:6,posit:[3,8,11,13,14],possibilit:19,possibl:[5,19,21],post:[14,19],potenti:3,power:14,pragmat:11,pre:[8,13,19],preambl:15,precis:[0,1],pred:3,predic:[2,5,12,13],prefer:13,prefix:[13,23],prep:[5,19],prepar:[8,13],preprocessor:13,present:19,preserv:10,pretti:[6,17,19,23,24],pretty_print:0,prevent:13,previou:[6,8,14],prime:[5,15],primit:[2,3,8,17],primrec:[3,5,8,9,12,13,14,15],print:[0,1,2,3,6,13,23,24],probabl:[4,12,14,19],problem:[6,14,21],proc_curr:19,proc_left:19,proc_right:19,proce:[4,11],process:[8,13,14,23],processor:19,produc:[4,11,13,19],product:14,program:[0,2,3,4,5,6,8,12,14,15,20],project:21,prompt:14,proper:[2,3],properli:8,properti:0,provid:[0,3,10,14],prune:19,pun:[0,14],pure:[0,19],puriti:14,purpos:14,push:[2,3,13,14,20,24],pushback:[14,19,24],put:[1,2,12,14,24],puzzl:[4,5,6,7],pypi:0,pyramid:6,python:[0,2,3,6,8,13,17,19,20,21,22,24],quadrat:[0,6,21],queri:19,queu:13,quit:[0,1,6],quot:[0,3,12,13,14,15,17,19,20,23],quotat:[2,3],quotient:3,rais:[19,22,24],random:8,rang:[6,13,14],range_sum:13,range_to_zero:14,rank_and_offset:6,rank_of:6,raphson:15,rather:[11,13,14,19],ratio:14,reach:[8,11,12,13],read:[0,1,11,12,19,20],readabl:18,real:19,realiz:[4,8,10,19],realli:6,rearrang:[2,13],reason:[6,11,14],rebuild:20,rec1:[2,3],rec2:[2,3],recogn:22,record:[14,23],recur:13,recurs:[2,3,5,8,9,12,14,15,21,24],recus:14,recusr:19,redistribut:[3,14],reduc:2,redund:24,reexamin:19,refactor:[13,14,16],refer:[0,2],regist:2,regular:22,rel:[8,17],releas:16,relev:6,remain:[2,3,14,16],remaind:[3,15],remind:13,remov:[3,6,19,24],renam:19,render:[19,21],repeat:[4,6,11],repeatedli:11,repl:[0,1],replac:[0,2,3,12,13,19,20,21,24],repositori:0,repres:[2,14,19,22,23],represent:24,reprod:12,request:6,requir:[6,24],resembl:14,respect:11,rest:[3,5,9,11,12,14,19,20,21,24],restor:2,result:[1,2,3,5,11,12,13,17,19,20],resum:14,retir:2,retri:14,reus:19,revers:[3,4,5,11,12,13,20,24],rewrit:[8,14],rewritten:14,richard:19,rid:19,right:[6,12,13,14,23,24],rightmost:11,rkei:19,role:19,roll:[3,5,7,8,13,15,17,19],rolldown:3,rollup:3,root:[3,6,17,21],rotate_seq:4,round:4,row:[5,6],row_valu:6,run:[0,1,3,6,11,13,14,15,19,20],runtim:6,runtimeerror:24,sai:19,same:[2,10,11,13,19,24],sandwich:[2,3],save:[2,11,14],scan:3,scanner:[14,22],scenario:20,scheme:[17,19],scope:[4,19],search:[0,6,19],second:[3,4,5,13,14,19,24],secur:7,see:[0,6,12,13,14,16,18,19,20,23],seem:[0,9,11,14,19],seen:20,select:[3,6],semant:[2,3,14,16,19],semi:14,send:14,sens:[0,2,11,20],separ:14,sequenc:[0,1,2,3,4,5,7,8,9,11,14,18,19,20,22],seri:[6,11,12,13,19,20],serv:13,set:[2,3,13],seven:[11,12],sever:[0,10,14],share:[3,6,14],shelf:2,shift:[11,12],shine:8,shorter:21,shortest:6,should:[2,5,11,13,19],shouldn:14,show:[6,10,19,20],shunt:[3,20],side:19,sign:6,signal:5,signifi:[14,19],silli:19,similar:19,simon:14,simpl:[6,13,14,24],simplefunctionwrapp:[3,8,9,17,18],simplest:21,simpli:10,simplifi:[6,11,19,20],sinc:[2,6,11,17,19],singl:[3,12,14,18,22],situ:19,situat:19,six:[11,12,14],sixti:[11,12],size:[4,7,8,9,14,21],skeptic:14,skip:[6,8],slight:15,slightli:[13,19],small:[4,19],smallest:[3,5],smart:[8,13],sneaki:6,softwar:14,solei:2,solut:[6,11],solv:6,solvabl:14,some:[2,3,5,6,8,12,13,14,19,21,24],somehow:19,someth:[2,4,8,16],sometim:19,somewher:[13,19,21],sophist:6,sort:[3,5,13,17,19],sort_:3,sourc:[0,1,3,22,23,24],space:[6,11,23],span:11,special:[12,13,19],specif:[0,10],speed:[6,8,18],sphinx:[21,24],spiral:6,spirit:[0,1,19],split_at:4,spreadsheet:5,sqr:[14,17,20],sqrt:[3,6,15,17],squar:[3,6,21,22],stack:[0,1,3,5,8,9,11,12,13,15,17,18,19,20,22,23],stack_:3,stack_to_str:24,stage:19,stai:[0,1],stand:10,standard:14,star:19,stare:19,start:[5,6,8,9,11,12,13,14,15,17,19],state:[5,8,14],step:[3,4,5,6,7,11,14,17,18,19,20],step_zero:[4,5,7],still:[6,8,13],stop:19,storag:[11,13,19],store:[6,11,13],stori:13,str:[1,22,23,24],straightforward:[1,4,6,12],strang:8,stream:[11,15],string:[1,2,3,4,14,20,22,23,24],strip:6,structur:[13,14,19,20,24],stuff:19,style:[0,10],sub:[16,19],subclass:14,subject:20,subract:6,substitut:[6,13],subtract:[5,6,11],succ:3,success:15,suffici:[8,13],suggest:[5,10,19],suitabl:[3,10,11],sum:[3,4,5,12,13,14,17,18,19],sum_:3,summand:11,suppli:[13,19,22],support:[6,14,23,24],sure:[6,13],suspect:2,swaack:[3,13,17,18,19,20],swap:[3,4,5,6,7,9,11,12,13,14,15,18,19,20],swon:[3,9,12,13,14,19,20],swoncat:[8,9,12,13,14,15,19],symbol:[2,3,6,17,20,22],symmetr:[11,19],sympi:17,syntact:14,syntax:[14,24],sys:[6,24],system:[6,7,14,19],tail:[5,19,24],take:[3,4,6,8,11,12,14,15,17,19,24],taken:8,talk:[14,19,24],target:[6,20],task:6,tast:10,tbd:14,technic:2,techniqu:[10,20],technolog:2,teh:19,temporari:20,ten:11,term:[1,2,5,8,9,13,14,15,22,24],termin:[2,3,5],ternari:14,test:[2,3],text:[0,1,3],text_to_express:[14,22],textual:14,than:[0,3,6,7,11,12,14,15,17,24],thei:[2,5,6,11,12,13,14,19,20,22,24],them:[2,3,5,6,11,12,13,19,20,21],theori:[2,3],therefor:[12,19],thi:[0,1,2,3,4,5,6,8,9,10,11,12,13,14,17,20,22,23,24],thing:[2,5,6,8,12,13,17,19,20,22,24],think:[2,8,11,13,14,19],third:[3,4,5,12,14,19],thirti:11,those:[2,3,5,6,8,13,19,21],though:[11,12,19],thought:14,thousand:11,thread:2,three:[2,3,8,11,14,19],through:[1,11,14,20,24],thu:4,thun:[2,3,10,16],thunder:14,tied:19,tile:6,time:[3,6,8,9,11,13,14,19,20],tini:19,to_set:19,todai:14,todo:[14,21,22],togeth:[12,14],token:22,toler:21,tommi:19,too:[13,19],took:6,tool:14,top:[2,3,14,23,24],total:[4,6,11],total_match:4,trace:[0,14,17,20,21,24],traceprint:23,track:20,tracker:0,trade:6,transform:[10,13],translat:[6,10,13],travers:[20,21],treasur:0,treat:[0,2,3,21],treatment:12,tree:[0,14,21],treemap:13,tri:11,trick:[11,19],tricki:[6,8],trivial:[5,8,19],trobe:0,trove:0,truediv:17,truthi:[3,14],ts0:[13,19],ts1:[13,19],tuck:[3,5,14,19],tupl:[3,14,24],turn:[2,3,6],twice:[6,13,19],two:[2,3,5,6,11,13,14,15,19,20,24],type:[1,10,13,14,21,22,23,24],typic:[2,3],unari:[8,13,14],unarybuiltinwrapp:3,unbalanc:[19,22],uncon:[3,4,5,12,13,14,19,20],under:[2,3,8,14],understand:[0,6,19],undocu:14,unfortun:24,uniqu:[3,7,19],unit:[4,13,14,19],univers:[0,14],unless:[6,13],unlik:13,unnecessari:21,unpack:[2,3,24],unpair:11,unquot:[13,14,19],unstack:3,untangl:[12,13],until:[5,6,8,12],unus:11,unusu:19,updat:[0,21],upward:8,usag:14,use:[0,2,3,6,8,10,11,12,14,15,16,17,18,19,20,24],used:[3,10,13,14,19,20,22,24],useful:0,user:6,uses:[2,5,11,13],using:[3,5,6,12,13,17,19,20],usual:[0,2],util:[0,8,9,18,19],valid:7,valu:[2,3,5,6,11,13,14,15,18,21,24],value_n:19,valueerror:24,vanilla:8,variabl:[13,21],variat:13,varient:19,varieti:[10,14],variou:0,vener:24,verbos:10,veri:[0,1,6,10,14,19,24],versa:2,version:[0,1,2,12,16,17,20,21],via:14,vice:2,view:21,viewer:[1,14,16,23],von:[0,2,3,10],wai:[0,2,3,4,6,8,10,11,13,14,19],walk:19,wall:6,want:[2,6,8,11,12,15,19],warranti:[3,14],wash:14,wast:14,web:24,websit:[0,11],welcom:14,well:[0,4,5,6,10,14,19,22],were:[6,8,13,14,20],what:[2,3,5,8,9,10,13,14,17,19,23],whatev:[2,3,12,19,24],when:[11,12,13,14,15,19,20,22,24],where:[2,3,4,5,8,13,14,19,21,24],whether:13,which:[0,1,3,5,6,8,11,13,14,15,17,19,20,24],whole:[2,3,5,11,19],whose:12,why:[6,15,19],wiki:19,wikipedia:[0,19,20],wildli:14,wind:14,winner:6,wire:13,wit:8,within:[14,19,21],without:[2,14,19],won:[19,24],word:[0,3,4,5,7,11,12,14,19,20],work:[0,4,5,6,8,11,12,13,14,19,20,24],worth:[6,11],would:[2,5,6,7,8,9,11,12,13,14,15,19,20,24],wouldn:8,wrap:[3,6,14],write:[4,6,8,10,12,13,15,19,20,21,24],written:[0,1,8,15,17,18,24],wrong:2,wtf:13,wtfmorphism:13,year:14,yet:[8,13,19,20],yield:[2,3,24],you:[0,2,3,5,6,8,11,12,13,14,16,18,19,20,23,24],your:[2,3,4,5,6,7,14],yourself:[14,19],zero:[3,5,6,8,13,19,22,24],zip:[4,11],zip_:3,zstr:20},titles:["Thun 0.1.1 Documentation","Joy Interpreter","Functions Grouped by, er, Function with Examples","Function Reference","Advent of Code 2017","Advent of Code 2017","Advent of Code 2017","Advent of Code 2017","Advent of Code 2017","Advent of Code 2017","Categorical Programming","Developing a Program in Joy","Using <code class=\"docutils literal notranslate\"><span class=\"pre\">x</span></code> to Generate Values","Hylomorphism","Thun: Joy in Python","Newton\u2019s method","No Updates","Quadratic formula","Replacing Functions in the Dictionary","Treating Trees","Preamble","Essays about Programming in Joy","Parsing Text into Joy Expressions","Tracing Joy Execution","Stack or Quote or Sequence or List\u2026"],titleterms:{"1st":4,"2nd":5,"3rd":6,"4th":7,"5th":8,"6th":9,"case":[15,19],"final":5,"function":[2,3,9,13,14,15,17,18,19],"long":18,"void":2,"while":2,Adding:19,One:12,The:[11,13,14,19],There:14,Use:19,Using:12,about:21,abov:13,add:[2,8,19],adding:19,address:20,advent:[4,5,6,7,8,9],all:[6,8],ana:13,analysi:[6,11],anamorph:[2,13],app1:2,app2:2,app3:2,appendix:13,approxim:15,automat:19,averag:2,base:[15,19],befor:9,better:13,binari:2,block:5,branch:2,breakdown:8,btree:19,can:19,cata:13,catamorph:13,categor:10,chatter:2,check:17,child:19,choic:2,cleanup:17,clear:2,cleav:2,cmp:19,code:[4,5,6,7,8,9,14],combin:[2,13,19],compar:19,comparison:2,compil:12,comput:15,con:[2,19],concat:2,consecut:15,continu:14,count:[8,9],crap:19,current:19,data:19,datastructur:[14,19],decemb:[4,5,6,7,8,9],defin:[17,19],definit:17,delet:19,deriv:[13,17,19],determin:20,develop:11,dialect:0,dictionari:18,dip:[2,20],dipd:2,dipdd:2,direco:12,disenstacken:2,div:2,document:0,doe:19,down:5,down_to_zero:2,drive:9,drop:2,dup:2,dupd:2,dupdip:2,els:19,empti:19,enstacken:2,equal:19,essai:21,euler:[11,12],eval:14,even:12,exampl:[2,14],execut:23,express:[14,22],extract:[13,19],factor:[13,19],factori:13,fibonacci:12,filter:11,find:[6,13,15],first:[2,11],five:12,flatten:2,floordiv:2,form:[13,19],formula:17,four:13,from:13,ftw:4,fun:13,further:11,fusion:13,gcd:2,gener:[9,11,12,13,15,19],genrec:2,get:[8,19],getitem:2,given:[13,19],gotten:8,greater:19,group:2,help:2,host:0,how:[9,11,12],hylo:13,hylomorph:13,ift:2,increment:8,index:8,indic:0,inform:0,infra:[2,19,20],integ:11,interlud:19,intern:22,interpret:[1,14],isn:19,item:20,iter:[11,19],joi:[0,1,3,6,11,13,14,20,21,22,23,24],just:[11,19],kei:19,languag:0,law:13,least_fract:2,left:19,less:19,let:11,librari:[3,14],like:19,list:[2,13,19,24],literari:14,littl:11,logic:2,loop:[2,5,14],lshift:2,make:[15,19],mani:[9,11],map:2,math:2,method:15,min:2,miscellan:[2,19],mod:2,modif:19,modulu:2,mul:2,multipl:[11,12],must:19,name:[17,19],nativ:17,neg:2,newton:15,next:15,node:[13,19],now:[8,19],nullari:2,number:[6,13],offset:6,one:14,onli:14,order:19,osdn:0,our:19,out:5,over:2,pack:11,pam:2,paper:5,para:13,paramet:19,parameter:[13,19],paramorph:13,pars:[2,22],parser:[14,22],pass:14,path:20,pattern:13,per:19,piec:5,pop:2,popd:2,popop:2,pow:2,power:12,preambl:[8,13,20],pred:2,predic:[8,11,15,19],pretty_print:23,primrec:2,print:14,problem:[11,12],process:19,product:2,program:[9,10,11,13,17,19,21],project:[0,11,12],pure:14,put:[6,19],python:[14,18],quadrat:17,quick:0,quot:[2,24],rang:[2,11],range_to_zero:2,rank:6,read:14,recal:9,recur:[15,19],recurs:[13,19],redefin:19,refactor:[4,11,19],refer:3,regular:14,rem:2,remaind:2,remov:2,render:11,repeat:9,repl:14,replac:18,rescu:6,reset:12,rest:[2,13],revers:2,right:[19,20],roll:2,rolldown:2,rollup:2,root:15,rshift:2,run:[2,12],sat:5,second:2,select:2,sequenc:[12,24],set:[8,15,19],shorter:18,should:14,shunt:2,simplest:11,simplifi:17,size:[2,18],slight:19,sqr:2,sqrt:2,squar:15,stack:[2,14,24],start:0,state:9,step:[2,8,13],style:14,sub:2,succ:2,sum:[2,11],swaack:2,swap:2,swon:2,swoncat:2,symbol:[13,14],sympi:6,tabl:0,tail:13,take:2,term:[11,12,19],ternari:2,text:22,than:[13,19],thi:19,think:5,third:2,three:12,thun:[0,14],time:[2,12],todo:19,togeth:[6,8,19],toi:19,token:14,toler:15,trace:[18,23],traceprint:14,travers:19,treat:19,tree:[13,19,20],treestep:[13,19],triangular:13,tricki:5,truediv:2,truthi:2,tuck:2,two:12,type:19,unari:2,uncon:2,unfinish:13,unit:2,unnecessari:11,unquot:2,unstack:2,updat:16,use:13,usual:13,util:[23,24],valu:[8,12,19],variabl:17,version:[6,11,18,19],view:14,want:5,within:15,word:2,write:17,xor:2,zero:12,zip:2,zipper:20}})