Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Source file monad.ml
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199(*****************************************************************************)(* *)(* Open Source License *)(* Copyright (c) 2019,2020 DaiLambda, Inc. <contact@dailambda.jp> *)(* *)(* Permission is hereby granted, free of charge, to any person obtaining a *)(* copy of this software and associated documentation files (the "Software"),*)(* to deal in the Software without restriction, including without limitation *)(* the rights to use, copy, modify, merge, publish, distribute, sublicense, *)(* and/or sell copies of the Software, and to permit persons to whom the *)(* Software is furnished to do so, subject to the following conditions: *)(* *)(* The above copyright notice and this permission notice shall be included *)(* in all copies or substantial portions of the Software. *)(* *)(* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR*)(* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, *)(* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL *)(* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER*)(* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING *)(* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER *)(* DEALINGS IN THE SOFTWARE. *)(* *)(*****************************************************************************)moduletypeS1=sigtype'atvalreturn:'a->'atvalbind:'at->('a->'bt)->'btvalmap:('a->'b)->'at->'btvalmapM:('a->'bt)->'alist->'blisttvalmapM_:('a->unitt)->'alist->unitt(** alias of [mapM_] *)valiterM:('a->unitt)->'alist->unittvalfold_leftM:('a->'b->'at)->'a->'blist->'atvalparseM:('a->'blist->('a*'blist)t)->'a->'blist->'atmoduleInfix:sigval(>>=):'at->('a->'bt)->'btval(>>|):'at->('a->'b)->'btval(>|=):'at->('a->'b)->'btval(>>):unitt->'bt->'btendmoduleSyntax:sigval(let*):'at->('a->'bt)->'btval(let+):'at->('a->'b)->'btendendmoduleMake1(A:sigtype'atvalreturn:'a->'atvalbind:'at->('a->'bt)->'btend)=structincludeAlet(>>=)=bindlet(let*)=bindletmapfat=bindat(funa->return@@fa)let(>>|)atf=mapfatlet(>|=)atf=mapfatlet(let+)atf=mapfatlet(>>)utbt=ut>>=fun()->btletmapMfxs=letrecgrev_st=function|[]->return@@List.revrev_st|x::xs->fx>>=funx'->g(x'::rev_st)xsing[]xsletmapM_fxs=letrecg=function|[]->return()|x::xs->fx>>=fun()->gxsingxsletiterM=mapM_letrecfold_leftMfacc=function|[]->returnacc|x::xs->faccx>>=funacc'->fold_leftMfacc'xsletrecparseMfacc=function|[]->returnacc|input->faccinput>>=fun(acc',input')->parseMfacc'input'moduleInfix=structlet(>>=)=(>>=)let(>>|)=(>>|)let(>|=)=(>|=)let(>>)=(>>)endmoduleSyntax=structlet(let*)=(let*)let(let+)=(let+)endendmoduletypeS2=sigtype('a,'z)tvalreturn:'a->('a,'z)tvalbind:('a,'z)t->('a->('b,'z)t)->('b,'z)tvalmap:('a->'b)->('a,'z)t->('b,'z)tvalmapM:('a->('b,'z)t)->'alist->('blist,'z)tvalmapM_:('a->(unit,'z)t)->'alist->(unit,'z)t(** alias of [mapM_] *)valiterM:('a->(unit,'z)t)->'alist->(unit,'z)tvalfold_leftM:('a->'b->('a,'z)t)->'a->'blist->('a,'z)tvalparseM:('a->'blist->('a*'blist,'error)t)->'a->'blist->('a,'error)tmoduleInfix:sigval(>>=):('a,'z)t->('a->('b,'z)t)->('b,'z)tval(>>|):('a,'z)t->('a->'b)->('b,'z)tval(>|=):('a,'z)t->('a->'b)->('b,'z)tval(>>):(unit,'z)t->('b,'z)t->('b,'z)tendmoduleSyntax:sigval(let*):('a,'z)t->('a->('b,'z)t)->('b,'z)tval(let+):('a,'z)t->('a->'b)->('b,'z)tendendmoduleMake2(A:sigtype('a,'z)tvalreturn:'a->('a,'z)tvalbind:('a,'z)t->('a->('b,'z)t)->('b,'z)tend)=structincludeAlet(>>=)=bindlet(let*)=bindletmapfat=bindat(funa->return@@fa)let(>>|)atf=mapfatlet(let+)atf=mapfatlet(>>)utbt=ut>>=fun()->btletmapMfxs=letrecgrev_st=function|[]->return@@List.revrev_st|x::xs->fx>>=funx'->g(x'::rev_st)xsing[]xsletmapM_fxs=letrecg=function|[]->return()|x::xs->fx>>=fun()->gxsingxsletiterM=mapM_letrecfold_leftMfacc=function|[]->returnacc|x::xs->faccx>>=funacc'->fold_leftMfacc'xsletrecparseMfacc=function|[]->returnacc|input->faccinput>>=fun(acc',input')->parseMfacc'input'moduleInfix=structlet(>>=)=(>>=)let(>>|)=(>>|)let(>|=)=(>>|)let(>>)=(>>)endmoduleSyntax=structlet(let*)=(let*)let(let+)=(let+)endend