import { type LiftingMonoid } from "https://deno.land/x/willow@0.2.1/src/store/storage/summarisable_storage/lifting_monoid.ts";
This interface combines two bits of functionality:
- Lifting values of some type
BaseType
into the universe of a monoid (LiftedType
). - Information about the moniod of universe
LiftedType
(the neutral element and the combine function).
definition: { lift: (base: BaseType) => Promise<LiftedType>; combine: (a: LiftedType, b: LiftedType) => LiftedType; neutral: LiftedType; }