booleanAlgebraBoolean(deprecated)getDualBooleanAlgebra(deprecated)getFunctionBooleanAlgebra(deprecated)- reverse
export declare const booleanAlgebraVoid: BooleanAlgebra<void>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
export interface BooleanAlgebra<A> extends HeytingAlgebra<A> {}
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti
Use BooleanAlgebra
instead.
export declare const booleanAlgebraBoolean: BooleanAlgebra<boolean>
- Added in 0.1.0
- Deprecated
- MIT – Copyright (c) 2017-present Giulio Canti
Use reverse
instead.
export declare const getDualBooleanAlgebra: <A>(B: BooleanAlgebra<A>) => BooleanAlgebra<A>
- Added in 0.1.0
- Deprecated
- MIT – Copyright (c) 2017-present Giulio Canti
Use getBooleanAlgebra
instead.
export declare const getFunctionBooleanAlgebra: <B>(
B: BooleanAlgebra<B>,
) => <A = never>() => BooleanAlgebra<(a: A) => B>
- Added in 0.1.0
- Deprecated
- MIT – Copyright (c) 2017-present Giulio Canti
Every boolean algebras has a dual algebra, which involves reversing one/zero as well as join/meet.
export declare const reverse: <A>(B: BooleanAlgebra<A>) => BooleanAlgebra<A>
- Added in 0.1.0
- MIT – Copyright (c) 2017-present Giulio Canti