plutus-tx-1.30.0.0: Libraries for Plutus Tx and its prelude
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusTx.IsData.Instances

Orphan instances

FromData () Source # 
Instance details

FromData Bool Source # 
Instance details

ToData () Source # 
Instance details

Methods

toBuiltinData ∷ () → BuiltinData Source #

ToData Bool Source # 
Instance details

UnsafeFromData () Source # 
Instance details

UnsafeFromData Bool Source # 
Instance details

FromData a ⇒ FromData (Maybe a) Source # 
Instance details

ToData a ⇒ ToData (Maybe a) Source # 
Instance details

UnsafeFromData a ⇒ UnsafeFromData (Maybe a) Source # 
Instance details

(FromData a, FromData b) ⇒ FromData (Either a b) Source # 
Instance details

(FromData a, FromData b) ⇒ FromData (These a b) Source # 
Instance details

(FromData a, FromData b) ⇒ FromData (a, b) Source # 
Instance details

Methods

fromBuiltinDataBuiltinDataMaybe (a, b) Source #

(ToData a, ToData b) ⇒ ToData (Either a b) Source # 
Instance details

(ToData a, ToData b) ⇒ ToData (These a b) Source # 
Instance details

(ToData a, ToData b) ⇒ ToData (a, b) Source # 
Instance details

Methods

toBuiltinData ∷ (a, b) → BuiltinData Source #

(UnsafeFromData a, UnsafeFromData b) ⇒ UnsafeFromData (Either a b) Source # 
Instance details

(UnsafeFromData a, UnsafeFromData b) ⇒ UnsafeFromData (These a b) Source # 
Instance details

(UnsafeFromData a, UnsafeFromData b) ⇒ UnsafeFromData (a, b) Source # 
Instance details

(FromData a, FromData b, FromData c) ⇒ FromData (a, b, c) Source # 
Instance details

Methods

fromBuiltinDataBuiltinDataMaybe (a, b, c) Source #

(ToData a, ToData b, ToData c) ⇒ ToData (a, b, c) Source # 
Instance details

Methods

toBuiltinData ∷ (a, b, c) → BuiltinData Source #

(UnsafeFromData a, UnsafeFromData b, UnsafeFromData c) ⇒ UnsafeFromData (a, b, c) Source # 
Instance details

Methods

unsafeFromBuiltinDataBuiltinData → (a, b, c) Source #

(FromData a, FromData b, FromData c, FromData d) ⇒ FromData (a, b, c, d) Source # 
Instance details

Methods

fromBuiltinDataBuiltinDataMaybe (a, b, c, d) Source #

(ToData a, ToData b, ToData c, ToData d) ⇒ ToData (a, b, c, d) Source # 
Instance details

Methods

toBuiltinData ∷ (a, b, c, d) → BuiltinData Source #

(UnsafeFromData a, UnsafeFromData b, UnsafeFromData c, UnsafeFromData d) ⇒ UnsafeFromData (a, b, c, d) Source # 
Instance details

Methods

unsafeFromBuiltinDataBuiltinData → (a, b, c, d) Source #