Copyright	(c) 2023 GYELD GMBH
License	Apache 2.0
Maintainer	[email protected]
Stability	develop
Safe Haskell	Safe-Inferred
Language	GHC2021

GeniusYield.Types.PlutusVersion

Contents

Plutus version

Description

Synopsis

data PlutusVersion
- = PlutusV1
- | PlutusV2
- | PlutusV3
data SingPlutusVersion (v ∷ PlutusVersion) where
- SingPlutusV1 ∷ SingPlutusVersion 'PlutusV1
- SingPlutusV2 ∷ SingPlutusVersion 'PlutusV2
- SingPlutusV3 ∷ SingPlutusVersion 'PlutusV3
class SingPlutusVersionI (v ∷ PlutusVersion) where
- singPlutusVersion ∷ SingPlutusVersion v
fromSingPlutusVersion ∷ SingPlutusVersion v → PlutusVersion
type family PlutusVersionToApi (v ∷ PlutusVersion) ∷ Type where ...
singPlutusVersionToApi ∷ SingPlutusVersion v → PlutusScriptVersion (PlutusVersionToApi v)
type VersionIsGreaterOrEqual (v ∷ PlutusVersion) (u ∷ PlutusVersion) = GreaterOrEqual (v `CmpPlutusVersion` u) ~ 'True
type VersionIsGreater (v ∷ PlutusVersion) (u ∷ PlutusVersion) = (v `CmpPlutusVersion` u) ~ 'GT
type family CmpPlutusVersion (v ∷ PlutusVersion) (u ∷ PlutusVersion) ∷ Ordering where ...

Plutus version

data PlutusVersion #

Constructors

PlutusV1
PlutusV2
PlutusV3

Instances

Instances details

Show PlutusVersion #
Instance details Defined in GeniusYield.Types.PlutusVersion Methods showsPrec ∷ Int → PlutusVersion → ShowS # show ∷ PlutusVersion → String # showList ∷ [PlutusVersion] → ShowS #
Eq PlutusVersion #
Instance details Defined in GeniusYield.Types.PlutusVersion Methods (==) ∷ PlutusVersion → PlutusVersion → Bool # (/=) ∷ PlutusVersion → PlutusVersion → Bool #
Ord PlutusVersion #
Instance details Defined in GeniusYield.Types.PlutusVersion Methods compare ∷ PlutusVersion → PlutusVersion → Ordering # (<) ∷ PlutusVersion → PlutusVersion → Bool # (<=) ∷ PlutusVersion → PlutusVersion → Bool # (>) ∷ PlutusVersion → PlutusVersion → Bool # (>=) ∷ PlutusVersion → PlutusVersion → Bool # max ∷ PlutusVersion → PlutusVersion → PlutusVersion # min ∷ PlutusVersion → PlutusVersion → PlutusVersion #
GCompare SingPlutusVersion #
Instance details Defined in GeniusYield.Types.PlutusVersion Methods gcompare ∷ ∀ (a ∷ k) (b ∷ k). SingPlutusVersion a → SingPlutusVersion b → GOrdering a b #
GCompare GYScript #
Instance details Defined in GeniusYield.Types.Script Methods gcompare ∷ ∀ (a ∷ k) (b ∷ k). GYScript a → GYScript b → GOrdering a b #
GEq SingPlutusVersion #
Instance details Defined in GeniusYield.Types.PlutusVersion Methods geq ∷ ∀ (a ∷ k) (b ∷ k). SingPlutusVersion a → SingPlutusVersion b → Maybe (a :~: b) #
GEq GYScript #
Instance details Defined in GeniusYield.Types.Script Methods geq ∷ ∀ (a ∷ k) (b ∷ k). GYScript a → GYScript b → Maybe (a :~: b) #
GShow GYScript #
Instance details Defined in GeniusYield.Types.Script Methods gshowsPrec ∷ ∀ (a ∷ k). Int → GYScript a → ShowS #

data SingPlutusVersion (v ∷ PlutusVersion) where #

Constructors

SingPlutusV1 ∷ SingPlutusVersion 'PlutusV1
SingPlutusV2 ∷ SingPlutusVersion 'PlutusV2
SingPlutusV3 ∷ SingPlutusVersion 'PlutusV3

Instances

Instances details

GCompare SingPlutusVersion #
Instance details Defined in GeniusYield.Types.PlutusVersion Methods gcompare ∷ ∀ (a ∷ k) (b ∷ k). SingPlutusVersion a → SingPlutusVersion b → GOrdering a b #
GEq SingPlutusVersion #
Instance details Defined in GeniusYield.Types.PlutusVersion Methods geq ∷ ∀ (a ∷ k) (b ∷ k). SingPlutusVersion a → SingPlutusVersion b → Maybe (a :~: b) #

class SingPlutusVersionI (v ∷ PlutusVersion) where #

Methods

singPlutusVersion ∷ SingPlutusVersion v #

Instances

Instances details

SingPlutusVersionI 'PlutusV1 #
Instance details Defined in GeniusYield.Types.PlutusVersion Methods singPlutusVersion ∷ SingPlutusVersion 'PlutusV1 #
SingPlutusVersionI 'PlutusV2 #
Instance details Defined in GeniusYield.Types.PlutusVersion Methods singPlutusVersion ∷ SingPlutusVersion 'PlutusV2 #
SingPlutusVersionI 'PlutusV3 #
Instance details Defined in GeniusYield.Types.PlutusVersion Methods singPlutusVersion ∷ SingPlutusVersion 'PlutusV3 #

fromSingPlutusVersion ∷ SingPlutusVersion v → PlutusVersion #

type family PlutusVersionToApi (v ∷ PlutusVersion) ∷ Type where ... #

Equations

PlutusVersionToApi 'PlutusV1 = PlutusScriptV1
PlutusVersionToApi 'PlutusV2 = PlutusScriptV2
PlutusVersionToApi 'PlutusV3 = PlutusScriptV3

singPlutusVersionToApi ∷ SingPlutusVersion v → PlutusScriptVersion (PlutusVersionToApi v) #

type VersionIsGreaterOrEqual (v ∷ PlutusVersion) (u ∷ PlutusVersion) = GreaterOrEqual (v `CmpPlutusVersion` u) ~ 'True #

Constraint that v >= u.

If transaction is making use of V2 features (such as reference inputs) then as these cannot be represented in script context of V1 scripts, we need to ensure that the involved script version is at least V2. Likewise for other versions.

type VersionIsGreater (v ∷ PlutusVersion) (u ∷ PlutusVersion) = (v `CmpPlutusVersion` u) ~ 'GT #

Constraint that v > u.

type family CmpPlutusVersion (v ∷ PlutusVersion) (u ∷ PlutusVersion) ∷ Ordering where ... #

Type family to compare PlutusVersions

Equations

CmpPlutusVersion 'PlutusV1 'PlutusV1 = 'EQ
CmpPlutusVersion 'PlutusV1 _ = 'LT
CmpPlutusVersion 'PlutusV2 'PlutusV1 = 'GT
CmpPlutusVersion 'PlutusV2 'PlutusV2 = 'EQ
CmpPlutusVersion 'PlutusV2 _ = 'LT
CmpPlutusVersion 'PlutusV3 'PlutusV1 = 'GT
CmpPlutusVersion 'PlutusV3 'PlutusV2 = 'GT
CmpPlutusVersion 'PlutusV3 'PlutusV3 = 'EQ