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>

Source

Since v0.24.0

MonoidEvery

boolean monoid under conjunction, see also SemigroupEvery.

The empty value is true.

Signature

declare const MonoidEvery: monoid.Monoid<boolean>

Source

Since v0.24.0

MonoidSome

boolean monoid under disjunction, see also SemigroupSome.

The empty value is false.

Signature

declare const MonoidSome: monoid.Monoid<boolean>

Source

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>

Source

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>

Source

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>

Source

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>

Source

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>

Source

Since v0.24.0