Cardano.FromData

data FromDataError

Errors

Constructors

• ArgsWantedButGot String Int (Array PlutusData)
• FromDataFailed String PlutusData
• BigNumToIntFailed String BigNum
• IndexWantedButGot String Int Int
• WantedConstrGot String PlutusData

Instances

• Generic FromDataError _
• Show FromDataError

class FromData a  where

Classes

Members

• fromData :: PlutusData -> Maybe a

Instances

• FromData Void

  Base FromData instances

• FromData Unit
• FromData Boolean
• (FromData a) => FromData (Maybe a)
• (FromData a, FromData b) => FromData (Either a b)
• (Fail (Text "Int is not supported, use BigInt instead")) => FromData Int
• FromData BigInt
• FromData BigNum
• FromData UInt
• (FromData a) => FromData (Array a)
• (FromData a) => FromData (NonEmpty Array a)
• (FromData a) => FromData (List a)
• (FromData a, FromData b) => FromData (Tuple a b)
• FromData ByteArray
• FromData CborBytes
• FromData RawBytes
• FromData String
• (Ord a, EuclideanRing a, FromData a) => FromData (Ratio a)
• FromData PlutusData
• FromData Uint8Array

class FromDataArgs :: Type -> Symbol -> Type -> Constraintclass FromDataArgs t c a  where

Members

• fromDataArgs :: IsSymbol c => Proxy t -> Proxy c -> Array PlutusData -> Either FromDataError { head :: a, tail :: Array PlutusData }

Instances

• FromDataArgs t c NoArguments

  FromDataArgs instance for Data.Generic.Rep

• (FromDataArgsRL t constr rList row, HasPlutusSchema t schema, ValidPlutusSchema schema rrList, GetWithLabel constr rrList rList) => FromDataArgs t constr (Argument (Record row))
• (FromData a) => FromDataArgs t constr (Argument a)
• (FromDataArgs t c a, FromDataArgs t c b) => FromDataArgs t c (Product a b)

class FromDataArgsRL :: Type -> Symbol -> RowList Type -> Row Type -> Constraintclass FromDataArgsRL t constr list row | t constr list -> row where

A helper typeclass to implement FromDataArgs for records. Adapted from https://github.com/purescript/purescript-quickcheck/blob/v7.1.0/src/Test/QuickCheck/Arbitrary.purs#L247

The second argument is a symbol which represents the name of a record constructor.

The third argument to the class is a RowList.

Members

• fromDataArgsRec :: forall (rlproxy :: RowList Type -> Type). IsSymbol constr => Proxy t -> Proxy constr -> rlproxy list -> Array PlutusData -> Either FromDataError { head :: Record row, tail :: Array PlutusData }

Instances

• FromDataArgsRL t constr Nil ()

  FromDataArgsRL instances

• (FromData a, FromDataArgsRL t constr rListRest rowRest, Lacks key rowRest, Cons key a rowRest rowFull, IsSymbol key) => FromDataArgsRL t constr (Cons key a rListRest) rowFull

class FromDataWithSchema t a  where

Replacement for 'FromDataWithIndex'. This converts a type into its Plutus Data representation with the help of a Plutus Data Schema (see TypeLevel.DataSchema) We cannot require that the first type argument 't' is an instance of 'HasPlutusSchema' but in practice instances of this class must have a 't' with a 'HasPlutusSchema' instance as well.

Members

• fromDataWithSchema :: Proxy t -> Proxy a -> PlutusData -> Either FromDataError a

Instances

• (FromDataWithSchema t l, FromDataWithSchema t r) => FromDataWithSchema t (Sum l r)

  FromDataWithSchema instances for Data.Generic.Rep See https://purescript-simple-json.readthedocs.io/en/latest/generics-rep.html

• (IsSymbol constr, HasPlutusSchema t schema, ValidPlutusSchema schema rList, GetIndexWithLabel constr rList ix, FromDataArgs t constr args, KnownNat ix) => FromDataWithSchema t (Constructor constr args)
• (FromDataWithSchema t a) => FromDataWithSchema t (Argument a)

genericFromData :: forall (t :: Type) (rep :: Type). Generic t rep => FromDataWithSchema t rep => PlutusData -> Maybe t