Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusTx.IsData.Instances

Contents

Orphan instances

Orphan instances

FromData () Source #
Instance details Methods fromBuiltinData ∷ BuiltinData → Maybe () Source #
FromData Bool Source #
Instance details Methods fromBuiltinData ∷ BuiltinData → Maybe Bool Source #
ToData () Source #
Instance details Methods toBuiltinData ∷ () → BuiltinData Source #
ToData Bool Source #
Instance details Methods toBuiltinData ∷ Bool → BuiltinData Source #
UnsafeFromData () Source #
Instance details Methods unsafeFromBuiltinData ∷ BuiltinData → () Source #
UnsafeFromData Bool Source #
Instance details Methods unsafeFromBuiltinData ∷ BuiltinData → Bool Source #
HasBlueprintSchema () referencedTypes Source #
Instance details Methods schema ∷ Schema referencedTypes Source #
HasBlueprintSchema Bool referencedTypes Source #
Instance details Methods schema ∷ Schema referencedTypes Source #
FromData a ⇒ FromData (Maybe a) Source #
Instance details Methods fromBuiltinData ∷ BuiltinData → Maybe (Maybe a) Source #
ToData a ⇒ ToData (Maybe a) Source #
Instance details Methods toBuiltinData ∷ Maybe a → BuiltinData Source #
UnsafeFromData a ⇒ UnsafeFromData (Maybe a) Source #
Instance details Methods unsafeFromBuiltinData ∷ BuiltinData → Maybe a Source #
(HasBlueprintDefinition a, HasSchemaDefinition a referencedTypes) ⇒ HasBlueprintSchema (Maybe a) referencedTypes Source #
Instance details Methods schema ∷ Schema referencedTypes Source #
(FromData a, FromData b) ⇒ FromData (Either a b) Source #
Instance details Methods fromBuiltinData ∷ BuiltinData → Maybe (Either a b) Source #
(FromData a, FromData b) ⇒ FromData (These a b) Source #
Instance details Methods fromBuiltinData ∷ BuiltinData → Maybe (These a b) Source #
(FromData a, FromData b) ⇒ FromData (a, b) Source #
Instance details Methods fromBuiltinData ∷ BuiltinData → Maybe (a, b) Source #
(ToData a, ToData b) ⇒ ToData (Either a b) Source #
Instance details Methods toBuiltinData ∷ Either a b → BuiltinData Source #
(ToData a, ToData b) ⇒ ToData (These a b) Source #
Instance details Methods toBuiltinData ∷ These a b → BuiltinData Source #
(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 Methods unsafeFromBuiltinData ∷ BuiltinData → Either a b Source #
(UnsafeFromData a, UnsafeFromData b) ⇒ UnsafeFromData (These a b) Source #
Instance details Methods unsafeFromBuiltinData ∷ BuiltinData → These a b Source #
(UnsafeFromData a, UnsafeFromData b) ⇒ UnsafeFromData (a, b) Source #
Instance details Methods unsafeFromBuiltinData ∷ BuiltinData → (a, b) Source #
(HasBlueprintDefinition a, HasSchemaDefinition a referencedTypes, HasBlueprintDefinition b, HasSchemaDefinition b referencedTypes) ⇒ HasBlueprintSchema (Either a b) referencedTypes Source #
Instance details Methods schema ∷ Schema referencedTypes Source #
(HasBlueprintDefinition a, HasSchemaDefinition a referencedTypes, HasBlueprintDefinition b, HasSchemaDefinition b referencedTypes) ⇒ HasBlueprintSchema (These a b) referencedTypes Source #
Instance details Methods schema ∷ Schema referencedTypes Source #
(HasBlueprintDefinition a, HasSchemaDefinition a referencedTypes, HasBlueprintDefinition b, HasSchemaDefinition b referencedTypes) ⇒ HasBlueprintSchema (a, b) referencedTypes Source #
Instance details Methods schema ∷ Schema referencedTypes Source #
(FromData a, FromData b, FromData c) ⇒ FromData (a, b, c) Source #
Instance details Methods fromBuiltinData ∷ BuiltinData → Maybe (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 unsafeFromBuiltinData ∷ BuiltinData → (a, b, c) Source #
(HasBlueprintDefinition a, HasSchemaDefinition a referencedTypes, HasBlueprintDefinition b, HasSchemaDefinition b referencedTypes, HasBlueprintDefinition c, HasSchemaDefinition c referencedTypes) ⇒ HasBlueprintSchema (a, b, c) referencedTypes Source #
Instance details Methods schema ∷ Schema referencedTypes Source #
(FromData a, FromData b, FromData c, FromData d) ⇒ FromData (a, b, c, d) Source #
Instance details Methods fromBuiltinData ∷ BuiltinData → Maybe (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 unsafeFromBuiltinData ∷ BuiltinData → (a, b, c, d) Source #
(HasBlueprintDefinition a, HasSchemaDefinition a referencedTypes, HasBlueprintDefinition b, HasSchemaDefinition b referencedTypes, HasBlueprintDefinition c, HasSchemaDefinition c referencedTypes, HasBlueprintDefinition d, HasSchemaDefinition d referencedTypes) ⇒ HasBlueprintSchema (a, b, c, d) referencedTypes Source #
Instance details Methods schema ∷ Schema referencedTypes Source #