Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Internal.Quantification

Documentation

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

Constructors

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

Instances details

PlutusType (PForall f) Source #
Instance details Defined in Plutarch.Internal.PlutusType Associated Types type PInner (PForall f) :: S -> Type Source # 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 Source #

Constructors

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

Instances details

PlutusType (PSome f) Source #
Instance details Defined in Plutarch.Internal.PlutusType Associated Types type PInner (PSome f) :: S -> Type Source # 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 Source #

Constructors

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

Instances details

PlutusType (PFix f) Source #
Instance details Defined in Plutarch.Internal.PlutusType Associated Types type PInner (PFix f) :: S -> Type Source # 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)