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

Boolean overview

Added in v1.0.0

Table of contents

instances

MonoidEqv

boolean monoid under equivalence.

The empty value is true.

Signature

export declare const MonoidEqv: monoid.Monoid<boolean>

Added in v1.0.0

MonoidEvery

boolean monoid under conjunction, see also {@link SemigroupEvery}.

The empty value is true.

Signature

export declare const MonoidEvery: monoid.Monoid<boolean>

Added in v1.0.0

MonoidSome

boolean monoid under disjunction, see also {@link SemigroupSome}.

The empty value is false.

Signature

export declare const MonoidSome: monoid.Monoid<boolean>

Added in v1.0.0

MonoidXor

boolean monoid under exclusive disjunction, see also {@link SemigroupXor}.

The empty value is false.

Signature

export declare const MonoidXor: monoid.Monoid<boolean>

Added in v1.0.0

SemigroupEqv

boolean semigroup under equivalence.

Signature

export declare const SemigroupEqv: semigroup.Semigroup<boolean>

Example

import { SemigroupEqv } from "@effect/typeclass/data/Boolean"

assert.deepStrictEqual(SemigroupEqv.combine(true, true), true)
assert.deepStrictEqual(SemigroupEqv.combine(true, false), false)
assert.deepStrictEqual(SemigroupEqv.combine(false, true), false)
assert.deepStrictEqual(SemigroupEqv.combine(false, false), true)

Added in v1.0.0

SemigroupEvery

boolean semigroup under conjunction.

Signature

export declare const SemigroupEvery: semigroup.Semigroup<boolean>

Example

import { SemigroupEvery } from "@effect/typeclass/data/Boolean"

assert.deepStrictEqual(SemigroupEvery.combine(true, true), true)
assert.deepStrictEqual(SemigroupEvery.combine(true, false), false)
assert.deepStrictEqual(SemigroupEvery.combine(false, true), false)
assert.deepStrictEqual(SemigroupEvery.combine(false, false), false)

Added in v1.0.0

SemigroupSome

boolean semigroup under disjunction.

Signature

export declare const SemigroupSome: semigroup.Semigroup<boolean>

Example

import { SemigroupSome } from "@effect/typeclass/data/Boolean"

assert.deepStrictEqual(SemigroupSome.combine(true, true), true)
assert.deepStrictEqual(SemigroupSome.combine(true, false), true)
assert.deepStrictEqual(SemigroupSome.combine(false, true), true)
assert.deepStrictEqual(SemigroupSome.combine(false, false), false)

Added in v1.0.0

SemigroupXor

boolean semigroup under exclusive disjunction.

Signature

export declare const SemigroupXor: semigroup.Semigroup<boolean>

Example

import { SemigroupXor } from "@effect/typeclass/data/Boolean"

assert.deepStrictEqual(SemigroupXor.combine(true, true), false)
assert.deepStrictEqual(SemigroupXor.combine(true, false), true)
assert.deepStrictEqual(SemigroupXor.combine(false, true), true)
assert.deepStrictEqual(SemigroupXor.combine(false, false), false)

Added in v1.0.0