Boolean

8 exports Added in v0.24.0 Source

Instances

MonoidEqv

Added in v0.24.0 Source

boolean monoid under equivalence.

The empty value is true.

Signature

declare const MonoidEqv: monoid.Monoid<boolean>

MonoidEvery

Added in v0.24.0 Source

boolean monoid under conjunction, see also SemigroupEvery.

The empty value is true.

Signature

declare const MonoidEvery: monoid.Monoid<boolean>

MonoidSome

Added in v0.24.0 Source

boolean monoid under disjunction, see also SemigroupSome.

The empty value is false.

Signature

declare const MonoidSome: monoid.Monoid<boolean>

MonoidXor

Added in v0.24.0 Source

boolean monoid under exclusive disjunction, see also SemigroupXor.

The empty value is false.

Signature

declare const MonoidXor: monoid.Monoid<boolean>

SemigroupEqv

Added in v0.24.0 Source

boolean semigroup under equivalence.

Signature

declare const SemigroupEqv: semigroup.Semigroup<boolean>

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

SemigroupEvery

Added in v0.24.0 Source

boolean semigroup under conjunction.

Signature

declare const SemigroupEvery: semigroup.Semigroup<boolean>

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

SemigroupSome

Added in v0.24.0 Source

boolean semigroup under disjunction.

Signature

declare const SemigroupSome: semigroup.Semigroup<boolean>

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

SemigroupXor

Added in v0.24.0 Source

boolean semigroup under exclusive disjunction.

Signature

declare const SemigroupXor: semigroup.Semigroup<boolean>

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