Safe Haskell	Safe-Inferred
Language	Haskell2010

TrustlessSidechain.Types

Synopsis

data PermissionedCandidatesPolicyRedeemer
- = PermissionedCandidatesMint
- | PermissionedCandidatesBurn
data PermissionedCandidatesValidatorRedeemer
- = UpdatePermissionedCandidates
- | RemovePermissionedCandidates
data ImmutableReserveSettings = ImmutableReserveSettings {
- tokenKind :: AssetClass
}
data MutableReserveSettings = MutableReserveSettings {
- vFunctionTotalAccrued :: CurrencySymbol
- incentiveAmount :: Integer
}
newtype ReserveStats = ReserveStats {
- tokenTotalAmountTransferred :: Integer
}
data ReserveDatum = ReserveDatum {
}
data ReserveRedeemer
data IlliquidCirculationSupplyRedeemer
- = DepositMoreToSupply
- | WithdrawFromSupply
data VersionedGenericDatum a = VersionedGenericDatum {
- datum :: a
- genericData :: BuiltinData
- version :: Integer
}
newtype VersionOracle = VersionOracle {
- scriptId :: Integer
}
newtype VersionOracleConfig = VersionOracleConfig {
- versionOracleCurrencySymbol :: CurrencySymbol
}
data VersionOracleDatum = VersionOracleDatum {
- versionOracle :: VersionOracle
- currencySymbol :: CurrencySymbol
}
data VersionOraclePolicyRedeemer

Documentation

data PermissionedCandidatesPolicyRedeemer #

PermissionedCandidatesPolicyRedeemer signals whether transaction is supposed to mint or burn PermissionedCandidates tokens

Constructors

PermissionedCandidatesMint
PermissionedCandidatesBurn

Instances

Instances details

Show PermissionedCandidatesPolicyRedeemer #
Instance details Defined in TrustlessSidechain.Types Methods showsPrec :: Int -> PermissionedCandidatesPolicyRedeemer -> ShowS # show :: PermissionedCandidatesPolicyRedeemer -> String # showList :: [PermissionedCandidatesPolicyRedeemer] -> ShowS #
Eq PermissionedCandidatesPolicyRedeemer #
Instance details Defined in TrustlessSidechain.Types Methods (==) :: PermissionedCandidatesPolicyRedeemer -> PermissionedCandidatesPolicyRedeemer -> Bool # (/=) :: PermissionedCandidatesPolicyRedeemer -> PermissionedCandidatesPolicyRedeemer -> Bool #
FromData PermissionedCandidatesPolicyRedeemer #
Instance details Defined in TrustlessSidechain.Types Methods fromBuiltinData :: BuiltinData -> Maybe PermissionedCandidatesPolicyRedeemer #
ToData PermissionedCandidatesPolicyRedeemer #
Instance details Defined in TrustlessSidechain.Types Methods toBuiltinData :: PermissionedCandidatesPolicyRedeemer -> BuiltinData #
UnsafeFromData PermissionedCandidatesPolicyRedeemer #
Instance details Defined in TrustlessSidechain.Types Methods unsafeFromBuiltinData :: BuiltinData -> PermissionedCandidatesPolicyRedeemer #

data PermissionedCandidatesValidatorRedeemer #

PermissionedCandidatesValidatorRedeemer signals whether transaction is supposed to update the list of permissioned candidates or remove the list altogether.

Constructors

UpdatePermissionedCandidates
RemovePermissionedCandidates

Instances

Instances details

Show PermissionedCandidatesValidatorRedeemer #
Instance details Defined in TrustlessSidechain.Types Methods showsPrec :: Int -> PermissionedCandidatesValidatorRedeemer -> ShowS # show :: PermissionedCandidatesValidatorRedeemer -> String # showList :: [PermissionedCandidatesValidatorRedeemer] -> ShowS #
Eq PermissionedCandidatesValidatorRedeemer #
Instance details Defined in TrustlessSidechain.Types Methods (==) :: PermissionedCandidatesValidatorRedeemer -> PermissionedCandidatesValidatorRedeemer -> Bool # (/=) :: PermissionedCandidatesValidatorRedeemer -> PermissionedCandidatesValidatorRedeemer -> Bool #
FromData PermissionedCandidatesValidatorRedeemer #
Instance details Defined in TrustlessSidechain.Types Methods fromBuiltinData :: BuiltinData -> Maybe PermissionedCandidatesValidatorRedeemer #
ToData PermissionedCandidatesValidatorRedeemer #
Instance details Defined in TrustlessSidechain.Types Methods toBuiltinData :: PermissionedCandidatesValidatorRedeemer -> BuiltinData #
UnsafeFromData PermissionedCandidatesValidatorRedeemer #
Instance details Defined in TrustlessSidechain.Types Methods unsafeFromBuiltinData :: BuiltinData -> PermissionedCandidatesValidatorRedeemer #

data ImmutableReserveSettings #

Constructors

ImmutableReserveSettings
Fields tokenKind :: AssetClass `tokenKind` is an asset class of tokens that a reserve UTxO is allowed to store

Instances

Instances details

Show ImmutableReserveSettings #
Instance details Defined in TrustlessSidechain.Types Methods showsPrec :: Int -> ImmutableReserveSettings -> ShowS # show :: ImmutableReserveSettings -> String # showList :: [ImmutableReserveSettings] -> ShowS #
Eq ImmutableReserveSettings #
Instance details Defined in TrustlessSidechain.Types Methods (==) :: ImmutableReserveSettings -> ImmutableReserveSettings -> Bool # (/=) :: ImmutableReserveSettings -> ImmutableReserveSettings -> Bool #
FromData ImmutableReserveSettings #
Instance details Defined in TrustlessSidechain.Types Methods fromBuiltinData :: BuiltinData -> Maybe ImmutableReserveSettings #
ToData ImmutableReserveSettings #
Instance details Defined in TrustlessSidechain.Types Methods toBuiltinData :: ImmutableReserveSettings -> BuiltinData #
UnsafeFromData ImmutableReserveSettings #
Instance details Defined in TrustlessSidechain.Types Methods unsafeFromBuiltinData :: BuiltinData -> ImmutableReserveSettings #

data MutableReserveSettings #

Constructors

MutableReserveSettings
Fields vFunctionTotalAccrued :: CurrencySymbol `vFunctionTotalAccrued` is a currency symbol of a minting policy that dictates the upper bound on the number of `tokenKind` tokens that can be transferred from a reserve utxo to an illiquid circulation supply from `t0` till now incentiveAmount :: Integer The amount of `tokenKind` the user is allowed to claim when releasing money from the reserve

Instances

Instances details

Show MutableReserveSettings #
Instance details Defined in TrustlessSidechain.Types Methods showsPrec :: Int -> MutableReserveSettings -> ShowS # show :: MutableReserveSettings -> String # showList :: [MutableReserveSettings] -> ShowS #
Eq MutableReserveSettings #
Instance details Defined in TrustlessSidechain.Types Methods (==) :: MutableReserveSettings -> MutableReserveSettings -> Bool # (/=) :: MutableReserveSettings -> MutableReserveSettings -> Bool #
FromData MutableReserveSettings #
Instance details Defined in TrustlessSidechain.Types Methods fromBuiltinData :: BuiltinData -> Maybe MutableReserveSettings #
ToData MutableReserveSettings #
Instance details Defined in TrustlessSidechain.Types Methods toBuiltinData :: MutableReserveSettings -> BuiltinData #
UnsafeFromData MutableReserveSettings #
Instance details Defined in TrustlessSidechain.Types Methods unsafeFromBuiltinData :: BuiltinData -> MutableReserveSettings #

newtype ReserveStats #

Constructors

ReserveStats
Fields tokenTotalAmountTransferred :: Integer `tokenTotalAmountTransferred` is the total number of tokens that already have been transferred from a reserve utxo to an illiquid circulation supply

Instances

Instances details

Show ReserveStats #
Instance details Defined in TrustlessSidechain.Types Methods showsPrec :: Int -> ReserveStats -> ShowS # show :: ReserveStats -> String # showList :: [ReserveStats] -> ShowS #
Eq ReserveStats #
Instance details Defined in TrustlessSidechain.Types Methods (==) :: ReserveStats -> ReserveStats -> Bool # (/=) :: ReserveStats -> ReserveStats -> Bool #
Eq ReserveStats #
Instance details Defined in TrustlessSidechain.Types Methods (==) :: ReserveStats -> ReserveStats -> Bool #
FromData ReserveStats #
Instance details Defined in TrustlessSidechain.Types Methods fromBuiltinData :: BuiltinData -> Maybe ReserveStats #
ToData ReserveStats #
Instance details Defined in TrustlessSidechain.Types Methods toBuiltinData :: ReserveStats -> BuiltinData #
UnsafeFromData ReserveStats #
Instance details Defined in TrustlessSidechain.Types Methods unsafeFromBuiltinData :: BuiltinData -> ReserveStats #

data ReserveDatum #

Constructors

ReserveDatum
Fields immutableSettings :: ImmutableReserveSettings mutableSettings :: MutableReserveSettings stats :: ReserveStats

Instances

Instances details

Show ReserveDatum #
Instance details Defined in TrustlessSidechain.Types Methods showsPrec :: Int -> ReserveDatum -> ShowS # show :: ReserveDatum -> String # showList :: [ReserveDatum] -> ShowS #
Eq ReserveDatum #
Instance details Defined in TrustlessSidechain.Types Methods (==) :: ReserveDatum -> ReserveDatum -> Bool # (/=) :: ReserveDatum -> ReserveDatum -> Bool #
FromData ReserveDatum #
Instance details Defined in TrustlessSidechain.Types Methods fromBuiltinData :: BuiltinData -> Maybe ReserveDatum #
ToData ReserveDatum #
Instance details Defined in TrustlessSidechain.Types Methods toBuiltinData :: ReserveDatum -> BuiltinData #
UnsafeFromData ReserveDatum #
Instance details Defined in TrustlessSidechain.Types Methods unsafeFromBuiltinData :: BuiltinData -> ReserveDatum #

data ReserveRedeemer #

Constructors

DepositToReserve
TransferToIlliquidCirculationSupply
UpdateReserve
Handover

Instances

Instances details

Show ReserveRedeemer #
Instance details Defined in TrustlessSidechain.Types Methods showsPrec :: Int -> ReserveRedeemer -> ShowS # show :: ReserveRedeemer -> String # showList :: [ReserveRedeemer] -> ShowS #
Eq ReserveRedeemer #
Instance details Defined in TrustlessSidechain.Types Methods (==) :: ReserveRedeemer -> ReserveRedeemer -> Bool # (/=) :: ReserveRedeemer -> ReserveRedeemer -> Bool #
FromData ReserveRedeemer #
Instance details Defined in TrustlessSidechain.Types Methods fromBuiltinData :: BuiltinData -> Maybe ReserveRedeemer #
ToData ReserveRedeemer #
Instance details Defined in TrustlessSidechain.Types Methods toBuiltinData :: ReserveRedeemer -> BuiltinData #
UnsafeFromData ReserveRedeemer #
Instance details Defined in TrustlessSidechain.Types Methods unsafeFromBuiltinData :: BuiltinData -> ReserveRedeemer #

data IlliquidCirculationSupplyRedeemer #

Constructors

DepositMoreToSupply
WithdrawFromSupply

Instances

Instances details

Show IlliquidCirculationSupplyRedeemer #
Instance details Defined in TrustlessSidechain.Types Methods showsPrec :: Int -> IlliquidCirculationSupplyRedeemer -> ShowS # show :: IlliquidCirculationSupplyRedeemer -> String # showList :: [IlliquidCirculationSupplyRedeemer] -> ShowS #
Eq IlliquidCirculationSupplyRedeemer #
Instance details Defined in TrustlessSidechain.Types Methods (==) :: IlliquidCirculationSupplyRedeemer -> IlliquidCirculationSupplyRedeemer -> Bool # (/=) :: IlliquidCirculationSupplyRedeemer -> IlliquidCirculationSupplyRedeemer -> Bool #
FromData IlliquidCirculationSupplyRedeemer #
Instance details Defined in TrustlessSidechain.Types Methods fromBuiltinData :: BuiltinData -> Maybe IlliquidCirculationSupplyRedeemer #
ToData IlliquidCirculationSupplyRedeemer #
Instance details Defined in TrustlessSidechain.Types Methods toBuiltinData :: IlliquidCirculationSupplyRedeemer -> BuiltinData #
UnsafeFromData IlliquidCirculationSupplyRedeemer #
Instance details Defined in TrustlessSidechain.Types Methods unsafeFromBuiltinData :: BuiltinData -> IlliquidCirculationSupplyRedeemer #

data VersionedGenericDatum a #

Constructors

VersionedGenericDatum
Fields datum :: a genericData :: BuiltinData version :: Integer

Instances

Instances details

Show a => Show (VersionedGenericDatum a) #
Instance details Defined in TrustlessSidechain.Types Methods showsPrec :: Int -> VersionedGenericDatum a -> ShowS # show :: VersionedGenericDatum a -> String # showList :: [VersionedGenericDatum a] -> ShowS #
Eq a => Eq (VersionedGenericDatum a) #
Instance details Defined in TrustlessSidechain.Types Methods (==) :: VersionedGenericDatum a -> VersionedGenericDatum a -> Bool # (/=) :: VersionedGenericDatum a -> VersionedGenericDatum a -> Bool #
FromData a => FromData (VersionedGenericDatum a) #
Instance details Defined in TrustlessSidechain.Types Methods fromBuiltinData :: BuiltinData -> Maybe (VersionedGenericDatum a) #
ToData a => ToData (VersionedGenericDatum a) #
Instance details Defined in TrustlessSidechain.Types Methods toBuiltinData :: VersionedGenericDatum a -> BuiltinData #
UnsafeFromData a => UnsafeFromData (VersionedGenericDatum a) #
Instance details Defined in TrustlessSidechain.Types Methods unsafeFromBuiltinData :: BuiltinData -> VersionedGenericDatum a #

newtype VersionOracle #

Datum attached to VersionOraclePolicy tokens stored on the VersionOracleValidator script.

Constructors

VersionOracle
Fields scriptId :: Integer Unique identifier of the validator.

Instances

Instances details

Show VersionOracle #
Instance details Defined in TrustlessSidechain.Types Methods showsPrec :: Int -> VersionOracle -> ShowS # show :: VersionOracle -> String # showList :: [VersionOracle] -> ShowS #
Eq VersionOracle #
Instance details Defined in TrustlessSidechain.Types Methods (==) :: VersionOracle -> VersionOracle -> Bool # (/=) :: VersionOracle -> VersionOracle -> Bool #
Eq VersionOracle #
Instance details Defined in TrustlessSidechain.Types Methods (==) :: VersionOracle -> VersionOracle -> Bool #
FromData VersionOracle #
Instance details Defined in TrustlessSidechain.Types Methods fromBuiltinData :: BuiltinData -> Maybe VersionOracle #
ToData VersionOracle #
Instance details Defined in TrustlessSidechain.Types Methods toBuiltinData :: VersionOracle -> BuiltinData #
UnsafeFromData VersionOracle #
Instance details Defined in TrustlessSidechain.Types Methods unsafeFromBuiltinData :: BuiltinData -> VersionOracle #

newtype VersionOracleConfig #

Configuration of the versioning system. Contains currency symbol of VersionOraclePolicy tokens. Required to identify versioning tokens that can be trusted.

Constructors

VersionOracleConfig
Fields versionOracleCurrencySymbol :: CurrencySymbol @since v5.0.0

Instances

Instances details

Show VersionOracleConfig #
Instance details Defined in TrustlessSidechain.Types Methods showsPrec :: Int -> VersionOracleConfig -> ShowS # show :: VersionOracleConfig -> String # showList :: [VersionOracleConfig] -> ShowS #
Eq VersionOracleConfig #
Instance details Defined in TrustlessSidechain.Types Methods (==) :: VersionOracleConfig -> VersionOracleConfig -> Bool # (/=) :: VersionOracleConfig -> VersionOracleConfig -> Bool #
FromData VersionOracleConfig #
Instance details Defined in TrustlessSidechain.Types Methods fromBuiltinData :: BuiltinData -> Maybe VersionOracleConfig #
ToData VersionOracleConfig #
Instance details Defined in TrustlessSidechain.Types Methods toBuiltinData :: VersionOracleConfig -> BuiltinData #
UnsafeFromData VersionOracleConfig #
Instance details Defined in TrustlessSidechain.Types Methods unsafeFromBuiltinData :: BuiltinData -> VersionOracleConfig #

data VersionOracleDatum #

Datum attached to VersionOraclePolicy tokens stored on the VersionOracleValidator script.

Constructors

VersionOracleDatum
Fields versionOracle :: VersionOracle VersionOracle which identifies the script. currencySymbol :: CurrencySymbol Currency Symbol of the VersioningOraclePolicy tokens.

Instances

Instances details

Show VersionOracleDatum #
Instance details Defined in TrustlessSidechain.Types Methods showsPrec :: Int -> VersionOracleDatum -> ShowS # show :: VersionOracleDatum -> String # showList :: [VersionOracleDatum] -> ShowS #
Eq VersionOracleDatum #
Instance details Defined in TrustlessSidechain.Types Methods (==) :: VersionOracleDatum -> VersionOracleDatum -> Bool # (/=) :: VersionOracleDatum -> VersionOracleDatum -> Bool #
Eq VersionOracleDatum #
Instance details Defined in TrustlessSidechain.Types Methods (==) :: VersionOracleDatum -> VersionOracleDatum -> Bool #
FromData VersionOracleDatum #
Instance details Defined in TrustlessSidechain.Types Methods fromBuiltinData :: BuiltinData -> Maybe VersionOracleDatum #
ToData VersionOracleDatum #
Instance details Defined in TrustlessSidechain.Types Methods toBuiltinData :: VersionOracleDatum -> BuiltinData #
UnsafeFromData VersionOracleDatum #
Instance details Defined in TrustlessSidechain.Types Methods unsafeFromBuiltinData :: BuiltinData -> VersionOracleDatum #

data VersionOraclePolicyRedeemer #

Redeemer for the versioning oracle minting policy that instructs the script whether to mint or burn versioning tokens.

Constructors

InitializeVersionOracle VersionOracle ScriptHash	Mint versioning tokens from init tokens. Used during sidechain initialization.
MintVersionOracle VersionOracle ScriptHash	Mint a new versioning token ensuring it contains correct datum and reference script.
BurnVersionOracle VersionOracle	Burn existing versioning token.

Instances

Instances details

FromData VersionOraclePolicyRedeemer #
Instance details Defined in TrustlessSidechain.Types Methods fromBuiltinData :: BuiltinData -> Maybe VersionOraclePolicyRedeemer #
ToData VersionOraclePolicyRedeemer #
Instance details Defined in TrustlessSidechain.Types Methods toBuiltinData :: VersionOraclePolicyRedeemer -> BuiltinData #
UnsafeFromData VersionOraclePolicyRedeemer #
Instance details Defined in TrustlessSidechain.Types Methods unsafeFromBuiltinData :: BuiltinData -> VersionOraclePolicyRedeemer #