Basic (upsycle-router.Upsycle

include module type of Basic

exception Internal_error of string

val (^-) : ('a -> 'b) -> 'a -> 'b

include module type of Util_lwt.Letsfix

include module type of Util_lwt.Infix

include module type of Lwt.Infix

val (>>=) : 'a Lwt.t -> ('a -> 'b Lwt.t) -> 'b Lwt.t

val (>|=) : 'a Lwt.t -> ('a -> 'b) -> 'b Lwt.t

val (<&>) : unit Lwt.t -> unit Lwt.t -> unit Lwt.t

val (<?>) : 'a Lwt.t -> 'a Lwt.t -> 'a Lwt.t

val (=<<) : ('a -> 'b Lwt.t) -> 'a Lwt.t -> 'b Lwt.t

val (=|<) : ('a -> 'b) -> 'a Lwt.t -> 'b Lwt.t

module Let_syntax : sig ... end

type 'a t := 'a Lwt.t

val (<$>) : ('a -> 'b) -> 'a t -> 'b t

val (<*>) : ('a -> 'b) t -> 'a t -> 'b t

type 'a t := 'a Lwt.t

val let+ : 'a t -> ('a -> 'b) -> 'b t

val and+ : 'a t -> 'b t -> ('a * 'b) t

val let* : 'a t -> ('a -> 'b t) -> 'b t

val and* : 'a t -> 'b t -> ('a * 'b) t

val id : 'a -> 'a

val const : 'a -> 'b -> 'a

val ok : 'a -> ('a, 'b) Stdlib.result

val error : 'b -> ('a, 'b) Stdlib.result

val error_msg : 'a -> ('b, [> `Msg of 'a ]) Stdlib.result

val lwt_ok : 'a -> ('a, 'b) Stdlib.result Lwt.t

val lwt_error : 'b -> ('a, 'b) Stdlib.result Lwt.t

val some : 'a -> 'a option

val none : 'a option

val internal_error : string -> 'a

val info : 
  ?flush:bool ->
  ('a, Stdlib.Format.formatter, unit, unit Lwt.t) Stdlib.format4 ->
  'a

val info' : 
  ('a, Stdlib.Format.formatter, unit, unit Lwt.t) Stdlib.format4 ->
  'a

val warn : 
  ?flush:bool ->
  ('a, Stdlib.Format.formatter, unit, unit Lwt.t) Stdlib.format4 ->
  'a

val warn' : 
  ('a, Stdlib.Format.formatter, unit, unit Lwt.t) Stdlib.format4 ->
  'a