simon/ocaml-containers
1
0
Fork 0
mirror of https://github.com/c-cube/ocaml-containers.git synced 2025-12-07 11:45:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

missing constraint in CCSexpM.ID_MONAD

Browse source
This commit is contained in:
Simon Cruanes 2016-02-23 17:13:12 +01:00
parent 23e3544adc
commit b3d7a0d654
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/sexp/CCSexpM.mli
View file

@ -86,9 +86,10 @@ module MakeDecode(M : MONAD) : sig
long enough or isn't a proper S-expression *)
end
module ID_MONAD : MONAD
module ID_MONAD : MONAD with type 'a t = 'a
(** The monad that just uses blocking calls as bind
@since 0.14 *)
@since 0.14
['a t = 'a] contraint is @since NEXT_RELEASE *)
module D : module type of MakeDecode(ID_MONAD)
(** Decoder that just blocks when input is not available