Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Internal.Quantification

Documentation

newtype PForall (b :: a -> PType) 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) :: PType Source # type PCovariant' (PForall f) Source # type PContravariant' (PForall f) Source # type PVariant' (PForall f) Source # Methods pcon' :: forall (s :: S). PForall f s -> Term s (PInner (PForall f)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PForall f)) -> (PForall f s -> Term s b) -> Term s b Source #
type PContravariant' (PForall f) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PContravariant' (PForall f) = All2 PContravariant'' (PCode (PForall f))
type PCovariant' (PForall f) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PCovariant' (PForall f) = All2 PCovariant'' (PCode (PForall f))
type PInner (PForall f) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PInner (PForall f) = PForall f
type PVariant' (PForall f) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PVariant' (PForall f) = All2 PVariant'' (PCode (PForall f))