effect-io-ai

Package: effect
Module: Boolean

Boolean.implies

Combines two booleans using an implication: (!self || that).

When to use

Use to model logical implication between a condition and a consequence.

Example (Checking boolean implication)

import { Boolean } from "effect"
import * as assert from "node:assert"

assert.deepStrictEqual(Boolean.implies(true, true), true)
assert.deepStrictEqual(Boolean.implies(true, false), false)
assert.deepStrictEqual(Boolean.implies(false, true), true)
assert.deepStrictEqual(Boolean.implies(false, false), true)

Signature

declare const implies: { (that: boolean): (self: boolean) => boolean; (self: boolean, that: boolean): boolean; }

Source

Since v2.0.0