{-# OPTIONS_GHC -Wno-deprecations #-}
module Lorentz.Contracts.UpgradeableUnsafeLedger
( Parameter(..)
, Storage
, upgradeableUnsafeLedgerContract
, mkEmptyStorage
) where
import Lorentz.Contracts.Upgradeable.Common
type Permanent = Empty
upgradeableUnsafeLedgerContract :: InitUpgradeableContract Permanent
upgradeableUnsafeLedgerContract :: InitUpgradeableContract Permanent
upgradeableUnsafeLedgerContract = InitUpgradeableContract Permanent
forall (ver :: VersionKind).
(NiceVersion ver, NiceParameterFull (Parameter ver)) =>
UpgradeableContract ver
upgradeableContract