Module `Select_utils.Effect_and_coeffect`

type t

val none : Select_utils.Effect_and_coeffect.t

val arbitrary : Select_utils.Effect_and_coeffect.t

val effect : Select_utils.Effect_and_coeffect.t -> Select_utils.Effect.t

val coeffect : Select_utils.Effect_and_coeffect.t -> Select_utils.Coeffect.t

val pure_and_copure : Select_utils.Effect_and_coeffect.t -> bool

val effect_only : Select_utils.Effect.t -> Select_utils.Effect_and_coeffect.t

val coeffect_only : 
  Select_utils.Coeffect.t ->
  Select_utils.Effect_and_coeffect.t

val create : 
  Select_utils.Effect.t ->
  Select_utils.Coeffect.t ->
  Select_utils.Effect_and_coeffect.t

val join : 
  Select_utils.Effect_and_coeffect.t ->
  Select_utils.Effect_and_coeffect.t ->
  Select_utils.Effect_and_coeffect.t

val join_list_map : 
  'a list ->
  ('a -> Select_utils.Effect_and_coeffect.t) ->
  Select_utils.Effect_and_coeffect.t

Module Select_utils.Effect_and_coeffect