Module Preface_stdlib.PredicateSource

Implementation for Predicate.t.

A Predicate is just a function from 'a to bool.

Type

Sourcetype 'a t = 'a -> bool

Implementation

Contravariant

module Contravariant : Preface_specs.CONTRAVARIANT with type 'a t = 'a t

Divisible

module Divisible : Preface_specs.DIVISIBLE with type 'a t = 'a t

Decidable

module Decidable : Preface_specs.DECIDABLE with type 'a t = 'a t

Invariant Functor

module Invariant : Preface_specs.INVARIANT with type 'a t = 'a t

Additional functions

Additional functions to facilitate practical work with Predicate.t.

Sourceval negate : 'a t -> 'a t

negate the predicate.

Sourceval tautology : 'a t

A predicate always true.

Sourceval contradiction : 'a t

A predicate always false.

Sourceval and_ : 'a t -> 'a t -> 'a t

Compose two predicates (using and).

Sourceval or_ : 'a t -> 'a t -> 'a t

Compose two predicates (using or).

infix operators

Sourcemodule Infix : sig ... end
Sourceval (&&) : 'a t -> 'a t -> 'a t

Compose two predicates (using and).

Sourceval (||) : 'a t -> 'a t -> 'a t

Compose two predicates (using or).

Sourceval (!) : 'a t -> 'a t

negate the predicate.