plutarch
Safe HaskellNone
LanguageGHC2021

Plutarch.Builtin.Opaque

Synopsis

Documentation

newtype POpaque (s :: 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 
Instance details

Defined in Plutarch.Internal.PlutusType

type PInner POpaque = POpaque

Methods

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

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

type PInner POpaque Source # 
Instance details

Defined in Plutarch.Internal.PlutusType

type PInner POpaque = POpaque

popaque :: forall (s :: S) (a :: S -> Type). Term s a -> Term s POpaque Source #

Erase the type of a Term