plutarch-1.10.1
Safe HaskellSafe-Inferred
LanguageGHC2021

Plutarch.Builtin.Opaque

Synopsis

Documentation

newtype POpaque s Source #

An Arbitrary Term with an unknown type

Constructors

POpaque (Term s POpaque) 

Instances

Instances details
PlutusType POpaque Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

Associated Types

type PInner POpaque :: PType Source #

type PCovariant' POpaque Source #

type PContravariant' POpaque Source #

type PVariant' POpaque Source #

Methods

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

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

type PContravariant' POpaque Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PContravariant' POpaque = ()
type PCovariant' POpaque Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PCovariant' POpaque = ()
type PInner POpaque Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PInner POpaque = POpaque
type PVariant' POpaque Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PVariant' POpaque = ()

popaque :: Term s a -> Term s POpaque Source #

Erase the type of a Term