| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Plutarch.Internal.Newtype
Description
Deprecated: Use the new mechanism instead
Documentation
data PlutusTypeNewtype Source #
Instances
| PlutusTypeStrat PlutusTypeNewtype Source # | |||||||||
Defined in Plutarch.Internal.Newtype Associated Types
Methods derivedPCon :: forall a (s :: S). (DerivePlutusType a, DPTStrat a ~ PlutusTypeNewtype) => a s -> Term s (DerivedPInner PlutusTypeNewtype a) Source # derivedPMatch :: forall a (s :: S) (b :: S -> Type). (DerivePlutusType a, DPTStrat a ~ PlutusTypeNewtype) => Term s (DerivedPInner PlutusTypeNewtype a) -> (a s -> Term s b) -> Term s b Source # | |||||||||
| type PlutusTypeStratConstraint PlutusTypeNewtype Source # | |||||||||
Defined in Plutarch.Internal.Newtype | |||||||||
| type DerivedPInner PlutusTypeNewtype a Source # | |||||||||
Defined in Plutarch.Internal.Newtype | |||||||||