Module WithM.WithLwtIO (.ml)

module WithLwtIO: W(LwtIO)

type ('a, 'b) withres = {

	`cons : 'a -> 'b M.m;`
	`fin : 'b -> unit M.m;`

}

val premap : ('a -> 'b) -> ('b, 'c) withres -> ('a, 'c) withres

val with_identity : ('a, 'a) withres

val bindres : ('a, 'b) withres -> 'a -> ('b -> 'c M.m) -> 'c M.m

val with_alt : ('a, 'b) withres ->
       ('c, 'b) withres -> ('a * 'c, exn option * 'b) withres

type dir_abstract = string

val with_sys_chdir : (string, dir_abstract) withres