Decidable.API
The complete interface of a Decidable
.
include WITH_LOSE_AND_CHOOSE with type 'a t := 'a t
val lose : ('a -> Preface_core.Void.t) -> 'a t
Since Preface_core.Void.t
is identity for Either.t
, lose
act as an identity for Decidable.
include Divisible.WITH_CONTRAMAP_AND_DIVIDE_AND_CONQUER with type 'a t := 'a t
include Contravariant.WITH_CONTRAMAP with type 'a t := 'a t
val lost : Preface_core.Void.t t
lose
acting on identity.
include Divisible.INFIX with type 'a t := 'a t
include Contravariant.INFIX with type 'a t := 'a t
Infix version of OPERATION.replace
.
Infix flipped version of OPERATION.replace
.