plutarch-1.9.0
Safe HaskellSafe-Inferred
LanguageGHC2021

Plutarch.Internal.Newtype

Documentation

data PlutusTypeNewtype Source #

Instances

Instances details
PlutusTypeStrat PlutusTypeNewtype Source # 
Instance details

Defined in Plutarch.Internal.Newtype

Associated Types

type PlutusTypeStratConstraint PlutusTypeNewtype :: PType -> Constraint Source #

type DerivedPInner PlutusTypeNewtype a :: PType Source #

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 :: PType). (DerivePlutusType a, DPTStrat a ~ PlutusTypeNewtype) => Term s (DerivedPInner PlutusTypeNewtype a) -> (a s -> Term s b) -> Term s b Source #

type PlutusTypeStratConstraint PlutusTypeNewtype Source # 
Instance details

Defined in Plutarch.Internal.Newtype

type PlutusTypeStratConstraint PlutusTypeNewtype
type DerivedPInner PlutusTypeNewtype a Source # 
Instance details

Defined in Plutarch.Internal.Newtype

type DerivedPInner PlutusTypeNewtype a