@jsoldi/hkt/dist/types/primitive.d.ts

Higher kinded types for typescript and a few utility monads.

/** The monoid for strings having the empty string as the identity element and string concatenation as the binary operation. */
export declare const string: import("../classes/monoid.js").IMonoid<import("../core/hkt.js").$K1<string>>;
/** The number semiring for arithmetic addition and multiplication. */
export declare const num: import("../classes/semiring.js").ISemiring<import("../core/hkt.js").$K1<number>, import("../core/hkt.js").$K1<number>>;
/** The boolean semiring having OR as addition and AND as multiplication. */
export declare const bool: import("../classes/semiring.js").ISemiring<import("../core/hkt.js").$K1<boolean>, import("../core/hkt.js").$K1<boolean>>;
//# sourceMappingURL=primitive.d.ts.map