import { sizeMonoid } from "https://deno.land/x/willow@0.2.1/mod.deno.ts";
A monoid which lifts the member as 1, and combines by adding together.
type
LiftingMonoid<unknown, number>
Module
x/willow/mod.deno.ts>sizeMonoid
Exploring Willow in the most efficient and sound programming language
debugscriptssrcFIFOGrowingBytesDeferredAreaAreaOfInterestEncodingSchemeEntryKeypairEncodingSchemeKeypairSchemePathPathSchemePosition3dPrivyEncodingSchemeRangeRange3dSignatureSchemeStreamDecoderSuccessorFnTotalOrderANY_SUBSPACEOPEN_ENDareaIsIncludedareaTo3dRangebigintToBytescommonPrefixcompactWidthconcatdecodeAreaInAreadecodeCompactWidthdecodeEntrydecodePathdecodePathRelativedecodeRange3dRelativedecodeStreamAreaInAreadecodeStreamEntryInNamespaceAreadecodeStreamEntryRelativeEntrydecodeStreamEntryRelativeRange3ddecodeStreamPathdecodeStreamPathRelativedecodeStreamRange3dRelativedecodeUintMax32defaultEntrydefaultRange3ddeferredencodeAreaInAreaencodeAreaInAreaLengthencodeBase32encodeBase64encodeCompactWidthencodedPathLengthencodedPathRelativeLengthencodeEntryencodeEntryInNamespaceAreaencodeEntryRelativeEntryencodeEntryRelativeRange3dencodePathencodePathRelativeencodeRange3dRelativeencodeUintMax32entryPositionequalsBytesfullAreaintersectAreaintersectRangeintersectRange3disEqualRangeValueisIncluded3disIncludedAreaisIncludedRangeisPathPrefixedisSubspaceIncludedInAreaisValidPathisValidRangeisValidRange3dmax32WidthorderBytesorderPathorderRangePairorderTimestampprefixesOfrangeIsIncludedsubspaceAreasuccessorBytesFixedWidthsuccessorPathsuccessorPrefixtoArrayBufferEntryDriverKvStoreEntryIngestEventEntryPayloadSetEventEntryRemoveEventKvDriverIndexedDBPayloadDriverIndexedDbPayloadDriverMemoryPayloadIngestEventPayloadRemoveEventPrefixedDriverSingleKeySkiplistSkiplistStoreTransportInMemoryTransportWebsocketValidationErrorWgpsMessageValidationErrorWgpsMessengerWillowErrorEntryDriverKvDriverPayloadDriverPayloadReferenceCounterPrefixIteratorStorage3dStoreSchemesSummarisableStorageTransportWriteAheadFlagAccessControlSchemeAreaOfInterestChannelMsgAuthorisationSchemeAuthorisationTokenSchemeCapabilityChannelMsgDataChannelMsgEntryInputEqualityFnFingerprintSchemeGetStoreFnIngestEventIngestEventFailureIngestEventNoOpIngestEventSuccessIngestPayloadEventIngestPayloadEventFailureIngestPayloadEventNoOpIngestPayloadEventSuccessIntersectionChannelMsgKeyPartKvBatchKvKeyLengthyEntryLiftingMonoidMsgMsgCommitmentRevealMsgControlAbsolveMsgControlAnnounceDroppingMsgControlApologiseMsgControlFreeMsgControlIssueGuaranteeMsgControlPleadMsgDataBindPayloadRequestMsgDataReplyPayloadMsgDataSendEntryMsgDataSendPayloadMsgDataSetMetadataMsgPaiBindFragmentMsgPaiReplyFragmentMsgPaiReplySubspaceCapabilityMsgPaiRequestSubspaceCapabilityMsgReconciliationAnnounceEntriesMsgReconciliationSendEntryMsgReconciliationSendFingerprintMsgReconciliationSendPayloadMsgReconciliationTerminatePayloadMsgSetupBindAreaOfInterestMsgSetupBindReadCapabilityMsgSetupBindStaticTokenNamespaceSchemeNoChannelMsgPaiSchemePayloadPayloadRequestChannelMsgPayloadSchemeQueryOrderRangeOfInterestReadAuthorisationReadCapEncodingSchemeReadCapPrivyReconciliationChannelMsgReconciliationPrivySingleKeySkiplistOptsSkiplistOptsStaticTokenChannelMsgStoreOptsSubspaceCapSchemeSubspaceSchemeSyncMessageSyncRoleSyncSchemesWgpsMessengerOptsCOVERS_NONEIS_ALFIEIS_BETTYmessageNamessizeMonoidcombineMonoidcompareKeyscompareTwoKeyPartsdecryptComponentdecryptPathdecryptPathAtOffsetencryptComponentencryptPathencryptPathAtOffsetisErrisFirstKeyPrefixOfSecondKeynotErrtransportPairInMemoryHandleTypeLogicalChannelMsgKindEntryDriverKvStoreEntryIngestEventEntryPayloadSetEventEntryRemoveEventKvDriverDenoPayloadDriverFilesystemPayloadDriverMemoryPayloadIngestEventPayloadRemoveEventPrefixedDriverRadixTreeSimpleKeyIteratorSingleKeySkiplistSkiplistStoreTransportInMemoryTransportWebsocketValidationErrorWgpsMessageValidationErrorWgpsMessengerWillowErrorEntryDriverKvDriverPayloadDriverPayloadReferenceCounterPrefixIteratorStorage3dStoreSchemesSummarisableStorageTransportWriteAheadFlagAccessControlSchemeAreaOfInterestChannelMsgAuthorisationSchemeAuthorisationTokenSchemeCapabilityChannelMsgDataChannelMsgEntryInputEqualityFnFingerprintSchemeGetStoreFnIngestEventIngestEventFailureIngestEventNoOpIngestEventSuccessIngestPayloadEventIngestPayloadEventFailureIngestPayloadEventNoOpIngestPayloadEventSuccessIntersectionChannelMsgKeyPartKvBatchKvKeyLengthyEntryLiftingMonoidMsgMsgCommitmentRevealMsgControlAbsolveMsgControlAnnounceDroppingMsgControlApologiseMsgControlFreeMsgControlIssueGuaranteeMsgControlPleadMsgDataBindPayloadRequestMsgDataReplyPayloadMsgDataSendEntryMsgDataSendPayloadMsgDataSetMetadataMsgPaiBindFragmentMsgPaiReplyFragmentMsgPaiReplySubspaceCapabilityMsgPaiRequestSubspaceCapabilityMsgReconciliationAnnounceEntriesMsgReconciliationSendEntryMsgReconciliationSendFingerprintMsgReconciliationSendPayloadMsgReconciliationTerminatePayloadMsgSetupBindAreaOfInterestMsgSetupBindReadCapabilityMsgSetupBindStaticTokenNamespaceSchemeNoChannelMsgPaiSchemePayloadPayloadRequestChannelMsgPayloadSchemeQueryOrderRangeOfInterestReadAuthorisationReadCapEncodingSchemeReadCapPrivyReconciliationChannelMsgReconciliationPrivySingleKeySkiplistOptsSkiplistOptsStaticTokenChannelMsgStoreOptsSubspaceCapSchemeSubspaceSchemeSyncMessageSyncRoleSyncSchemesWgpsMessengerOptsCOVERS_NONEIS_ALFIEIS_BETTYmessageNamessizeMonoidcombineMonoidcompareKeyscompareTwoKeyPartsdecryptComponentdecryptPathdecryptPathAtOffsetencryptComponentencryptPathencryptPathAtOffsetisErrisFirstKeyPrefixOfSecondKeynotErrtransportPairInMemoryHandleTypeLogicalChannelMsgKindEntryDriverKvStoreEntryIngestEventEntryPayloadSetEventEntryRemoveEventPayloadDriverMemoryPayloadIngestEventPayloadRemoveEventPrefixedDriverSingleKeySkiplistSkiplistStoreTransportInMemoryTransportWebsocketValidationErrorWgpsMessageValidationErrorWgpsMessengerWillowErrorEntryDriverKvDriverPayloadDriverPayloadReferenceCounterPrefixIteratorStorage3dStoreSchemesSummarisableStorageTransportWriteAheadFlagAccessControlSchemeAreaOfInterestChannelMsgAuthorisationSchemeAuthorisationTokenSchemeCapabilityChannelMsgDataChannelMsgEntryInputEqualityFnFingerprintSchemeGetStoreFnIngestEventIngestEventFailureIngestEventNoOpIngestEventSuccessIngestPayloadEventIngestPayloadEventFailureIngestPayloadEventNoOpIngestPayloadEventSuccessIntersectionChannelMsgKeyPartKvBatchKvKeyLengthyEntryLiftingMonoidMsgMsgCommitmentRevealMsgControlAbsolveMsgControlAnnounceDroppingMsgControlApologiseMsgControlFreeMsgControlIssueGuaranteeMsgControlPleadMsgDataBindPayloadRequestMsgDataReplyPayloadMsgDataSendEntryMsgDataSendPayloadMsgDataSetMetadataMsgPaiBindFragmentMsgPaiReplyFragmentMsgPaiReplySubspaceCapabilityMsgPaiRequestSubspaceCapabilityMsgReconciliationAnnounceEntriesMsgReconciliationSendEntryMsgReconciliationSendFingerprintMsgReconciliationSendPayloadMsgReconciliationTerminatePayloadMsgSetupBindAreaOfInterestMsgSetupBindReadCapabilityMsgSetupBindStaticTokenNamespaceSchemeNoChannelMsgPaiSchemePayloadPayloadRequestChannelMsgPayloadSchemeQueryOrderRangeOfInterestReadAuthorisationReadCapEncodingSchemeReadCapPrivyReconciliationChannelMsgReconciliationPrivySingleKeySkiplistOptsSkiplistOptsStaticTokenChannelMsgStoreOptsSubspaceCapSchemeSubspaceSchemeSyncMessageSyncRoleSyncSchemesWgpsMessengerOptsCOVERS_NONEIS_ALFIEIS_BETTYmessageNamessizeMonoidcombineMonoidcompareKeyscompareTwoKeyPartsdecryptComponentdecryptPathdecryptPathAtOffsetencryptComponentencryptPathencryptPathAtOffsetisErrisFirstKeyPrefixOfSecondKeynotErrtransportPairInMemoryHandleTypeLogicalChannelMsgKind
deps.ts
c
c
I
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
mod.browser.ts
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
I
I
I
I
I
I
I
I
I
I
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
v
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
E
E
E
mod.deno.ts
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
I
I
I
I
I
I
I
I
I
I
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
v
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
E
E
E
mod.universal.ts
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
I
I
I
I
I
I
I
I
I
I
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
v
v
v
v
v
f
f
f
f
f
f
f
f
f
f
f
f
f
E
E
E