/usr/share/doc/libderiving-ocsigen-ocaml-dev/html/api/type_Deriving_monad.Monad_state_type.html is in libderiving-ocsigen-ocaml-dev 0.5-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 | <html><head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of exceptions" rel=Appendix href="index_exceptions.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="Index of module types" rel=Appendix href="index_module_types.html">
<link title="Deriving_Bounded" rel="Chapter" href="Deriving_Bounded.html">
<link title="Deriving_Dump" rel="Chapter" href="Deriving_Dump.html">
<link title="Deriving_Enum" rel="Chapter" href="Deriving_Enum.html">
<link title="Deriving_Eq" rel="Chapter" href="Deriving_Eq.html">
<link title="Deriving_Functor" rel="Chapter" href="Deriving_Functor.html">
<link title="Deriving_Pickle" rel="Chapter" href="Deriving_Pickle.html">
<link title="Deriving_Show" rel="Chapter" href="Deriving_Show.html">
<link title="Deriving_Typeable" rel="Chapter" href="Deriving_Typeable.html">
<link title="Deriving_dynmap" rel="Chapter" href="Deriving_dynmap.html">
<link title="Deriving_interned" rel="Chapter" href="Deriving_interned.html">
<link title="Deriving_monad" rel="Chapter" href="Deriving_monad.html">
<link title="Deriving_num" rel="Chapter" href="Deriving_num.html"><title>Deriving_monad.Monad_state_type</title>
</head>
<body>
<code class="code"><span class="keyword">sig</span><br>
<span class="keyword">type</span> +<span class="keywordsign">'</span>a m<br>
<span class="keyword">val</span> return : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a m<br>
<span class="keyword">val</span> fail : string <span class="keywordsign">-></span> <span class="keywordsign">'</span>a m<br>
<span class="keyword">val</span> ( >>= ) : <span class="keywordsign">'</span>a m <span class="keywordsign">-></span> (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b m) <span class="keywordsign">-></span> <span class="keywordsign">'</span>b m<br>
<span class="keyword">val</span> ( >> ) : <span class="keywordsign">'</span>a m <span class="keywordsign">-></span> <span class="keywordsign">'</span>b m <span class="keywordsign">-></span> <span class="keywordsign">'</span>b m<br>
<span class="keyword">val</span> liftM : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a m <span class="keywordsign">-></span> <span class="keywordsign">'</span>b m<br>
<span class="keyword">val</span> liftM2 : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>c) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a m <span class="keywordsign">-></span> <span class="keywordsign">'</span>b m <span class="keywordsign">-></span> <span class="keywordsign">'</span>c m<br>
<span class="keyword">val</span> liftM3 : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>c <span class="keywordsign">-></span> <span class="keywordsign">'</span>d) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a m <span class="keywordsign">-></span> <span class="keywordsign">'</span>b m <span class="keywordsign">-></span> <span class="keywordsign">'</span>c m <span class="keywordsign">-></span> <span class="keywordsign">'</span>d m<br>
<span class="keyword">val</span> liftM4 :<br>
(<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>c <span class="keywordsign">-></span> <span class="keywordsign">'</span>d <span class="keywordsign">-></span> <span class="keywordsign">'</span>e) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a m <span class="keywordsign">-></span> <span class="keywordsign">'</span>b m <span class="keywordsign">-></span> <span class="keywordsign">'</span>c m <span class="keywordsign">-></span> <span class="keywordsign">'</span>d m <span class="keywordsign">-></span> <span class="keywordsign">'</span>e m<br>
<span class="keyword">val</span> liftM5 :<br>
(<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>c <span class="keywordsign">-></span> <span class="keywordsign">'</span>d <span class="keywordsign">-></span> <span class="keywordsign">'</span>e <span class="keywordsign">-></span> <span class="keywordsign">'</span>f) <span class="keywordsign">-></span><br>
<span class="keywordsign">'</span>a m <span class="keywordsign">-></span> <span class="keywordsign">'</span>b m <span class="keywordsign">-></span> <span class="keywordsign">'</span>c m <span class="keywordsign">-></span> <span class="keywordsign">'</span>d m <span class="keywordsign">-></span> <span class="keywordsign">'</span>e m <span class="keywordsign">-></span> <span class="keywordsign">'</span>f m<br>
<span class="keyword">val</span> ap : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) m <span class="keywordsign">-></span> <span class="keywordsign">'</span>a m <span class="keywordsign">-></span> <span class="keywordsign">'</span>b m<br>
<span class="keyword">val</span> sequence : <span class="keywordsign">'</span>a m list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list m<br>
<span class="keyword">val</span> sequence_ : <span class="keywordsign">'</span>a m list <span class="keywordsign">-></span> unit m<br>
<span class="keyword">val</span> mapM : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b m) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list m<br>
<span class="keyword">val</span> mapM_ : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b m) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> unit m<br>
<span class="keyword">val</span> ( =<< ) : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b m) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a m <span class="keywordsign">-></span> <span class="keywordsign">'</span>b m<br>
<span class="keyword">val</span> join : <span class="keywordsign">'</span>a m m <span class="keywordsign">-></span> <span class="keywordsign">'</span>a m<br>
<span class="keyword">val</span> filterM : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> bool m) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list m<br>
<span class="keyword">val</span> mapAndUnzipM : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> (<span class="keywordsign">'</span>b * <span class="keywordsign">'</span>c) m) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> (<span class="keywordsign">'</span>b list * <span class="keywordsign">'</span>c list) m<br>
<span class="keyword">val</span> zipWithM : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>c m) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list <span class="keywordsign">-></span> <span class="keywordsign">'</span>c list m<br>
<span class="keyword">val</span> zipWithM_ : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>c m) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list <span class="keywordsign">-></span> unit m<br>
<span class="keyword">val</span> foldM : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>a m) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list <span class="keywordsign">-></span> <span class="keywordsign">'</span>a m<br>
<span class="keyword">val</span> foldM_ : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>a m) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b list <span class="keywordsign">-></span> unit m<br>
<span class="keyword">val</span> replicateM : int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a m <span class="keywordsign">-></span> <span class="keywordsign">'</span>a list m<br>
<span class="keyword">val</span> replicateM_ : int <span class="keywordsign">-></span> <span class="keywordsign">'</span>a m <span class="keywordsign">-></span> unit m<br>
<span class="keyword">val</span> quand : bool <span class="keywordsign">-></span> unit m <span class="keywordsign">-></span> unit m<br>
<span class="keyword">val</span> unless : bool <span class="keywordsign">-></span> unit m <span class="keywordsign">-></span> unit m<br>
<span class="keyword">type</span> state<br>
<span class="keyword">val</span> get : <span class="constructor">Deriving_monad</span>.<span class="constructor">Monad_state_type</span>.state m<br>
<span class="keyword">val</span> put : <span class="constructor">Deriving_monad</span>.<span class="constructor">Monad_state_type</span>.state <span class="keywordsign">-></span> unit m<br>
<span class="keyword">val</span> runState :<br>
<span class="keywordsign">'</span>a m <span class="keywordsign">-></span><br>
<span class="constructor">Deriving_monad</span>.<span class="constructor">Monad_state_type</span>.state <span class="keywordsign">-></span><br>
<span class="keywordsign">'</span>a * <span class="constructor">Deriving_monad</span>.<span class="constructor">Monad_state_type</span>.state<br>
<span class="keyword">end</span></code></body></html>
|