Safe Haskell	None
Language	GHC2021

Plutarch.Internal.Quantification

Documentation

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

Constructors

PForall (forall (x :: a). Term s (b x))

Instances

Instances details

PlutusType (PForall f) Source #

Instance details

Defined in Plutarch.Internal.PlutusType

Associated Types

type PInner (PForall f)
Instance details Defined in Plutarch.Internal.PlutusType type PInner (PForall f) = PForall f

Methods

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

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

type PInner (PForall f) Source #

Instance details

Defined in Plutarch.Internal.PlutusType

type PInner (PForall f) = PForall f

data PSome (b :: a -> S -> Type) (s :: S) Source #

Constructors

PSome (Term s (b x))

Instances

Instances details

PlutusType (PSome f) Source #

Instance details

Defined in Plutarch.Internal.PlutusType

Associated Types

type PInner (PSome f)
Instance details Defined in Plutarch.Internal.PlutusType type PInner (PSome f) = PSome f

Methods

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

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

type PInner (PSome f) Source #

Instance details

Defined in Plutarch.Internal.PlutusType

type PInner (PSome f) = PSome f

newtype PFix (f :: (S -> Type) -> S -> Type) (s :: S) Source #

Constructors

PFix (Term s (f (PFix f)))

Instances

Instances details

PlutusType (PFix f) Source #

Instance details

Defined in Plutarch.Internal.PlutusType

Associated Types

type PInner (PFix f)
Instance details Defined in Plutarch.Internal.PlutusType type PInner (PFix f) = f (PFix f)

Methods

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

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

type PInner (PFix f) Source #

Instance details

Defined in Plutarch.Internal.PlutusType

type PInner (PFix f) = f (PFix f)