Seq_e (tezos-error-monad.Tezos_error_monad.TzLwtreslib.Seq

type (!'a, !'e) t = ( 'a, 'e ) Bare_structs.Seq_e.t

and (!'a, !'e) node = ( 'a, 'e ) Bare_structs.Seq_e.node =

| Nil

| Cons of 'a * ( 'a, 'e ) t

val empty : ( 'a, 'e ) t

val return : 'a -> ( 'a, 'e ) t

val return_e : ( 'a, 'e ) Stdlib.result -> ( 'a, 'e ) t

val interrupted : 'e -> ( 'a, 'e ) t

val nil : ( 'a, 'e ) node

val cons : 'a -> ( 'a, 'e ) t -> ( 'a, 'e ) t

val cons_e : ( 'a, 'e ) Stdlib.result -> ( 'a, 'e ) t -> ( 'a, 'e ) t

val append : ( 'a, 'e ) t -> ( 'a, 'e ) t -> ( 'a, 'e ) t

val first : ( 'a, 'e ) t -> ( 'a, 'e ) Stdlib.result option

val fold_left : 
  ( 'a -> 'b -> 'a ) ->
  'a ->
  ( 'b, 'e ) t ->
  ( 'a, 'e ) Stdlib.result

val fold_left_e : 
  ( 'a -> 'b -> ( 'a, 'e ) Stdlib.result ) ->
  'a ->
  ( 'b, 'e ) t ->
  ( 'a, 'e ) Stdlib.result

val fold_left_e_discriminated : 
  ( 'a -> 'b -> ( 'a, 'f ) Stdlib.result ) ->
  'a ->
  ( 'b, 'e ) t ->
  ( 'a, ( 'e, 'f ) Stdlib.Either.t ) Stdlib.result

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

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

val fold_left_es_discriminated : 
  ( 'a -> 'b -> ( 'a, 'f ) Stdlib.result Lwt.t ) ->
  'a ->
  ( 'b, 'e ) t ->
  ( 'a, ( 'e, 'f ) Stdlib.Either.t ) Stdlib.result Lwt.t

val iter : ( 'a -> unit ) -> ( 'a, 'e ) t -> ( unit, 'e ) Stdlib.result

val iter_e : 
  ( 'a -> ( unit, 'e ) Stdlib.result ) ->
  ( 'a, 'e ) t ->
  ( unit, 'e ) Stdlib.result

val iter_e_discriminated : 
  ( 'a -> ( unit, 'f ) Stdlib.result ) ->
  ( 'a, 'e ) t ->
  ( unit, ( 'e, 'f ) Stdlib.Either.t ) Stdlib.result

val iter_s : 
  ( 'a -> unit Lwt.t ) ->
  ( 'a, 'e ) t ->
  ( unit, 'e ) Stdlib.result Lwt.t

val iter_es : 
  ( 'a -> ( unit, 'e ) Stdlib.result Lwt.t ) ->
  ( 'a, 'e ) t ->
  ( unit, 'e ) Stdlib.result Lwt.t

val iter_es_discriminated : 
  ( 'a -> ( unit, 'f ) Stdlib.result Lwt.t ) ->
  ( 'a, 'e ) t ->
  ( unit, ( 'e, 'f ) Stdlib.Either.t ) Stdlib.result Lwt.t

val iter_p : 
  ( 'a -> unit Lwt.t ) ->
  ( 'a, 'e ) t ->
  ( unit, 'e ) Stdlib.result Lwt.t

val map : ( 'a -> 'b ) -> ( 'a, 'e ) t -> ( 'b, 'e ) t

val map_error : ( 'e -> 'f ) -> ( 'a, 'e ) t -> ( 'a, 'f ) t

val map_e : ( 'a -> ( 'b, 'e ) Stdlib.result ) -> ( 'a, 'e ) t -> ( 'b, 'e ) t

val filter : ( 'a -> bool ) -> ( 'a, 'e ) t -> ( 'a, 'e ) t

val filter_e : 
  ( 'a -> ( bool, 'e ) Stdlib.result ) ->
  ( 'a, 'e ) t ->
  ( 'a, 'e ) t

val filter_map : ( 'a -> 'b option ) -> ( 'a, 'e ) t -> ( 'b, 'e ) t

val filter_map_e : 
  ( 'a -> ( 'b option, 'e ) Stdlib.result ) ->
  ( 'a, 'e ) t ->
  ( 'b, 'e ) t

val unfold : ( 'b -> ('a * 'b) option ) -> 'b -> ( 'a, 'e ) t

val unfold_e : 
  ( 'b -> ( ('a * 'b) option, 'e ) Stdlib.result ) ->
  'b ->
  ( 'a, 'e ) t

val of_seq : 'a Stdlib.Seq.t -> ( 'a, 'e ) t

val of_seq_e : ( 'a, 'e ) Stdlib.result Stdlib.Seq.t -> ( 'a, 'e ) t