Copyright | (c) 2023 GYELD GMBH |
---|---|
License | Apache 2.0 |
Maintainer | [email protected] |
Stability | develop |
Safe Haskell | Safe-Inferred |
Language | GHC2021 |
GeniusYield.Types.PlutusVersion
Contents
Description
Synopsis
- data PlutusVersion
- data SingPlutusVersion (v ∷ PlutusVersion) where
- class SingPlutusVersionI (v ∷ PlutusVersion) where
- fromSingPlutusVersion ∷ SingPlutusVersion v → PlutusVersion
- type family PlutusVersionToApi (v ∷ PlutusVersion) ∷ Type where ...
- singPlutusVersionToApi ∷ SingPlutusVersion v → PlutusScriptVersion (PlutusVersionToApi v)
- class VersionIsGreaterOrEqual (v ∷ PlutusVersion) (u ∷ PlutusVersion)
Plutus version
data PlutusVersion #
Instances
data SingPlutusVersion (v ∷ PlutusVersion) where #
Constructors
SingPlutusV1 ∷ SingPlutusVersion 'PlutusV1 | |
SingPlutusV2 ∷ SingPlutusVersion 'PlutusV2 |
Instances
GCompare SingPlutusVersion # | |
Defined in GeniusYield.Types.PlutusVersion Methods gcompare ∷ ∀ (a ∷ k) (b ∷ k). SingPlutusVersion a → SingPlutusVersion b → GOrdering a b Source # | |
GEq SingPlutusVersion # | |
Defined in GeniusYield.Types.PlutusVersion Methods geq ∷ ∀ (a ∷ k) (b ∷ k). SingPlutusVersion a → SingPlutusVersion b → Maybe (a :~: b) Source # |
class SingPlutusVersionI (v ∷ PlutusVersion) where #
Methods
Instances
SingPlutusVersionI 'PlutusV1 # | |
Defined in GeniusYield.Types.PlutusVersion Methods | |
SingPlutusVersionI 'PlutusV2 # | |
Defined in GeniusYield.Types.PlutusVersion Methods |
type family PlutusVersionToApi (v ∷ PlutusVersion) ∷ Type where ... #
Equations
PlutusVersionToApi 'PlutusV1 = PlutusScriptV1 | |
PlutusVersionToApi 'PlutusV2 = PlutusScriptV2 |
class VersionIsGreaterOrEqual (v ∷ PlutusVersion) (u ∷ PlutusVersion) #
Constraint that v >= u
.
Used to allow using V2 transaction features only in transactions with V2 inputs.
Instances
VersionIsGreaterOrEqual 'PlutusV1 'PlutusV1 # | Any version is greater or equal to |
Defined in GeniusYield.Types.PlutusVersion | |
(TypeError ('Text "V1 is not >= V2") ∷ Constraint) ⇒ VersionIsGreaterOrEqual 'PlutusV1 'PlutusV2 # | Explicitly ruled out instance. |
Defined in GeniusYield.Types.PlutusVersion | |
VersionIsGreaterOrEqual 'PlutusV2 'PlutusV1 # | Any version is greater or equal to |
Defined in GeniusYield.Types.PlutusVersion | |
VersionIsGreaterOrEqual 'PlutusV2 'PlutusV2 # | Only |
Defined in GeniusYield.Types.PlutusVersion |