Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusTx.Builtins.HasOpaque

Contents

Orphan instances

Synopsis

obfuscatedId ∷ a → a
stringToBuiltinByteString ∷ String → BuiltinByteString
stringToBuiltinString ∷ String → BuiltinString
class HasToOpaque a arep | a → arep where
- toOpaque ∷ a → arep
class HasFromOpaque arep a | arep → a where
- fromOpaque ∷ arep → a

Documentation

obfuscatedId ∷ a → a Source #

stringToBuiltinByteString ∷ String → BuiltinByteString Source #

stringToBuiltinString ∷ String → BuiltinString Source #

class HasToOpaque a arep | a → arep where Source #

A class for converting values of transparent Haskell-defined built-in types (such as (), Bool, '[]' etc) to their opaque Plutus Tx counterparts. Instances for built-in types that are not transparent are provided as well, simply as identities, since those types are already opaque.

Minimal complete definition

Nothing

Methods

toOpaque ∷ a → arep Source #

default toOpaque ∷ a ~ arep ⇒ a → arep Source #

Instances

Instances details

HasToOpaque BuiltinBLS12_381_G1_Element BuiltinBLS12_381_G1_Element Source #
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods toOpaque ∷ BuiltinBLS12_381_G1_Element → BuiltinBLS12_381_G1_Element Source #
HasToOpaque BuiltinBLS12_381_G2_Element BuiltinBLS12_381_G2_Element Source #
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods toOpaque ∷ BuiltinBLS12_381_G2_Element → BuiltinBLS12_381_G2_Element Source #
HasToOpaque BuiltinBLS12_381_MlResult BuiltinBLS12_381_MlResult Source #
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods toOpaque ∷ BuiltinBLS12_381_MlResult → BuiltinBLS12_381_MlResult Source #
HasToOpaque BuiltinByteString BuiltinByteString Source #
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods toOpaque ∷ BuiltinByteString → BuiltinByteString Source #
HasToOpaque BuiltinData BuiltinData Source #
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods toOpaque ∷ BuiltinData → BuiltinData Source #
HasToOpaque BuiltinInteger BuiltinInteger Source #
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods toOpaque ∷ BuiltinInteger → BuiltinInteger Source #
HasToOpaque BuiltinString BuiltinString Source #
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods toOpaque ∷ BuiltinString → BuiltinString Source #
HasToOpaque () BuiltinUnit Source #
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods toOpaque ∷ () → BuiltinUnit Source #
HasToOpaque Bool BuiltinBool Source #
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods toOpaque ∷ Bool → BuiltinBool Source #
HasToOpaque [BuiltinData] (BuiltinList BuiltinData) Source #
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods toOpaque ∷ [BuiltinData] → BuiltinList BuiltinData Source #
HasToOpaque [(BuiltinData, BuiltinData)] (BuiltinList (BuiltinPair BuiltinData BuiltinData)) Source #
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods toOpaque ∷ [(BuiltinData, BuiltinData)] → BuiltinList (BuiltinPair BuiltinData BuiltinData) Source #
HasToOpaque (BuiltinData, BuiltinData) (BuiltinPair BuiltinData BuiltinData) Source #
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods toOpaque ∷ (BuiltinData, BuiltinData) → BuiltinPair BuiltinData BuiltinData Source #

class HasFromOpaque arep a | arep → a where Source #

A class for converting values of opaque Plutus Tx types to their transparent Haskell-defined counterparts (a.k.a. pattern-matchable) built-in types (such as (), Bool, '[]' etc). If no transparent counterpart exists, then the implementation is identity.

Minimal complete definition

Nothing

Methods

fromOpaque ∷ arep → a Source #

default fromOpaque ∷ a ~ arep ⇒ arep → a Source #

Instances

Instances details

HasFromOpaque BuiltinBLS12_381_G1_Element BuiltinBLS12_381_G1_Element Source #
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods fromOpaque ∷ BuiltinBLS12_381_G1_Element → BuiltinBLS12_381_G1_Element Source #
HasFromOpaque BuiltinBLS12_381_G2_Element BuiltinBLS12_381_G2_Element Source #
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods fromOpaque ∷ BuiltinBLS12_381_G2_Element → BuiltinBLS12_381_G2_Element Source #
HasFromOpaque BuiltinBLS12_381_MlResult BuiltinBLS12_381_MlResult Source #
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods fromOpaque ∷ BuiltinBLS12_381_MlResult → BuiltinBLS12_381_MlResult Source #
HasFromOpaque BuiltinBool Bool Source #
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods fromOpaque ∷ BuiltinBool → Bool Source #
HasFromOpaque BuiltinByteString BuiltinByteString Source #
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods fromOpaque ∷ BuiltinByteString → BuiltinByteString Source #
HasFromOpaque BuiltinData BuiltinData Source #
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods fromOpaque ∷ BuiltinData → BuiltinData Source #
HasFromOpaque BuiltinInteger BuiltinInteger Source #
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods fromOpaque ∷ BuiltinInteger → BuiltinInteger Source #
HasFromOpaque BuiltinString BuiltinString Source #
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods fromOpaque ∷ BuiltinString → BuiltinString Source #
HasFromOpaque BuiltinUnit () Source #
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods fromOpaque ∷ BuiltinUnit → () Source #
HasFromOpaque arep a ⇒ HasFromOpaque (BuiltinList arep) [a] Source #
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods fromOpaque ∷ BuiltinList arep → [a] Source #
(HasFromOpaque arep a, HasFromOpaque brep b) ⇒ HasFromOpaque (BuiltinPair arep brep) (a, b) Source #
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods fromOpaque ∷ BuiltinPair arep brep → (a, b) Source #

Orphan instances

IsString BuiltinByteString Source #
Instance details Methods fromString ∷ String → BuiltinByteString Source #
IsString BuiltinString Source #
Instance details Methods fromString ∷ String → BuiltinString Source #