arrow-refined-types / arrow.refinement.booleans

Package arrow.refinement.booleans

Types

And Boolean conjunction of the left and right predicates. left and rightclass And<A, B> : Refined<A, B>
Equal Equal constrains Any? to be equal to an initial valueclass Equal
Not Boolean negation of a predicate. !predicateclass Not<A, B> : Refined<A, B>
Or Boolean disjunction of the left and right predicates. left or rightclass Or<A, B> : Refined<A, B>

Do you like Arrow?

Arrow Org
<