Boolean.ts overview
Since v0.24.0
Exports Grouped by Category
instances
MonoidEqv
boolean monoid under equivalence.
The empty value is true.
Signature
declare const MonoidEqv: monoid.Monoid<boolean>
Since v0.24.0
MonoidEvery
boolean monoid under conjunction, see also SemigroupEvery.
The empty value is true.
Signature
declare const MonoidEvery: monoid.Monoid<boolean>
Since v0.24.0
MonoidSome
boolean monoid under disjunction, see also SemigroupSome.
The empty value is false.
Signature
declare const MonoidSome: monoid.Monoid<boolean>
Since v0.24.0
MonoidXor
boolean monoid under exclusive disjunction, see also SemigroupXor.
The empty value is false.
Signature
declare const MonoidXor: monoid.Monoid<boolean>
Since v0.24.0
SemigroupEqv
boolean semigroup under equivalence.
Example
import { SemigroupEqv } from "@effect/typeclass/data/Boolean"
console.log(SemigroupEqv.combine(true, true))
// true
console.log(SemigroupEqv.combine(true, false))
// false
console.log(SemigroupEqv.combine(false, true))
// false
console.log(SemigroupEqv.combine(false, false))
// true
Signature
declare const SemigroupEqv: semigroup.Semigroup<boolean>
Since v0.24.0
SemigroupEvery
boolean semigroup under conjunction.
Example
import { SemigroupEvery } from "@effect/typeclass/data/Boolean"
console.log(SemigroupEvery.combine(true, true))
// true
console.log(SemigroupEvery.combine(true, false))
// false
console.log(SemigroupEvery.combine(false, true))
// false
console.log(SemigroupEvery.combine(false, false))
// false
Signature
declare const SemigroupEvery: semigroup.Semigroup<boolean>
Since v0.24.0
SemigroupSome
boolean semigroup under disjunction.
Example
import { SemigroupSome } from "@effect/typeclass/data/Boolean"
console.log(SemigroupSome.combine(true, true))
// true
console.log(SemigroupSome.combine(true, false))
// true
console.log(SemigroupSome.combine(false, true))
// true
console.log(SemigroupSome.combine(false, false))
// false
Signature
declare const SemigroupSome: semigroup.Semigroup<boolean>
Since v0.24.0
SemigroupXor
boolean semigroup under exclusive disjunction.
Example
import { SemigroupXor } from "@effect/typeclass/data/Boolean"
console.log(SemigroupXor.combine(true, true))
// false
console.log(SemigroupXor.combine(true, false))
// true
console.log(SemigroupXor.combine(false, true))
// true
console.log(SemigroupXor.combine(false, false))
// false
Signature
declare const SemigroupXor: semigroup.Semigroup<boolean>
Since v0.24.0