Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Repr.Data

Synopsis

newtype PDataStruct (struct :: [[S -> Type]]) (s :: S) = PDataStruct {
- unPDataStruct :: PStruct struct s
}
newtype PDataRec (struct :: [S -> Type]) (s :: S) = PDataRec {
- unPDataRec :: PRec struct s
}
newtype DeriveAsDataRec (a :: S -> Type) s = DeriveAsDataRec {
- unDeriveAsDataRec :: a s
}
newtype DeriveAsDataStruct (a :: S -> Type) s = DeriveAsDataStruct {
- unDeriveAsDataStruct :: a s
}

Documentation

newtype PDataStruct (struct :: [[S -> Type]]) (s :: S) Source #

@since WIP

Constructors

PDataStruct
Fields unPDataStruct :: PStruct struct s

Instances

Instances details

PEq (PDataStruct struct) Source #	@since WIP
Instance details Defined in Plutarch.Repr.Data Methods (#==) :: forall (s :: S). Term s (PDataStruct struct) -> Term s (PDataStruct struct) -> Term s PBool Source #
PIsData (PDataStruct struct) Source #	@since WIP
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 #
(SListI2 struct, All2 PIsData struct) => PlutusType (PDataStruct struct) Source #	@since WIP
Instance details Defined in Plutarch.Repr.Data Associated Types type PInner (PDataStruct struct) :: PType Source # type PCovariant' (PDataStruct struct) Source # type PContravariant' (PDataStruct struct) Source # type PVariant' (PDataStruct struct) Source # Methods pcon' :: forall (s :: S). PDataStruct struct s -> Term s (PInner (PDataStruct struct)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PDataStruct struct)) -> (PDataStruct struct s -> Term s b) -> Term s b Source #
type PContravariant' (PDataStruct struct) Source #
Instance details Defined in Plutarch.Repr.Data type PContravariant' (PDataStruct struct) = All2 PContravariant'' struct
type PCovariant' (PDataStruct struct) Source #
Instance details Defined in Plutarch.Repr.Data type PCovariant' (PDataStruct struct) = All2 PCovariant'' struct
type PInner (PDataStruct struct) Source #
Instance details Defined in Plutarch.Repr.Data type PInner (PDataStruct struct) = PData
type PVariant' (PDataStruct struct) Source #
Instance details Defined in Plutarch.Repr.Data type PVariant' (PDataStruct struct) = All2 PVariant'' struct

newtype PDataRec (struct :: [S -> Type]) (s :: S) Source #

@since WIP

Constructors

PDataRec
Fields unPDataRec :: PRec struct s

Instances

Instances details

PEq (PDataRec struct) Source #	@since WIP
Instance details Defined in Plutarch.Repr.Data Methods (#==) :: forall (s :: S). Term s (PDataRec struct) -> Term s (PDataRec struct) -> Term s PBool Source #
PIsData (PDataRec struct) Source #	@since WIP
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 #
(SListI struct, All PIsData struct) => PlutusType (PDataRec struct) Source #	@since WIP
Instance details Defined in Plutarch.Repr.Data Associated Types type PInner (PDataRec struct) :: PType Source # type PCovariant' (PDataRec struct) Source # type PContravariant' (PDataRec struct) Source # type PVariant' (PDataRec struct) Source # Methods pcon' :: forall (s :: S). PDataRec struct s -> Term s (PInner (PDataRec struct)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PDataRec struct)) -> (PDataRec struct s -> Term s b) -> Term s b Source #
type PContravariant' (PDataRec struct) Source #
Instance details Defined in Plutarch.Repr.Data type PContravariant' (PDataRec struct) = All PContravariant'' struct
type PCovariant' (PDataRec struct) Source #
Instance details Defined in Plutarch.Repr.Data type PCovariant' (PDataRec struct) = All PCovariant'' struct
type PInner (PDataRec struct) Source #
Instance details Defined in Plutarch.Repr.Data type PInner (PDataRec struct) = PBuiltinList PData
type PVariant' (PDataRec struct) Source #
Instance details Defined in Plutarch.Repr.Data type PVariant' (PDataRec struct) = All PVariant'' struct

newtype DeriveAsDataRec (a :: S -> Type) s Source #

@since WIP

Constructors

DeriveAsDataRec
Fields unDeriveAsDataRec :: a s

Instances

Instances details

(Generic (a (Any :: S)), '[struct'] ~ Code (a (Any :: S)), struct ~ UnTermRec struct', All PIsData struct, SListI struct, forall (s :: S). StructSameRepr s a '[struct], RecTypePrettyError (Code (a (Any :: S)))) => PlutusType (DeriveAsDataRec a) Source #	@since WIP
Instance details Defined in Plutarch.Repr.Data Associated Types type PInner (DeriveAsDataRec a) :: PType Source # type PCovariant' (DeriveAsDataRec a) Source # type PContravariant' (DeriveAsDataRec a) Source # type PVariant' (DeriveAsDataRec a) Source # Methods pcon' :: forall (s :: S). DeriveAsDataRec a s -> Term s (PInner (DeriveAsDataRec a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (DeriveAsDataRec a)) -> (DeriveAsDataRec a s -> Term s b) -> Term s b Source #
type PContravariant' (DeriveAsDataRec a) Source #
Instance details Defined in Plutarch.Repr.Data type PContravariant' (DeriveAsDataRec a) = PContravariant' a
type PCovariant' (DeriveAsDataRec a) Source #
Instance details Defined in Plutarch.Repr.Data type PCovariant' (DeriveAsDataRec a) = PCovariant' a
type PInner (DeriveAsDataRec a) Source #
Instance details Defined in Plutarch.Repr.Data type PInner (DeriveAsDataRec a) = PDataRec (UnTermRec (Head (Code (a (Any :: S)))))
type PVariant' (DeriveAsDataRec a) Source #
Instance details Defined in Plutarch.Repr.Data type PVariant' (DeriveAsDataRec a) = PVariant' a

newtype DeriveAsDataStruct (a :: S -> Type) s Source #

@since WIP

Constructors

DeriveAsDataStruct
Fields unDeriveAsDataStruct :: a s

Instances

Instances details

(Generic (a (Any :: S)), struct ~ UnTermStruct (a (Any :: S)), All2 PIsData struct, SListI2 struct, forall (s :: S). StructSameRepr s a struct) => PlutusType (DeriveAsDataStruct a) Source #	@since WIP
Instance details Defined in Plutarch.Repr.Data Associated Types type PInner (DeriveAsDataStruct a) :: PType Source # type PCovariant' (DeriveAsDataStruct a) Source # type PContravariant' (DeriveAsDataStruct a) Source # type PVariant' (DeriveAsDataStruct a) Source # Methods pcon' :: forall (s :: S). DeriveAsDataStruct a s -> Term s (PInner (DeriveAsDataStruct a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (DeriveAsDataStruct a)) -> (DeriveAsDataStruct a s -> Term s b) -> Term s b Source #
type PContravariant' (DeriveAsDataStruct a) Source #
Instance details Defined in Plutarch.Repr.Data type PContravariant' (DeriveAsDataStruct a) = PContravariant' a
type PCovariant' (DeriveAsDataStruct a) Source #
Instance details Defined in Plutarch.Repr.Data type PCovariant' (DeriveAsDataStruct a) = PCovariant' a
type PInner (DeriveAsDataStruct a) Source #
Instance details Defined in Plutarch.Repr.Data type PInner (DeriveAsDataStruct a) = PDataStruct (UnTermStruct (a (Any :: S)))
type PVariant' (DeriveAsDataStruct a) Source #
Instance details Defined in Plutarch.Repr.Data type PVariant' (DeriveAsDataStruct a) = PVariant' a