Module Select_utils.Effect_and_coeffect

type t
val none : t
val arbitrary : t
val effect_ : t -> Effect.t
val coeffect : t -> Coeffect.t
val pure_and_copure : t -> bool
val effect_only : Effect.t -> t
val coeffect_only : Coeffect.t -> t
val create : Effect.t -> Coeffect.t -> t
val join : t -> t -> t
val join_list_map : 'a list -> ('a -> t) -> t