Skip to main content

BooleanAlgebra

Instances​

Model​

Utilities​

Instances​

booleanAlgebraVoid​

Signature​

export declare const booleanAlgebraVoid: BooleanAlgebra<void>

Details​

  • Added in 0.1.0

License​

  • MIT – Copyright (c) 2017-present Giulio Canti

Model​

BooleanAlgebra​

Signature​

export interface BooleanAlgebra<A> extends HeytingAlgebra<A> {}

Details​

  • Added in 0.1.0

License​

  • MIT – Copyright (c) 2017-present Giulio Canti

Utilities​

booleanAlgebraBoolean​

Use BooleanAlgebra instead.

Signature​

export declare const booleanAlgebraBoolean: BooleanAlgebra<boolean>

Details​

  • Added in 0.1.0
  • Deprecated

License​

  • MIT – Copyright (c) 2017-present Giulio Canti

getDualBooleanAlgebra​

Use reverse instead.

Signature​

export declare const getDualBooleanAlgebra: <A>(B: BooleanAlgebra<A>) => BooleanAlgebra<A>

Details​

  • Added in 0.1.0
  • Deprecated

License​

  • MIT – Copyright (c) 2017-present Giulio Canti

getFunctionBooleanAlgebra​

Use getBooleanAlgebra instead.

Signature​

export declare const getFunctionBooleanAlgebra: <B>(
  B: BooleanAlgebra<B>,
) => <A = never>() => BooleanAlgebra<(a: A) => B>

Details​

  • Added in 0.1.0
  • Deprecated

License​

  • MIT – Copyright (c) 2017-present Giulio Canti

reverse​

Every boolean algebras has a dual algebra, which involves reversing one/zero as well as join/meet.

Signature​

export declare const reverse: <A>(B: BooleanAlgebra<A>) => BooleanAlgebra<A>

Details​

  • Added in 0.1.0

License​

  • MIT – Copyright (c) 2017-present Giulio Canti