plutarch-1.10.1
Safe HaskellSafe-Inferred
LanguageGHC2021

Plutarch.Repr.Newtype

Synopsis

Documentation

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

Since: 1.10.0

Constructors

DeriveNewtypePlutusType 

Fields

Instances

Instances details
(pt ~ UnTermSingle (Head (Head (Code (a (Any :: S))))), forall (s :: S). H s a pt) => PlutusType (DeriveNewtypePlutusType a) Source # 
Instance details

Defined in Plutarch.Repr.Newtype

Associated Types

type PInner (DeriveNewtypePlutusType a) :: PType Source #

type PCovariant' (DeriveNewtypePlutusType a) Source #

type PContravariant' (DeriveNewtypePlutusType a) Source #

type PVariant' (DeriveNewtypePlutusType a) Source #

Methods

pcon' :: forall (s :: S). DeriveNewtypePlutusType a s -> Term s (PInner (DeriveNewtypePlutusType a)) Source #

pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (DeriveNewtypePlutusType a)) -> (DeriveNewtypePlutusType a s -> Term s b) -> Term s b Source #

type PContravariant' (DeriveNewtypePlutusType a) Source # 
Instance details

Defined in Plutarch.Repr.Newtype

type PContravariant' (DeriveNewtypePlutusType a) = PContravariant' a
type PCovariant' (DeriveNewtypePlutusType a) Source # 
Instance details

Defined in Plutarch.Repr.Newtype

type PCovariant' (DeriveNewtypePlutusType a) = PCovariant' a
type PInner (DeriveNewtypePlutusType a) Source # 
Instance details

Defined in Plutarch.Repr.Newtype

type PInner (DeriveNewtypePlutusType a)
type PVariant' (DeriveNewtypePlutusType a) Source # 
Instance details

Defined in Plutarch.Repr.Newtype

type PVariant' (DeriveNewtypePlutusType a) = PVariant' a