export declare function implies<A>(ab: Predicate<A>): (bc: Predicate<A>) => Predicate<A>

export declare function join<A>(ab: Predicate<A>): (bc: Predicate<A>) => Predicate<A>

export declare function meet<A>(ab: Predicate<A>): (bc: Predicate<A>) => Predicate<A>

export declare function not<A>(predicate: Predicate<A>): Predicate<A>

export declare function local<R, Q>(f: (q: Q) => R): (fa: Predicate<R>) => Predicate<Q>

export type Primitive = string | number | boolean | null | undefined | bigint | symbol

export declare function getOne<A extends Primitive>(value: A): Predicate<A>

export declare function getZero<A extends Primitive>(value: A): Predicate<A>

export declare function fromDefinement<E>(definement: DF.Definement<E, any>): Predicate<E>

export declare function fromRefinement<E>(refinement: RF.Refinement<E, any>): Predicate<E>

export declare function contramap<A, B>(f: (b: B) => A): (fa: Predicate<A>) => Predicate<B>

export declare function toDefinement<E, A extends E>(predicate: Predicate<E>): DF.Definement<E, A>

export declare function toRefinement<E, A extends E>(predicate: Predicate<E>): RF.Refinement<E, A>

export declare const Contravariant: Contravariant1<'Predicate'>

export declare function getBooleanAlgebra<A extends Primitive>(value: A): BooleanAlgebra<Predicate<A>>

export declare const Predicate: any

export declare const URI: 'Predicate'

export type URI = typeof URI