morley-upgradeable-0.3: Upgradeability infrastructure based on Morley.

Index

$:Lorentz.UStore.Migration.Blocks, Lorentz.UStore.Migration
/==>Lorentz.Contracts.Upgradeable.EntrypointWise
<-->Lorentz.UStore.Migration.Blocks, Lorentz.UStore.Migration
absurd_Lorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
adminLorentz.Contracts.UserUpgradeable.V1
AllUStoreFieldsFLorentz.UStore.Migration.Diff
attachMigrationActionNameLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
BuildDiffLorentz.UStore.Migration.Diff
buildMigrationPlanLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
callMigrationTargetLorentz.Contracts.UserUpgradeable.Migrations
callUStoreEntrypointLorentz.Contracts.Upgradeable.StorageDriven
coerceUContractRouterLorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
compiledMigrationContentLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
compileMigrationLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
contractDocLorentz.Contracts.Upgradeable.Common.Doc, Lorentz.Contracts.Upgradeable.Common
contractVersionLorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
counterContract 
1 (Function)Lorentz.Contracts.UpgradeableCounterSdu.V1
2 (Function)Lorentz.Contracts.UpgradeableCounterSdu.V2
3 (Function)Lorentz.Contracts.UpgradeableCounter.V1
4 (Function)Lorentz.Contracts.UpgradeableCounter.V2
counterDocLorentz.Contracts.UpgradeableCounterSdu.V1
counterRollbackParametersLorentz.Contracts.UpgradeableCounterSdu.V2
CounterSduVLorentz.Contracts.UpgradeableCounterSdu, Lorentz.Contracts.UpgradeableCounterSdu.V2
counterUpgradeParameters 
1 (Function)Lorentz.Contracts.UpgradeableCounterSdu.V1
2 (Function)Lorentz.Contracts.UpgradeableCounterSdu.V2
3 (Function)Lorentz.Contracts.UpgradeableCounter.V1
4 (Function)Lorentz.Contracts.UpgradeableCounter.V2
counterUpgradeParametersFromV0Lorentz.Contracts.UpgradeableCounterSdu.V2
CounterV0Lorentz.Contracts.UpgradeableCounter
CounterV1Lorentz.Contracts.UpgradeableCounter.V1
CounterV2Lorentz.Contracts.UpgradeableCounter.V2
CoverDiffLorentz.UStore.Migration.Diff
CoverDiffManyLorentz.UStore.Migration.Diff
DAddActionLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
DcAddLorentz.UStore.Migration.Diff
DcRemoveLorentz.UStore.Migration.Diff
DDelActionLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
DecomposeUStoreTWLorentz.UStore.Haskell, Lorentz.UStore
DiffCoverageLorentz.UStore.Migration.Diff
DiffItemLorentz.UStore.Migration.Diff
DiffKindLorentz.UStore.Migration.Diff
DMigrationActionDesc 
1 (Type/Class)Lorentz.UStore.Migration.Base, Lorentz.UStore.Migration
2 (Data Constructor)Lorentz.UStore.Migration.Base, Lorentz.UStore.Migration
DMigrationActionTypeLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
DocumentTWLorentz.UStore.Doc
DUpgradeability 
1 (Type/Class)Lorentz.Contracts.Upgradeable.Common.Doc, Lorentz.Contracts.Upgradeable.Common
2 (Data Constructor)Lorentz.Contracts.Upgradeable.Common.Doc, Lorentz.Contracts.Upgradeable.Common
DUStoreTemplate 
1 (Type/Class)Lorentz.UStore.Doc
2 (Data Constructor)Lorentz.UStore.Doc
dUStoreTemplateRefLorentz.UStore.Doc
DVersion 
1 (Type/Class)Lorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common
2 (Data Constructor)Lorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common
ElemSignatureLorentz.UStore.Types
EmptyLorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
EmptyContractVersionLorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
emptyPermanentImplLorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
EntrypointImplLorentz.Contracts.Upgradeable.EntrypointWise
EpwApplyMigrationLorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common, Lorentz.Contracts.UpgradeableUnsafeLedger, Lorentz.Contracts.UpgradeableCounterSdu, Lorentz.Contracts.UpgradeableCounter
epwApplyMigrationDocLorentz.Contracts.Upgradeable.Common.Doc, Lorentz.Contracts.Upgradeable.Common
EpwBeginUpgradeLorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common, Lorentz.Contracts.UpgradeableUnsafeLedger, Lorentz.Contracts.UpgradeableCounterSdu, Lorentz.Contracts.UpgradeableCounter
epwBeginUpgradeDocLorentz.Contracts.Upgradeable.Common.Doc, Lorentz.Contracts.Upgradeable.Common
EpwCaseClause 
1 (Type/Class)Lorentz.Contracts.Upgradeable.EntrypointWise
2 (Data Constructor)Lorentz.Contracts.Upgradeable.EntrypointWise
epwCodeMigrationsLorentz.Contracts.Upgradeable.EntrypointWise
EpwContract 
1 (Type/Class)Lorentz.Contracts.Upgradeable.EntrypointWise
2 (Data Constructor)Lorentz.Contracts.Upgradeable.EntrypointWise
epwContractDocLorentz.Contracts.Upgradeable.EntrypointWise
epwDocumentLorentz.Contracts.Upgradeable.EntrypointWise
EpwDocumentedLorentz.Contracts.Upgradeable.EntrypointWise
EpwFallbackLorentz.Contracts.Upgradeable.EntrypointWise
epwFallbackFailLorentz.Contracts.Upgradeable.EntrypointWise
EpwFinishUpgradeLorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common, Lorentz.Contracts.UpgradeableUnsafeLedger, Lorentz.Contracts.UpgradeableCounterSdu, Lorentz.Contracts.UpgradeableCounter
epwFinishUpgradeDocLorentz.Contracts.Upgradeable.Common.Doc, Lorentz.Contracts.Upgradeable.Common
epwServeLorentz.Contracts.Upgradeable.EntrypointWise
EpwSetCodeLorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common, Lorentz.Contracts.UpgradeableUnsafeLedger, Lorentz.Contracts.UpgradeableCounterSdu, Lorentz.Contracts.UpgradeableCounter
epwSetCodeDocLorentz.Contracts.Upgradeable.Common.Doc, Lorentz.Contracts.Upgradeable.Common
EpwSetPermCodeLorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common, Lorentz.Contracts.UpgradeableUnsafeLedger, Lorentz.Contracts.UpgradeableCounterSdu, Lorentz.Contracts.UpgradeableCounter
epwSetPermCodeDocLorentz.Contracts.Upgradeable.Common.Doc, Lorentz.Contracts.Upgradeable.Common
EpwUpgradeParameters 
1 (Type/Class)Lorentz.Contracts.Upgradeable.Common.Interface, Lorentz.Contracts.Upgradeable.Common
2 (Data Constructor)Lorentz.Contracts.Upgradeable.Common.Interface, Lorentz.Contracts.Upgradeable.Common
FieldInfoLorentz.UStore.Migration.Diff
FieldSignatureLorentz.UStore.Types
fillUStoreLorentz.UStore.Haskell, Lorentz.UStore
fillUStoreMigrationBlockLorentz.UStore.Haskell
FillUStoreTWLorentz.UStore.Haskell, Lorentz.UStore
foldUStoreLorentz.UStore.Traversal
formMigrationAtomLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
FSMarkerLorentz.UStore.Types
FSValueLorentz.UStore.Types
fvUpgradeLorentz.Contracts.Upgradeable.Common.Interface, Lorentz.Contracts.Upgradeable.Common
genUStoreLorentz.UStore.Traversal
genUStoreFieldExtHedgehog.Gen.Lorentz.UStore
genUStoreSubMapHedgehog.Gen.Lorentz.UStore
GetBalance 
1 (Data Constructor)Lorentz.Contracts.UserUpgradeable.V1
2 (Data Constructor)Lorentz.Contracts.UserUpgradeable.V2
GetCounterLorentz.Contracts.UpgradeableCounterSdu
GetNothingLorentz.Contracts.UpgradeableCounterSdu
getTotalSupplyLorentz.Contracts.UpgradeableUnsafeLedger.V1
GetUStoreLorentz.UStore.Types
GetUStoreFieldLorentz.UStore.Types, Lorentz.UStore
GetUStoreFieldMarkerLorentz.UStore.Types, Lorentz.UStore
GetUStoreKeyLorentz.UStore.Types, Lorentz.UStore
GetUStoreValueLorentz.UStore.Types, Lorentz.UStore
GetVersionLorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common, Lorentz.Contracts.UpgradeableUnsafeLedger, Lorentz.Contracts.UpgradeableCounterSdu, Lorentz.Contracts.UpgradeableCounter
getVersionDocLorentz.Contracts.Upgradeable.Common.Doc, Lorentz.Contracts.Upgradeable.Common
HasUFieldLorentz.UStore.Instr, Lorentz.UStore
HasUStoreLorentz.UStore.Instr, Lorentz.UStore
HasUStoreForAllInLorentz.UStore.Instr, Lorentz.UStore
InitiateMigrationLorentz.Contracts.UserUpgradeable.V1
initiateMigrationLorentz.Contracts.UserUpgradeable.Migrations
InitUpgradeableContractLorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common
integrationalTestUpgradeLorentz.Contracts.Upgradeable.Common.Interface, Lorentz.Contracts.Upgradeable.Common
Interface 
1 (Type/Class)Lorentz.Contracts.UpgradeableUnsafeLedger.V1
2 (Type/Class)Lorentz.Contracts.UpgradeableCounter.V2
KnownContractVersionLorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
KnownUStoreMarkerLorentz.UStore.Types, Lorentz.UStore
ledger 
1 (Function)Lorentz.Contracts.UserUpgradeable.V1
2 (Function)Lorentz.Contracts.UserUpgradeable.V2
liftUStoreLorentz.UStore.Lift, Lorentz.UStore
LinearizeUStoreLorentz.UStore.Migration.Diff
LinearizeUStoreFLorentz.UStore.Migration.Diff
maActionsDescLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
maActionsDescLLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
makeEpwUpgradeLorentz.Contracts.Upgradeable.Common.Interface, Lorentz.Contracts.Upgradeable.Common
makeOneShotUpgradeLorentz.Contracts.Upgradeable.Common.Interface, Lorentz.Contracts.Upgradeable.Common
makeOneShotUpgradeParametersLorentz.Contracts.Upgradeable.Common.Interface, Lorentz.Contracts.Upgradeable.Common
manActionLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
maNameLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
maNameLLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
manFieldLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
manFieldTypeLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
manualConcatMigrationScriptsLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
manualMapMigrationScriptLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
manualWithNewUStoreLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
manualWithOldUStoreLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
MapSignatureLorentz.UStore.Types
maScriptLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
maScriptLLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
mbBatchesAsIsLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
mbNoBatchingLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
mbSeparateLambdasLorentz.UStore.Migration.Batching, Lorentz.UStore.Migration
migrate 
1 (Function)Lorentz.Contracts.UpgradeableUnsafeLedger.V1
2 (Function)Lorentz.Contracts.UpgradeableUnsafeLedger.V2
3 (Function)Lorentz.Contracts.UpgradeableCounter.V1
4 (Function)Lorentz.Contracts.UpgradeableCounter.V2
migrateAddFieldLorentz.UStore.Migration.Blocks, Lorentz.UStore.Migration, Lorentz.UStore
migrateCoerceUnsafeLorentz.UStore.Migration.Blocks, Lorentz.UStore.Migration
migrateExtractFieldLorentz.UStore.Migration.Blocks, Lorentz.UStore.Migration, Lorentz.UStore
migrateFillUStoreLorentz.UStore.Haskell
MigrateFromLorentz.Contracts.UserUpgradeable.V2
migrateGetFieldLorentz.UStore.Migration.Blocks, Lorentz.UStore.Migration, Lorentz.UStore
migrateModifyFieldLorentz.UStore.Migration.Blocks, Lorentz.UStore.Migration, Lorentz.UStore
MigrateMyTokensLorentz.Contracts.UserUpgradeable.V1
migrateOverwriteFieldLorentz.UStore.Migration.Blocks, Lorentz.UStore.Migration, Lorentz.UStore
migrateRemoveFieldLorentz.UStore.Migration.Blocks, Lorentz.UStore.Migration, Lorentz.UStore
migration 
1 (Function)Lorentz.Contracts.UpgradeableCounterSdu.V1
2 (Function)Lorentz.Contracts.UpgradeableCounterSdu.V2
MigrationAtom 
1 (Type/Class)Lorentz.UStore.Migration.Base, Lorentz.UStore.Migration
2 (Data Constructor)Lorentz.UStore.Migration.Base, Lorentz.UStore.Migration
MigrationBatching 
1 (Type/Class)Lorentz.UStore.Migration.Base, Lorentz.UStore.Migration
2 (Data Constructor)Lorentz.UStore.Migration.Base, Lorentz.UStore.Migration
MigrationBlocks 
1 (Type/Class)Lorentz.UStore.Migration.Base, Lorentz.UStore.Migration
2 (Data Constructor)Lorentz.UStore.Migration.Base, Lorentz.UStore.Migration
migrationFinishLorentz.UStore.Migration.Blocks, Lorentz.UStore.Migration
MigrationFinishCheckPositionLorentz.UStore.Migration.Blocks, Lorentz.UStore.Migration
migrations 
1 (Function)Lorentz.Contracts.UpgradeableCounter.V1
2 (Function)Lorentz.Contracts.UpgradeableCounter.V2
MigrationScript 
1 (Type/Class)Lorentz.UStore.Migration.Base, Lorentz.UStore.Migration, Lorentz.UStore, Lorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
2 (Data Constructor)Lorentz.UStore.Migration.Base, Lorentz.UStore.Migration, Lorentz.UStore, Lorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
MigrationScriptFromLorentz.UStore.Migration.Base, Lorentz.UStore.Migration, Lorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
MigrationScriptToLorentz.UStore.Migration.Base, Lorentz.UStore.Migration, Lorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
MigrationScript_Lorentz.UStore.Migration.Base, Lorentz.UStore.Migration, Lorentz.UStore
migrationStagesNumLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
MigrationTargetLorentz.Contracts.UserUpgradeable.Migrations
migrationTarget 
1 (Function)Lorentz.Contracts.UserUpgradeable.V1
2 (Function)Lorentz.Contracts.UserUpgradeable.V2
migrationToInfoLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
migrationToLambdaLorentz.UStore.Migration.Base, Lorentz.UStore.Migration, Lorentz.UStore
migrationToScriptLorentz.UStore.Migration.Base, Lorentz.UStore.Migration, Lorentz.UStore
migrationToScriptILorentz.UStore.Migration.Base, Lorentz.UStore.Migration, Lorentz.UStore
migrationToScriptsLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
migrationToScriptsListLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
mkEmptyStorageLorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common, Lorentz.Contracts.UpgradeableUnsafeLedger, Lorentz.Contracts.UpgradeableCounterSdu, Lorentz.Contracts.UpgradeableCounter
mkEpwContractLorentz.Contracts.Upgradeable.EntrypointWise
mkEpwContractTLorentz.Contracts.Upgradeable.EntrypointWise
mkFieldMarkerUKeyLorentz.UStore.Types, Lorentz.UStore
mkFieldMarkerUKeyLLorentz.UStore.Types
mkFieldUKeyLorentz.UStore.Types
mkSduContractLorentz.Contracts.Upgradeable.StorageDriven
mkSduEntrypointLorentz.Contracts.Upgradeable.StorageDriven
mkSmallPermanentImplLorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
mkStorage 
1 (Function)Lorentz.Contracts.UserUpgradeable.V1
2 (Function)Lorentz.Contracts.UserUpgradeable.V2
mkUContractRouterLorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
mkUStoreLorentz.UStore.Haskell, Lorentz.UStore
mkUStoreBatchedMigrationLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
mkUStoreEntrypointLorentz.Contracts.Upgradeable.StorageDriven
mkUStoreMigrationLorentz.UStore.Migration.Base, Lorentz.UStore.Migration, Lorentz.UStore
MkUStoreTWLorentz.UStore.Haskell, Lorentz.UStore
modifyUStoreLorentz.UStore.Traversal
MSKeyLorentz.UStore.Types
MSValueLorentz.UStore.Types
muBlockLorentz.UStore.Migration.Blocks, Lorentz.UStore.Migration
muBlockNamedLorentz.UStore.Migration.Blocks, Lorentz.UStore.Migration
MUStoreLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
mustoreToOldLorentz.UStore.Migration.Blocks, Lorentz.UStore.Migration, Lorentz.UStore
MUStoreUnsafeLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
NatLorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
NiceVersionLorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common
OneShotUpgradeParametersLorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common
packSubMapUKeyLorentz.UStore.Instr
Parameter 
1 (Type/Class)Lorentz.Contracts.UserUpgradeable.V1
2 (Type/Class)Lorentz.Contracts.UserUpgradeable.V2
3 (Type/Class)Lorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common, Lorentz.Contracts.UpgradeableUnsafeLedger, Lorentz.Contracts.UpgradeableCounterSdu, Lorentz.Contracts.UpgradeableCounter
pbsContainedInRunLorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common
pbsContainedInRunPermLorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common
PermanentLorentz.Contracts.UpgradeableCounterSdu
PermanentEntrypointsKindLorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
PermanentImpl 
1 (Type/Class)Lorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common
2 (Data Constructor)Lorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
PermConstraintLorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common
permImplLorentz.Contracts.UpgradeableCounterSdu.V1
PickMarkedFieldsLorentz.UStore.Types, Lorentz.UStore
previousVersionLorentz.Contracts.UserUpgradeable.V2
readContractUStoreLorentz.Contracts.Upgradeable.Client
readContractUStoreEntrypointLorentz.Contracts.Upgradeable.Client
removeEndpointLorentz.Contracts.Upgradeable.EntrypointWise
RequireEmptyDiffLorentz.UStore.Migration.Diff
RunLorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common, Lorentz.Contracts.UpgradeableUnsafeLedger, Lorentz.Contracts.UpgradeableCounterSdu, Lorentz.Contracts.UpgradeableCounter
runAddLorentz.Contracts.UpgradeableCounterSdu.V1
runDocLorentz.Contracts.Upgradeable.Common.Doc, Lorentz.Contracts.Upgradeable.Common
runGetCounterValueLorentz.Contracts.UpgradeableCounterSdu.V1
RunPermLorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common, Lorentz.Contracts.UpgradeableUnsafeLedger, Lorentz.Contracts.UpgradeableCounterSdu, Lorentz.Contracts.UpgradeableCounter
runPermDocLorentz.Contracts.Upgradeable.Common.Doc, Lorentz.Contracts.Upgradeable.Common
sduAddEntrypointDocLorentz.Contracts.Upgradeable.StorageDriven
SduAddEntrypointDocTWLorentz.Contracts.Upgradeable.StorageDriven
sduContractDocLorentz.Contracts.Upgradeable.StorageDriven
sduDocumentLorentz.Contracts.Upgradeable.StorageDriven
SduDocumentTWLorentz.Contracts.Upgradeable.StorageDriven
SduEntrypointLorentz.Contracts.Upgradeable.StorageDriven
SduFallbackLorentz.Contracts.Upgradeable.StorageDriven
sduFallbackFailLorentz.Contracts.Upgradeable.StorageDriven
SetAdministratorLorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common, Lorentz.Contracts.UpgradeableUnsafeLedger, Lorentz.Contracts.UpgradeableCounterSdu, Lorentz.Contracts.UpgradeableCounter
setAdministratorDocLorentz.Contracts.Upgradeable.Common.Doc, Lorentz.Contracts.Upgradeable.Common
ShowDiffLorentz.UStore.Migration.Diff
ShowUStoreFieldLorentz.UStore.Types, Lorentz.UStore
SimpleUpgradeWayLorentz.Contracts.Upgradeable.Common.Interface, Lorentz.Contracts.Upgradeable.Common
SlBatchInfo 
1 (Type/Class)Lorentz.UStore.Migration.Batching, Lorentz.UStore.Migration
2 (Data Constructor)Lorentz.UStore.Migration.Batching, Lorentz.UStore.Migration
SlBatchTypeLorentz.UStore.Migration.Batching, Lorentz.UStore.Migration
slbiActionsLorentz.UStore.Migration.Batching, Lorentz.UStore.Migration
slbiTypeLorentz.UStore.Migration.Batching, Lorentz.UStore.Migration
SlbtCustomLorentz.UStore.Migration.Batching, Lorentz.UStore.Migration
SlbtDataLorentz.UStore.Migration.Batching, Lorentz.UStore.Migration
SlbtLambdaLorentz.UStore.Migration.Batching, Lorentz.UStore.Migration
SlbtUnknownLorentz.UStore.Migration.Batching, Lorentz.UStore.Migration
SomeContractVersionLorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
SomePermanentImplLorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
SomeUContractRouterLorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
SomeUTemplateLorentz.UStore.Migration.Base, Lorentz.UStore.Migration
Storage 
1 (Type/Class)Lorentz.Contracts.UserUpgradeable.V1
2 (Data Constructor)Lorentz.Contracts.UserUpgradeable.V1
3 (Type/Class)Lorentz.Contracts.UserUpgradeable.V2
4 (Data Constructor)Lorentz.Contracts.UserUpgradeable.V2
5 (Type/Class)Lorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common, Lorentz.Contracts.UpgradeableUnsafeLedger, Lorentz.Contracts.UpgradeableCounterSdu, Lorentz.Contracts.UpgradeableCounter
testSingleVersionLorentz.Contracts.Upgradeable.Test
testUpgradeableContractDocLorentz.Contracts.Upgradeable.Test
ToAddLorentz.UStore.Migration.Diff
ToDelLorentz.UStore.Migration.Diff
transferLorentz.Contracts.UpgradeableUnsafeLedger.V1
TransferParamsLorentz.Contracts.UpgradeableUnsafeLedger.V1
traverseUStoreLorentz.UStore.Traversal
UContractRefLorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common
UContractRouter 
1 (Type/Class)Lorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
2 (Data Constructor)Lorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
UMarkerEntrypointLorentz.Contracts.Upgradeable.StorageDriven
UMarkerPlainFieldLorentz.UStore.Types
unliftUStoreLorentz.UStore.Lift, Lorentz.UStore
unMigrationScriptLorentz.UStore.Migration.Base, Lorentz.UStore.Migration, Lorentz.UStore, Lorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
unPermanentImplLorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
unsafeEmptyUStoreLorentz.UStore.Instr
unsafeLedgerContract 
1 (Function)Lorentz.Contracts.UpgradeableUnsafeLedger.V1
2 (Function)Lorentz.Contracts.UpgradeableUnsafeLedger.V2
UnsafeLedgerV1Lorentz.Contracts.UpgradeableUnsafeLedger.V1
UnsafeLedgerV2Lorentz.Contracts.UpgradeableUnsafeLedger.V2
unUContractRouterLorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
unUStoreLorentz.UStore.Types
unUStoreFieldLorentz.UStore.Types, Lorentz.UStore
unUStoreSubMapLorentz.UStore.Types, Lorentz.UStore
unVersionLorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
UpgEntrypointWiseLorentz.Contracts.Upgradeable.Common.Interface, Lorentz.Contracts.Upgradeable.Common
UpgOneShotLorentz.Contracts.Upgradeable.Common.Interface, Lorentz.Contracts.Upgradeable.Common
UpgradeLorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common, Lorentz.Contracts.UpgradeableUnsafeLedger, Lorentz.Contracts.UpgradeableCounterSdu, Lorentz.Contracts.UpgradeableCounter
UpgradeableContractLorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common
upgradeableContractLorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common
upgradeableCounterContractLorentz.Contracts.UpgradeableCounter
upgradeableCounterContractSduLorentz.Contracts.UpgradeableCounterSdu
UpgradeableEntrypointsKindLorentz.Contracts.Upgradeable.Common.Doc, Lorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
upgradeableUnsafeLedgerContractLorentz.Contracts.UpgradeableUnsafeLedger
upgradeDocLorentz.Contracts.Upgradeable.Common.Doc, Lorentz.Contracts.Upgradeable.Common
UpgradeWayLorentz.Contracts.Upgradeable.Common.Interface, Lorentz.Contracts.Upgradeable.Common
upMigrationScriptsLorentz.Contracts.Upgradeable.Common.Interface, Lorentz.Contracts.Upgradeable.Common
upNewCodeLorentz.Contracts.Upgradeable.Common.Interface, Lorentz.Contracts.Upgradeable.Common
upNewPermCodeLorentz.Contracts.Upgradeable.Common.Interface, Lorentz.Contracts.Upgradeable.Common
UrFieldLorentz.Contracts.Upgradeable.Client
UrSubmapLorentz.Contracts.Upgradeable.Client
userUpgradeableContract 
1 (Function)Lorentz.Contracts.UserUpgradeable.V1
2 (Function)Lorentz.Contracts.UserUpgradeable.V2
UStore 
1 (Type/Class)Lorentz.UStore.Types, Lorentz.UStore
2 (Data Constructor)Lorentz.UStore.Types
ustoreDecomposeLorentz.UStore.Haskell, Lorentz.UStore
ustoreDecomposeFullLorentz.UStore.Haskell, Lorentz.UStore
ustoreDeleteLorentz.UStore.Instr, Lorentz.UStore
UStoreElemRefLorentz.Contracts.Upgradeable.Client
UStoreEntrypoint 
1 (Type/Class)Lorentz.Contracts.Upgradeable.StorageDriven
2 (Data Constructor)Lorentz.Contracts.Upgradeable.StorageDriven
UStoreEpInterfaceLorentz.Contracts.Upgradeable.StorageDriven
UStoreField 
1 (Type/Class)Lorentz.UStore.Types, Lorentz.UStore
2 (Data Constructor)Lorentz.UStore.Types, Lorentz.UStore
UStoreFieldExtLorentz.UStore.Types, Lorentz.UStore
ustoreFieldOpsLorentz.UStore.Instances
UStoreFieldsAreUniqueLorentz.UStore.Lift
ustoreGetLorentz.UStore.Instr, Lorentz.UStore
ustoreGetFieldLorentz.UStore.Instr, Lorentz.UStore
ustoreInsertLorentz.UStore.Instr, Lorentz.UStore
ustoreInsertNewLorentz.UStore.Instr, Lorentz.UStore
UStoreMarkerHasDocLorentz.UStore.Doc, Lorentz.UStore
ustoreMarkerKeyEncodingLorentz.UStore.Doc, Lorentz.UStore
UStoreMarkerTypeLorentz.UStore.Types, Lorentz.UStore
ustoreMemLorentz.UStore.Instr, Lorentz.UStore
UStoreMigration 
1 (Type/Class)Lorentz.UStore.Migration.Base, Lorentz.UStore.Migration, Lorentz.UStore
2 (Data Constructor)Lorentz.UStore.Migration.Base, Lorentz.UStore.Migration
UStoreMigrationCompiled 
1 (Type/Class)Lorentz.UStore.Migration.Base, Lorentz.UStore.Migration
2 (Data Constructor)Lorentz.UStore.Migration.Base, Lorentz.UStore.Migration
ustoreRemoveFieldUnsafeLorentz.UStore.Instr
ustoreSetFieldLorentz.UStore.Instr, Lorentz.UStore
UStoreSubMapLorentz.UStore.Types, Lorentz.UStore
UStoreSubmapKeyLorentz.UStore.Types
UStoreSubmapKeyTLorentz.UStore.Types
ustoreSubmapOpsLorentz.UStore.Instances
UStoreTemplateLorentz.Contracts.UpgradeableUnsafeLedger.V1
ustoreTemplateDocContentsLorentz.UStore.Doc, Lorentz.UStore
ustoreTemplateDocDependenciesLorentz.UStore.Doc, Lorentz.UStore
ustoreTemplateDocDescriptionLorentz.UStore.Doc, Lorentz.UStore
ustoreTemplateDocNameLorentz.UStore.Doc, Lorentz.UStore
UStoreTemplateHasDocLorentz.UStore.Doc, Lorentz.UStore
UStoreTemplateV1Lorentz.Contracts.UpgradeableCounter.V1
ustoreToFieldLorentz.UStore.Instr, Lorentz.UStore
UStoreTraversableLorentz.UStore.Traversal, Lorentz.UStore
UStoreTraversalArgumentWrapperLorentz.UStore.Traversal
UStoreTraversalFieldHandlerLorentz.UStore.Traversal
ustoreTraversalFieldHandlerLorentz.UStore.Traversal
UStoreTraversalMonadLorentz.UStore.Traversal
UStoreTraversalSubmapHandlerLorentz.UStore.Traversal
ustoreTraversalSubmapHandlerLorentz.UStore.Traversal
UStoreTraversalWayLorentz.UStore.Traversal
ustoreUpdateLorentz.UStore.Instr, Lorentz.UStore
UStoreV1 
1 (Type/Class)Lorentz.Contracts.UpgradeableUnsafeLedger.V1
2 (Type/Class)Lorentz.Contracts.UpgradeableCounter.V1
UStoreV2Lorentz.Contracts.UpgradeableCounter.V2
UStoreValueUnpackFailed 
1 (Type/Class)Lorentz.Contracts.Upgradeable.Client
2 (Data Constructor)Lorentz.Contracts.Upgradeable.Client
UStore_Lorentz.UStore.Migration.Base, Lorentz.UStore.Migration, Lorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
UTAddressLorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common
VerInterfaceLorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common, Lorentz.Contracts.Upgradeable.Common
VerParamLorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
VerPermanentLorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common, Lorentz.Contracts.Upgradeable.Common
Version 
1 (Type/Class)Lorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
2 (Data Constructor)Lorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
VersionKindLorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
VerUStoreLorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
VerUStoreTemplateLorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common, Lorentz.Contracts.Upgradeable.Common
|~>Lorentz.UStore.Types, Lorentz.UStore