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

GeniusYield.Types.PlutusVersion

Contents

Plutus version

Description

Synopsis

data PlutusVersion
- = PlutusV1
- | PlutusV2
data SingPlutusVersion (v ∷ PlutusVersion) where
- SingPlutusV1 ∷ SingPlutusVersion 'PlutusV1
- SingPlutusV2 ∷ SingPlutusVersion 'PlutusV2
class SingPlutusVersionI (v ∷ PlutusVersion) where
- singPlutusVersion ∷ SingPlutusVersion v
type family PlutusVersionToApi (v ∷ PlutusVersion) ∷ Type where ...
singPlutusVersionToApi ∷ SingPlutusVersion v → PlutusScriptVersion (PlutusVersionToApi v)
class VersionIsGreaterOrEqual (v ∷ PlutusVersion) (u ∷ PlutusVersion)

Plutus version

data PlutusVersion #

Constructors

PlutusV1
PlutusV2

Instances

Instances details

Eq PlutusVersion #
Instance details Defined in GeniusYield.Types.PlutusVersion Methods (==) ∷ PlutusVersion → PlutusVersion → Bool # (/=) ∷ PlutusVersion → PlutusVersion → Bool #
Show PlutusVersion #
Instance details Defined in GeniusYield.Types.PlutusVersion Methods showsPrec ∷ Int → PlutusVersion → ShowS # show ∷ PlutusVersion → String # showList ∷ [PlutusVersion] → ShowS #
GShow GYScript
Instance details Defined in GeniusYield.Types.Script Methods gshowsPrec ∷ ∀ (a ∷ k). Int → GYScript a → ShowS
GShow GYMintingPolicy
Instance details Defined in GeniusYield.Types.Script Methods gshowsPrec ∷ ∀ (a ∷ k). Int → GYMintingPolicy a → ShowS
GShow GYValidator
Instance details Defined in GeniusYield.Types.Script Methods gshowsPrec ∷ ∀ (a ∷ k). Int → GYValidator a → ShowS
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)
GEq GYMintingPolicy
Instance details Defined in GeniusYield.Types.Script Methods geq ∷ ∀ (a ∷ k) (b ∷ k). GYMintingPolicy a → GYMintingPolicy b → Maybe (a :~: b)
GEq GYValidator
Instance details Defined in GeniusYield.Types.Script Methods geq ∷ ∀ (a ∷ k) (b ∷ k). GYValidator a → GYValidator b → Maybe (a :~: b)
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
GCompare GYMintingPolicy
Instance details Defined in GeniusYield.Types.Script Methods gcompare ∷ ∀ (a ∷ k) (b ∷ k). GYMintingPolicy a → GYMintingPolicy b → GOrdering a b
GCompare GYValidator
Instance details Defined in GeniusYield.Types.Script Methods gcompare ∷ ∀ (a ∷ k) (b ∷ k). GYValidator a → GYValidator b → GOrdering a b

data SingPlutusVersion (v ∷ PlutusVersion) where #

Constructors

SingPlutusV1 ∷ SingPlutusVersion 'PlutusV1
SingPlutusV2 ∷ SingPlutusVersion 'PlutusV2

Instances

Instances details

GEq SingPlutusVersion #
Instance details Defined in GeniusYield.Types.PlutusVersion Methods geq ∷ ∀ (a ∷ k) (b ∷ k). SingPlutusVersion a → SingPlutusVersion b → Maybe (a :~: b)
GCompare SingPlutusVersion #
Instance details Defined in GeniusYield.Types.PlutusVersion Methods gcompare ∷ ∀ (a ∷ k) (b ∷ k). SingPlutusVersion a → SingPlutusVersion b → GOrdering 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 #

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

Equations

PlutusVersionToApi 'PlutusV1 = PlutusScriptV1
PlutusVersionToApi 'PlutusV2 = PlutusScriptV2

singPlutusVersionToApi ∷ SingPlutusVersion v → PlutusScriptVersion (PlutusVersionToApi v) #

class VersionIsGreaterOrEqual (v ∷ PlutusVersion) (u ∷ PlutusVersion) #

Constraint that v >= u.

Used to allow using V2 transaction features only in transactions with V2 inputs.

Instances

Instances details

VersionIsGreaterOrEqual 'PlutusV1 'PlutusV1 #	Any version is greater or equal to `PlutusV1`
Instance details Defined in GeniusYield.Types.PlutusVersion
(TypeError ('Text "V1 is not >= V2") ∷ Constraint) ⇒ VersionIsGreaterOrEqual 'PlutusV1 'PlutusV2 #	Explicitly ruled out instance.
Instance details Defined in GeniusYield.Types.PlutusVersion
VersionIsGreaterOrEqual 'PlutusV2 'PlutusV1 #	Any version is greater or equal to `PlutusV1`
Instance details Defined in GeniusYield.Types.PlutusVersion
VersionIsGreaterOrEqual 'PlutusV2 'PlutusV2 #	Only `PlutusV2` is greater or equal to itself at the moment.
Instance details Defined in GeniusYield.Types.PlutusVersion