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)
type PCovariant' (PForall f) Source #
Instance details Defined in Plutarch.Internal.PlutusType type PCovariant' (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)

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