Safe Haskell	Safe-Inferred
Language	Haskell2010

Plutarch.Extra.Monoid

Synopsis

newtype PAll (s :: S) = PAll (Term s PBool)
pgetAll :: forall (s :: S). Term s (PAll :--> PBool)
newtype PAny (s :: S) = PAny (Term s PBool)
pgetAny :: forall (s :: S). Term s (PAny :--> PBool)

Documentation

newtype PAll (s :: S) Source #

Since: 1.3.0

Constructors

PAll (Term s PBool)

Instances

Instances details

PEq PAll Source #	Since: 1.3.0
Instance details Defined in Plutarch.Extra.Monoid Methods (#==) :: forall (s :: S). Term s PAll -> Term s PAll -> Term s PBool Source #
PIsData PAll Source #	Since: 1.3.0
Instance details Defined in Plutarch.Extra.Monoid Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PAll) -> Term s PAll Source # pdataImpl :: forall (s :: S). Term s PAll -> Term s PData Source #
DerivePlutusType PAll Source #	Since: 1.4.0
Instance details Defined in Plutarch.Extra.Monoid Associated Types type DPTStrat PAll Source #
PlutusType PAll Source #
Instance details Defined in Plutarch.Extra.Monoid Associated Types type PInner PAll :: PType Source # type PCovariant' PAll Source # type PContravariant' PAll Source # type PVariant' PAll Source # Methods pcon' :: forall (s :: S). PAll s -> Term s (PInner PAll) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PAll) -> (PAll s -> Term s b) -> Term s b Source #
PShow PAll Source #	Since: 1.3.0
Instance details Defined in Plutarch.Extra.Monoid Methods pshow' :: forall (s :: S). Bool -> Term s PAll -> Term s PString Source #
Generic (PAll s) Source #
Instance details Defined in Plutarch.Extra.Monoid Associated Types type Rep (PAll s) :: Type -> Type Source # Methods from :: PAll s -> Rep (PAll s) x Source # to :: Rep (PAll s) x -> PAll s Source #
Monoid (Term s PAll) Source #
Instance details Defined in Plutarch.Extra.Monoid Methods mempty :: Term s PAll Source # mappend :: Term s PAll -> Term s PAll -> Term s PAll Source # mconcat :: [Term s PAll] -> Term s PAll Source #
Semigroup (Term s PAll) Source #
Instance details Defined in Plutarch.Extra.Monoid Methods (<>) :: Term s PAll -> Term s PAll -> Term s PAll Source # sconcat :: NonEmpty (Term s PAll) -> Term s PAll Source # stimes :: Integral b => b -> Term s PAll -> Term s PAll Source #
type DPTStrat PAll Source #
Instance details Defined in Plutarch.Extra.Monoid type DPTStrat PAll = PlutusTypeNewtype
type PContravariant' PAll Source #
Instance details Defined in Plutarch.Extra.Monoid type PContravariant' PAll = All2 PContravariant'' (PCode PAll)
type PCovariant' PAll Source #
Instance details Defined in Plutarch.Extra.Monoid type PCovariant' PAll = All2 PCovariant'' (PCode PAll)
type PInner PAll Source #	Since: 1.3.0
Instance details Defined in Plutarch.Extra.Monoid type PInner PAll = DerivedPInner (DPTStrat PAll) PAll
type PVariant' PAll Source #
Instance details Defined in Plutarch.Extra.Monoid type PVariant' PAll = All2 PVariant'' (PCode PAll)
type Rep (PAll s) Source #	Since: 1.4.0
Instance details Defined in Plutarch.Extra.Monoid type Rep (PAll s) = D1 ('MetaData "PAll" "Plutarch.Extra.Monoid" "liqwid-plutarch-extra-3.21.1-KPadsMN5oqEA2Ctxwq6qig" 'True) (C1 ('MetaCons "PAll" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PBool))))

pgetAll :: forall (s :: S). Term s (PAll :--> PBool) Source #

newtype PAny (s :: S) Source #

Since: 1.3.0

Constructors

PAny (Term s PBool)

Instances

Instances details

PEq PAny Source #	Since: 1.3.0
Instance details Defined in Plutarch.Extra.Monoid Methods (#==) :: forall (s :: S). Term s PAny -> Term s PAny -> Term s PBool Source #
PIsData PAny Source #	Since: 1.3.0
Instance details Defined in Plutarch.Extra.Monoid Methods pfromDataImpl :: forall (s :: S). Term s (PAsData PAny) -> Term s PAny Source # pdataImpl :: forall (s :: S). Term s PAny -> Term s PData Source #
DerivePlutusType PAny Source #	Since: 1.4.0
Instance details Defined in Plutarch.Extra.Monoid Associated Types type DPTStrat PAny Source #
PlutusType PAny Source #
Instance details Defined in Plutarch.Extra.Monoid Associated Types type PInner PAny :: PType Source # type PCovariant' PAny Source # type PContravariant' PAny Source # type PVariant' PAny Source # Methods pcon' :: forall (s :: S). PAny s -> Term s (PInner PAny) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner PAny) -> (PAny s -> Term s b) -> Term s b Source #
PShow PAny Source #	Since: 1.3.0
Instance details Defined in Plutarch.Extra.Monoid Methods pshow' :: forall (s :: S). Bool -> Term s PAny -> Term s PString Source #
Generic (PAny s) Source #
Instance details Defined in Plutarch.Extra.Monoid Associated Types type Rep (PAny s) :: Type -> Type Source # Methods from :: PAny s -> Rep (PAny s) x Source # to :: Rep (PAny s) x -> PAny s Source #
Monoid (Term s PAny) Source #
Instance details Defined in Plutarch.Extra.Monoid Methods mempty :: Term s PAny Source # mappend :: Term s PAny -> Term s PAny -> Term s PAny Source # mconcat :: [Term s PAny] -> Term s PAny Source #
Semigroup (Term s PAny) Source #
Instance details Defined in Plutarch.Extra.Monoid Methods (<>) :: Term s PAny -> Term s PAny -> Term s PAny Source # sconcat :: NonEmpty (Term s PAny) -> Term s PAny Source # stimes :: Integral b => b -> Term s PAny -> Term s PAny Source #
type DPTStrat PAny Source #
Instance details Defined in Plutarch.Extra.Monoid type DPTStrat PAny = PlutusTypeNewtype
type PContravariant' PAny Source #
Instance details Defined in Plutarch.Extra.Monoid type PContravariant' PAny = All2 PContravariant'' (PCode PAny)
type PCovariant' PAny Source #
Instance details Defined in Plutarch.Extra.Monoid type PCovariant' PAny = All2 PCovariant'' (PCode PAny)
type PInner PAny Source #	Since: 1.3.0
Instance details Defined in Plutarch.Extra.Monoid type PInner PAny = DerivedPInner (DPTStrat PAny) PAny
type PVariant' PAny Source #
Instance details Defined in Plutarch.Extra.Monoid type PVariant' PAny = All2 PVariant'' (PCode PAny)
type Rep (PAny s) Source #	Since: 1.4.0
Instance details Defined in Plutarch.Extra.Monoid type Rep (PAny s) = D1 ('MetaData "PAny" "Plutarch.Extra.Monoid" "liqwid-plutarch-extra-3.21.1-KPadsMN5oqEA2Ctxwq6qig" 'True) (C1 ('MetaCons "PAny" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s PBool))))

pgetAny :: forall (s :: S). Term s (PAny :--> PBool) Source #