Moduleplutus-tx-1.70.0.0
PlutusTx.Builtins.HasBuiltin
- 2 classes
- 2 values
- Packageplutus-tx-1.70.0.0
- Exports4
- LicenceApache-2.0
Associated types
type family FromBuiltin arep
Methods
fromBuiltin :: arep -> FromBuiltin arep
Instances14HasFromBuiltin, TestAllBuiltinsSatisfy, …
HasFromBuiltin BoolDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltinHasFromBuiltin BuiltinBLS12_381_G1_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltinHasFromBuiltin BuiltinBLS12_381_G2_ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltinHasFromBuiltin BuiltinBLS12_381_MlResultDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltinHasFromBuiltin BuiltinByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltinHasFromBuiltin BuiltinDataDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltinHasFromBuiltin BuiltinIntegerDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltinHasFromBuiltin BuiltinStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltinHasFromBuiltin BuiltinUnitDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltinHasFromBuiltin BuiltinValueDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltinHasFromBuiltin a => HasFromBuiltin (BuiltinArray a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltinHasFromBuiltin a => HasFromBuiltin (BuiltinList a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltin(HasFromBuiltin a, HasFromBuiltin b) => HasFromBuiltin (BuiltinPair a b)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltinTestAllBuiltinsSatisfy (AllBuiltinArgs DefaultUni HasFromBuiltin) (Lift DefaultUni)Defined in plutus-tx-1.70.0.0 · PlutusTx.Lift.TestInstances
Instances13HasToBuiltin, …
HasToBuiltin ByteStringDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltinHasToBuiltin IntegerDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltinHasToBuiltin BoolDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltinHasToBuiltin ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltinHasToBuiltin ElementDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltinHasToBuiltin MlResultDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltinHasToBuiltin DataDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltinHasToBuiltin ValueDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltinHasToBuiltin TextDefined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltinHasToBuiltin ()Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltinHasToBuiltin a => HasToBuiltin (Vector a)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltinHasToBuiltin a => HasToBuiltin [a]Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltin(HasToBuiltin a, HasToBuiltin b) => HasToBuiltin (a, b)Defined in plutus-tx-1.70.0.0 · PlutusTx.Builtins.HasBuiltin