Safe Haskell	None
Language	GHC2021

Plutarch.Internal.IsData

Synopsis

class (PInnermostIsData' msg a (PInnermost a), PInnermost a ~ PData) => PInnermostIsData (msg :: Maybe Symbol) (a :: S -> Type)
class PIsData (a :: S -> Type)
pfromDataImpl :: forall (s :: S). PIsData a => Term s (PAsData a) -> Term s a
pdataImpl :: forall (s :: S). PIsData a => Term s a -> Term s PData
pdata :: forall (a :: S -> Type) (s :: S). PIsData a => Term s a -> Term s (PAsData a)
pfromData :: forall (a :: S -> Type) (s :: S). PIsData a => Term s (PAsData a) -> Term s a
pforgetData :: forall (s :: S) (a :: S -> Type). Term s (PAsData a) -> Term s PData

Documentation

class (PInnermostIsData' msg a (PInnermost a), PInnermost a ~ PData) => PInnermostIsData (msg :: Maybe Symbol) (a :: S -> Type) Source #

Instances

Instances details

(PInnermostIsData' msg a (PInnermost a), PInnermost a ~ PData) => PInnermostIsData msg a Source #
Instance details Defined in Plutarch.Internal.IsData

class PIsData (a :: S -> Type) Source #

Laws: - If PSubtype PData a, then pdataImpl a must be pupcast. - pdataImpl . pupcast . pfromDataImpl ≡ id - pfromDataImpl . punsafeDowncast . pdataImpl ≡ id

Instances

Instances details

PIsData PBool Source #
Instance details Defined in Plutarch.Internal.IsData Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PBool) -> Term s PBool Source # pdataImpl :: forall (s :: S). Term s PBool -> Term s PData Source #
PIsData PByteString Source #
Instance details Defined in Plutarch.Internal.IsData Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PByteString) -> Term s PByteString Source # pdataImpl :: forall (s :: S). Term s PByteString -> Term s PData Source #
PIsData PData Source #
Instance details Defined in Plutarch.Internal.IsData Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PData) -> Term s PData Source # pdataImpl :: forall (s :: S). Term s PData -> Term s PData Source #
PIsData PInteger Source #
Instance details Defined in Plutarch.Internal.IsData Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PInteger) -> Term s PInteger Source # pdataImpl :: forall (s :: S). Term s PInteger -> Term s PData Source #
PIsData PUnit Source #
Instance details Defined in Plutarch.Internal.IsData Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PUnit) -> Term s PUnit Source # pdataImpl :: forall (s :: S). Term s PUnit -> Term s PData Source #
PIsData PNatural Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Numeric Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PNatural) -> Term s PNatural Source # pdataImpl :: forall (s :: S). Term s PNatural -> Term s PData Source #
PIsData PPositive Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Numeric Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PPositive) -> Term s PPositive Source # pdataImpl :: forall (s :: S). Term s PPositive -> Term s PData Source #
(PInnermostIsData ('Just "PBuiltinList only implements PIsData when inner most type of its elements are PData") a, PSubtype PData a) => PIsData (PBuiltinList a) Source #
Instance details Defined in Plutarch.Internal.IsData Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PBuiltinList a)) -> Term s (PBuiltinList a) Source # pdataImpl :: forall (s :: S). Term s (PBuiltinList a) -> Term s PData Source #
PIsData (PDataRecord xs) Source #
Instance details Defined in Plutarch.DataRepr.Internal Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PDataRecord xs)) -> Term s (PDataRecord xs) Source # pdataImpl :: forall (s :: S). Term s (PDataRecord xs) -> Term s PData Source #
PIsData (PDataSum defs) Source #
Instance details Defined in Plutarch.DataRepr.Internal Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PDataSum defs)) -> Term s (PDataSum defs) Source # pdataImpl :: forall (s :: S). Term s (PDataSum defs) -> Term s PData Source #
PIsData (PDataRec struct) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Repr.Data Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PDataRec struct)) -> Term s (PDataRec struct) Source # pdataImpl :: forall (s :: S). Term s (PDataRec struct) -> Term s PData Source #
PIsData (PDataStruct struct) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Repr.Data Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PDataStruct struct)) -> Term s (PDataStruct struct) Source # pdataImpl :: forall (s :: S). Term s (PDataStruct struct) -> Term s PData Source #
PIsData (PBuiltinPair (PAsData a) (PAsData b)) Source #
Instance details Defined in Plutarch.Internal.IsData Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PBuiltinPair (PAsData a) (PAsData b))) -> Term s (PBuiltinPair (PAsData a) (PAsData b)) Source # pdataImpl :: forall (s :: S). Term s (PBuiltinPair (PAsData a) (PAsData b)) -> Term s PData Source #
PIsData (PBuiltinPair PData PData) Source #
Instance details Defined in Plutarch.Internal.IsData Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PBuiltinPair PData PData)) -> Term s (PBuiltinPair PData PData) Source # pdataImpl :: forall (s :: S). Term s (PBuiltinPair PData PData) -> Term s PData Source #
PIsData (PBuiltinPair PInteger (PBuiltinList PData)) Source #
Instance details Defined in Plutarch.Internal.IsData Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PBuiltinPair PInteger (PBuiltinList PData))) -> Term s (PBuiltinPair PInteger (PBuiltinList PData)) Source # pdataImpl :: forall (s :: S). Term s (PBuiltinPair PInteger (PBuiltinList PData)) -> Term s PData Source #
PIsData (PEitherData a b) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Either Methods pfromDataImpl :: forall (s :: S). Term s (PAsData (PEitherData a b)) -> Term s (PEitherData a b) Source # pdataImpl :: forall (s :: S). Term s (PEitherData a b) -> Term s PData Source #

pfromDataImpl :: forall (s :: S). PIsData a => Term s (PAsData a) -> Term s a Source #

pdataImpl :: forall (s :: S). PIsData a => Term s a -> Term s PData Source #

pdata :: forall (a :: S -> Type) (s :: S). PIsData a => Term s a -> Term s (PAsData a) Source #

pfromData :: forall (a :: S -> Type) (s :: S). PIsData a => Term s (PAsData a) -> Term s a Source #

pforgetData :: forall (s :: S) (a :: S -> Type). Term s (PAsData a) -> Term s PData Source #