Skip to main content Link Search Menu Expand Document (external link)

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