Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Internal.Semigroup

Contents

Type classes
Helper newtypes

Synopsis

class PSemigroup (a :: S -> Type) where
- (#<>) :: forall (s :: S). Term s a -> Term s a -> Term s a
- pstimes :: forall (s :: S). Term s PPositive -> Term s a -> Term s a
class PSemigroup a => PMonoid (a :: S -> Type) where
- pmempty :: forall (s :: S). Term s a
- pmtimes :: forall (s :: S). Term s PNatural -> Term s a -> Term s a
newtype PAnd (a :: S -> Type) (s :: S) = PAnd (Term s a)
newtype POr (a :: S -> Type) (s :: S) = POr (Term s a)
newtype PXor (a :: S -> Type) (s :: S) = PXor (Term s a)

Type classes

class PSemigroup (a :: S -> Type) where Source #

Laws

The only mandatory law is that #<> must be associative:

x #<> (y #<> z) = (x #<> y) #<> z

If you define pstimes, ensure the following also hold:

pstimes pone x = x
(pstimes p1 x) #<> (pstimes p2 x) = pstimes (p1 #+ p2) x
pstimes p1 (pstimes p2 x) = pstimes (p1 #* p2) x

The default implementation automatically ensures these laws hold.

Since: 1.10.0

Minimal complete definition

Nothing

Methods

(#<>) :: forall (s :: S). Term s a -> Term s a -> Term s a infixr 6 Source #

default (#<>) :: forall (s :: S). PSemigroup (PInner a) => Term s a -> Term s a -> Term s a Source #

pstimes :: forall (s :: S). Term s PPositive -> Term s a -> Term s a Source #

Instances

Instances details

PSemigroup PBitString Source #	Since: 1.10.0
Instance details Defined in Plutarch.BitString Methods (#<>) :: forall (s :: S). Term s PBitString -> Term s PBitString -> Term s PBitString Source # pstimes :: forall (s :: S). Term s PPositive -> Term s PBitString -> Term s PBitString Source #
PSemigroup PBuiltinBLS12_381_G1_Element Source #	BLS points form a group technically, but a `PGroup` notion would be too niche to be useful. Unlike other types which could be semigroups (or monoids) in many ways, BLS points have only one (essentially their additive instances), so we can provide these. Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods (#<>) :: forall (s :: S). Term s PBuiltinBLS12_381_G1_Element -> Term s PBuiltinBLS12_381_G1_Element -> Term s PBuiltinBLS12_381_G1_Element Source # pstimes :: forall (s :: S). Term s PPositive -> Term s PBuiltinBLS12_381_G1_Element -> Term s PBuiltinBLS12_381_G1_Element Source #
PSemigroup PBuiltinBLS12_381_G2_Element Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods (#<>) :: forall (s :: S). Term s PBuiltinBLS12_381_G2_Element -> Term s PBuiltinBLS12_381_G2_Element -> Term s PBuiltinBLS12_381_G2_Element Source # pstimes :: forall (s :: S). Term s PPositive -> Term s PBuiltinBLS12_381_G2_Element -> Term s PBuiltinBLS12_381_G2_Element Source #
PSemigroup PBuiltinBLS12_381_MlResult Source #	Since multiplication of Miller loop results exists, they are technically semigroups, though confusingly in a different way to BLS curve points. Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods (#<>) :: forall (s :: S). Term s PBuiltinBLS12_381_MlResult -> Term s PBuiltinBLS12_381_MlResult -> Term s PBuiltinBLS12_381_MlResult Source # pstimes :: forall (s :: S). Term s PPositive -> Term s PBuiltinBLS12_381_MlResult -> Term s PBuiltinBLS12_381_MlResult Source #
PSemigroup PByteString Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods (#<>) :: forall (s :: S). Term s PByteString -> Term s PByteString -> Term s PByteString Source # pstimes :: forall (s :: S). Term s PPositive -> Term s PByteString -> Term s PByteString Source #
PSemigroup PString Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods (#<>) :: forall (s :: S). Term s PString -> Term s PString -> Term s PString Source # pstimes :: forall (s :: S). Term s PPositive -> Term s PString -> Term s PString Source #
PSemigroup PUnit Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods (#<>) :: forall (s :: S). Term s PUnit -> Term s PUnit -> Term s PUnit Source # pstimes :: forall (s :: S). Term s PPositive -> Term s PUnit -> Term s PUnit Source #
PSemigroup (PAnd PBool) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods (#<>) :: forall (s :: S). Term s (PAnd PBool) -> Term s (PAnd PBool) -> Term s (PAnd PBool) Source # pstimes :: forall (s :: S). Term s PPositive -> Term s (PAnd PBool) -> Term s (PAnd PBool) Source #
PSemigroup (PAnd PByteString) Source #	This uses padding semantics as specified in CIP-122, as this allows a `PMonoid` instance as well. Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods (#<>) :: forall (s :: S). Term s (PAnd PByteString) -> Term s (PAnd PByteString) -> Term s (PAnd PByteString) Source # pstimes :: forall (s :: S). Term s PPositive -> Term s (PAnd PByteString) -> Term s (PAnd PByteString) Source #
PSemigroup (POr PBool) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods (#<>) :: forall (s :: S). Term s (POr PBool) -> Term s (POr PBool) -> Term s (POr PBool) Source # pstimes :: forall (s :: S). Term s PPositive -> Term s (POr PBool) -> Term s (POr PBool) Source #
PSemigroup (POr PByteString) Source #	This uses padding semantics as specified in CIP-122, as this allows a `PMonoid` instance as well. Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods (#<>) :: forall (s :: S). Term s (POr PByteString) -> Term s (POr PByteString) -> Term s (POr PByteString) Source # pstimes :: forall (s :: S). Term s PPositive -> Term s (POr PByteString) -> Term s (POr PByteString) Source #
PSemigroup (PXor PBool) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods (#<>) :: forall (s :: S). Term s (PXor PBool) -> Term s (PXor PBool) -> Term s (PXor PBool) Source # pstimes :: forall (s :: S). Term s PPositive -> Term s (PXor PBool) -> Term s (PXor PBool) Source #
PSemigroup (PXor PByteString) Source #	This uses padding semantics as specified in CIP-122, as this allows a `PMonoid` instance as well. Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods (#<>) :: forall (s :: S). Term s (PXor PByteString) -> Term s (PXor PByteString) -> Term s (PXor PByteString) Source # pstimes :: forall (s :: S). Term s PPositive -> Term s (PXor PByteString) -> Term s (PXor PByteString) Source #
(PSemigroup a, PSemigroup b) => PSemigroup (PPair a b) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Pair Methods (#<>) :: forall (s :: S). Term s (PPair a b) -> Term s (PPair a b) -> Term s (PPair a b) Source # pstimes :: forall (s :: S). Term s PPositive -> Term s (PPair a b) -> Term s (PPair a b) Source #

class PSemigroup a => PMonoid (a :: S -> Type) where Source #

Laws

pmempty #<> x = x #<> pmempty = x
pstimes n pmempty = pmempty

If you define pmtimes, ensure the following as well:

pmtimes (ppositiveToNatural # p) x = pstimes p x
pmtimes pzero x = pmempty

The default implementation of pmtimes ensures these laws hold.

Since: 1.10.0

Minimal complete definition

Nothing

Methods

pmempty :: forall (s :: S). Term s a Source #

default pmempty :: forall (s :: S). PMonoid (PInner a) => Term s a Source #

pmtimes :: forall (s :: S). Term s PNatural -> Term s a -> Term s a Source #

Instances

Instances details

PMonoid PBitString Source #	Since: 1.10.0
Instance details Defined in Plutarch.BitString Methods pmempty :: forall (s :: S). Term s PBitString Source # pmtimes :: forall (s :: S). Term s PNatural -> Term s PBitString -> Term s PBitString Source #
PMonoid PBuiltinBLS12_381_G1_Element Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods pmempty :: forall (s :: S). Term s PBuiltinBLS12_381_G1_Element Source # pmtimes :: forall (s :: S). Term s PNatural -> Term s PBuiltinBLS12_381_G1_Element -> Term s PBuiltinBLS12_381_G1_Element Source #
PMonoid PBuiltinBLS12_381_G2_Element Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods pmempty :: forall (s :: S). Term s PBuiltinBLS12_381_G2_Element Source # pmtimes :: forall (s :: S). Term s PNatural -> Term s PBuiltinBLS12_381_G2_Element -> Term s PBuiltinBLS12_381_G2_Element Source #
PMonoid PByteString Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods pmempty :: forall (s :: S). Term s PByteString Source # pmtimes :: forall (s :: S). Term s PNatural -> Term s PByteString -> Term s PByteString Source #
PMonoid PString Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods pmempty :: forall (s :: S). Term s PString Source # pmtimes :: forall (s :: S). Term s PNatural -> Term s PString -> Term s PString Source #
PMonoid PUnit Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods pmempty :: forall (s :: S). Term s PUnit Source # pmtimes :: forall (s :: S). Term s PNatural -> Term s PUnit -> Term s PUnit Source #
PMonoid (PAnd PBool) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods pmempty :: forall (s :: S). Term s (PAnd PBool) Source # pmtimes :: forall (s :: S). Term s PNatural -> Term s (PAnd PBool) -> Term s (PAnd PBool) Source #
PMonoid (PAnd PByteString) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods pmempty :: forall (s :: S). Term s (PAnd PByteString) Source # pmtimes :: forall (s :: S). Term s PNatural -> Term s (PAnd PByteString) -> Term s (PAnd PByteString) Source #
PMonoid (POr PBool) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods pmempty :: forall (s :: S). Term s (POr PBool) Source # pmtimes :: forall (s :: S). Term s PNatural -> Term s (POr PBool) -> Term s (POr PBool) Source #
PMonoid (POr PByteString) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods pmempty :: forall (s :: S). Term s (POr PByteString) Source # pmtimes :: forall (s :: S). Term s PNatural -> Term s (POr PByteString) -> Term s (POr PByteString) Source #
PMonoid (PXor PBool) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods pmempty :: forall (s :: S). Term s (PXor PBool) Source # pmtimes :: forall (s :: S). Term s PNatural -> Term s (PXor PBool) -> Term s (PXor PBool) Source #
PMonoid (PXor PByteString) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods pmempty :: forall (s :: S). Term s (PXor PByteString) Source # pmtimes :: forall (s :: S). Term s PNatural -> Term s (PXor PByteString) -> Term s (PXor PByteString) Source #
(PMonoid a, PMonoid b) => PMonoid (PPair a b) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Pair Methods pmempty :: forall (s :: S). Term s (PPair a b) Source # pmtimes :: forall (s :: S). Term s PNatural -> Term s (PPair a b) -> Term s (PPair a b) Source #

Helper newtypes

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

Wrapper for types which have logical AND semantics somehow.

Since: 1.10.0

Constructors

PAnd (Term s a)

Instances

Instances details

PEq a => PEq (PAnd a) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods (#==) :: forall (s :: S). Term s (PAnd a) -> Term s (PAnd a) -> Term s PBool Source #
(PLiftable a, Includes DefaultUni (PlutusRepr a)) => PLiftable (PAnd a) Source #
Instance details Defined in Plutarch.Internal.Semigroup Associated Types type AsHaskell (PAnd a) Source # type PlutusRepr (PAnd a) Source # Methods haskToRepr :: AsHaskell (PAnd a) -> PlutusRepr (PAnd a) Source # reprToHask :: PlutusRepr (PAnd a) -> Either LiftError (AsHaskell (PAnd a)) Source # reprToPlut :: forall (s :: S). PlutusRepr (PAnd a) -> PLifted s (PAnd a) Source # plutToRepr :: (forall (s :: S). PLifted s (PAnd a)) -> Either LiftError (PlutusRepr (PAnd a)) Source #
POrd a => POrd (PAnd a) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods (#<=) :: forall (s :: S). Term s (PAnd a) -> Term s (PAnd a) -> Term s PBool Source # (#<) :: forall (s :: S). Term s (PAnd a) -> Term s (PAnd a) -> Term s PBool Source # pmax :: forall (s :: S). Term s (PAnd a) -> Term s (PAnd a) -> Term s (PAnd a) Source # pmin :: forall (s :: S). Term s (PAnd a) -> Term s (PAnd a) -> Term s (PAnd a) Source #
PlutusType (PAnd a) Source #
Instance details Defined in Plutarch.Internal.Semigroup Associated Types type PInner (PAnd a) :: PType Source # type PCovariant' (PAnd a) Source # type PContravariant' (PAnd a) Source # type PVariant' (PAnd a) Source # Methods pcon' :: forall (s :: S). PAnd a s -> Term s (PInner (PAnd a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PAnd a)) -> (PAnd a s -> Term s b) -> Term s b Source #
PMonoid (PAnd PBool) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods pmempty :: forall (s :: S). Term s (PAnd PBool) Source # pmtimes :: forall (s :: S). Term s PNatural -> Term s (PAnd PBool) -> Term s (PAnd PBool) Source #
PMonoid (PAnd PByteString) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods pmempty :: forall (s :: S). Term s (PAnd PByteString) Source # pmtimes :: forall (s :: S). Term s PNatural -> Term s (PAnd PByteString) -> Term s (PAnd PByteString) Source #
PSemigroup (PAnd PBool) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods (#<>) :: forall (s :: S). Term s (PAnd PBool) -> Term s (PAnd PBool) -> Term s (PAnd PBool) Source # pstimes :: forall (s :: S). Term s PPositive -> Term s (PAnd PBool) -> Term s (PAnd PBool) Source #
PSemigroup (PAnd PByteString) Source #	This uses padding semantics as specified in CIP-122, as this allows a `PMonoid` instance as well. Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods (#<>) :: forall (s :: S). Term s (PAnd PByteString) -> Term s (PAnd PByteString) -> Term s (PAnd PByteString) Source # pstimes :: forall (s :: S). Term s PPositive -> Term s (PAnd PByteString) -> Term s (PAnd PByteString) Source #
Generic (PAnd a s) Source #
Instance details Defined in Plutarch.Internal.Semigroup Associated Types type Rep (PAnd a s) :: Type -> Type Source # Methods from :: PAnd a s -> Rep (PAnd a s) x Source # to :: Rep (PAnd a s) x -> PAnd a s Source #
Generic (PAnd a s) Source #
Instance details Defined in Plutarch.Internal.Semigroup Associated Types type Code (PAnd a s) :: [[Type]] Methods from :: PAnd a s -> Rep (PAnd a s) to :: Rep (PAnd a s) -> PAnd a s
type AsHaskell (PAnd a) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup type AsHaskell (PAnd a) = AsHaskell (DeriveNewtypePLiftable (PAnd a) (AsHaskell a))
type PlutusRepr (PAnd a) Source #
Instance details Defined in Plutarch.Internal.Semigroup type PlutusRepr (PAnd a) = PlutusRepr (DeriveNewtypePLiftable (PAnd a) (AsHaskell a))
type PContravariant' (PAnd a) Source #
Instance details Defined in Plutarch.Internal.Semigroup type PContravariant' (PAnd a) = PContravariant' (DeriveNewtypePlutusType (PAnd a))
type PCovariant' (PAnd a) Source #
Instance details Defined in Plutarch.Internal.Semigroup type PCovariant' (PAnd a) = PCovariant' (DeriveNewtypePlutusType (PAnd a))
type PInner (PAnd a) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup type PInner (PAnd a) = PInner (DeriveNewtypePlutusType (PAnd a))
type PVariant' (PAnd a) Source #
Instance details Defined in Plutarch.Internal.Semigroup type PVariant' (PAnd a) = PVariant' (DeriveNewtypePlutusType (PAnd a))
type Rep (PAnd a s) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup type Rep (PAnd a s) = D1 ('MetaData "PAnd" "Plutarch.Internal.Semigroup" "plutarch-1.10.1-L8uVCYsr0h87jxG2Nmhqfx" 'True) (C1 ('MetaCons "PAnd" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s a))))
type Code (PAnd a s) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup type Code (PAnd a s) = GCode (PAnd a s)

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

Wrapper for types which have logical OR semantics somehow.

Since: 1.10.0

Constructors

POr (Term s a)

Instances

Instances details

PEq a => PEq (POr a) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods (#==) :: forall (s :: S). Term s (POr a) -> Term s (POr a) -> Term s PBool Source #
(PLiftable a, Includes DefaultUni (PlutusRepr a)) => PLiftable (POr a) Source #
Instance details Defined in Plutarch.Internal.Semigroup Associated Types type AsHaskell (POr a) Source # type PlutusRepr (POr a) Source # Methods haskToRepr :: AsHaskell (POr a) -> PlutusRepr (POr a) Source # reprToHask :: PlutusRepr (POr a) -> Either LiftError (AsHaskell (POr a)) Source # reprToPlut :: forall (s :: S). PlutusRepr (POr a) -> PLifted s (POr a) Source # plutToRepr :: (forall (s :: S). PLifted s (POr a)) -> Either LiftError (PlutusRepr (POr a)) Source #
POrd a => POrd (POr a) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods (#<=) :: forall (s :: S). Term s (POr a) -> Term s (POr a) -> Term s PBool Source # (#<) :: forall (s :: S). Term s (POr a) -> Term s (POr a) -> Term s PBool Source # pmax :: forall (s :: S). Term s (POr a) -> Term s (POr a) -> Term s (POr a) Source # pmin :: forall (s :: S). Term s (POr a) -> Term s (POr a) -> Term s (POr a) Source #
PlutusType (POr a) Source #
Instance details Defined in Plutarch.Internal.Semigroup Associated Types type PInner (POr a) :: PType Source # type PCovariant' (POr a) Source # type PContravariant' (POr a) Source # type PVariant' (POr a) Source # Methods pcon' :: forall (s :: S). POr a s -> Term s (PInner (POr a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (POr a)) -> (POr a s -> Term s b) -> Term s b Source #
PMonoid (POr PBool) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods pmempty :: forall (s :: S). Term s (POr PBool) Source # pmtimes :: forall (s :: S). Term s PNatural -> Term s (POr PBool) -> Term s (POr PBool) Source #
PMonoid (POr PByteString) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods pmempty :: forall (s :: S). Term s (POr PByteString) Source # pmtimes :: forall (s :: S). Term s PNatural -> Term s (POr PByteString) -> Term s (POr PByteString) Source #
PSemigroup (POr PBool) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods (#<>) :: forall (s :: S). Term s (POr PBool) -> Term s (POr PBool) -> Term s (POr PBool) Source # pstimes :: forall (s :: S). Term s PPositive -> Term s (POr PBool) -> Term s (POr PBool) Source #
PSemigroup (POr PByteString) Source #	This uses padding semantics as specified in CIP-122, as this allows a `PMonoid` instance as well. Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods (#<>) :: forall (s :: S). Term s (POr PByteString) -> Term s (POr PByteString) -> Term s (POr PByteString) Source # pstimes :: forall (s :: S). Term s PPositive -> Term s (POr PByteString) -> Term s (POr PByteString) Source #
Generic (POr a s) Source #
Instance details Defined in Plutarch.Internal.Semigroup Associated Types type Rep (POr a s) :: Type -> Type Source # Methods from :: POr a s -> Rep (POr a s) x Source # to :: Rep (POr a s) x -> POr a s Source #
Generic (POr a s) Source #
Instance details Defined in Plutarch.Internal.Semigroup Associated Types type Code (POr a s) :: [[Type]] Methods from :: POr a s -> Rep (POr a s) to :: Rep (POr a s) -> POr a s
type AsHaskell (POr a) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup type AsHaskell (POr a) = AsHaskell (DeriveNewtypePLiftable (POr a) (AsHaskell a))
type PlutusRepr (POr a) Source #
Instance details Defined in Plutarch.Internal.Semigroup type PlutusRepr (POr a) = PlutusRepr (DeriveNewtypePLiftable (POr a) (AsHaskell a))
type PContravariant' (POr a) Source #
Instance details Defined in Plutarch.Internal.Semigroup type PContravariant' (POr a) = PContravariant' (DeriveNewtypePlutusType (POr a))
type PCovariant' (POr a) Source #
Instance details Defined in Plutarch.Internal.Semigroup type PCovariant' (POr a) = PCovariant' (DeriveNewtypePlutusType (POr a))
type PInner (POr a) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup type PInner (POr a) = PInner (DeriveNewtypePlutusType (POr a))
type PVariant' (POr a) Source #
Instance details Defined in Plutarch.Internal.Semigroup type PVariant' (POr a) = PVariant' (DeriveNewtypePlutusType (POr a))
type Rep (POr a s) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup type Rep (POr a s) = D1 ('MetaData "POr" "Plutarch.Internal.Semigroup" "plutarch-1.10.1-L8uVCYsr0h87jxG2Nmhqfx" 'True) (C1 ('MetaCons "POr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s a))))
type Code (POr a s) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup type Code (POr a s) = GCode (POr a s)

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

Wrapper for types which have logical XOR semantics somehow.

Since: 1.10.0

Constructors

PXor (Term s a)

Instances

Instances details

PEq a => PEq (PXor a) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods (#==) :: forall (s :: S). Term s (PXor a) -> Term s (PXor a) -> Term s PBool Source #
(PLiftable a, Includes DefaultUni (PlutusRepr a)) => PLiftable (PXor a) Source #
Instance details Defined in Plutarch.Internal.Semigroup Associated Types type AsHaskell (PXor a) Source # type PlutusRepr (PXor a) Source # Methods haskToRepr :: AsHaskell (PXor a) -> PlutusRepr (PXor a) Source # reprToHask :: PlutusRepr (PXor a) -> Either LiftError (AsHaskell (PXor a)) Source # reprToPlut :: forall (s :: S). PlutusRepr (PXor a) -> PLifted s (PXor a) Source # plutToRepr :: (forall (s :: S). PLifted s (PXor a)) -> Either LiftError (PlutusRepr (PXor a)) Source #
POrd a => POrd (PXor a) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods (#<=) :: forall (s :: S). Term s (PXor a) -> Term s (PXor a) -> Term s PBool Source # (#<) :: forall (s :: S). Term s (PXor a) -> Term s (PXor a) -> Term s PBool Source # pmax :: forall (s :: S). Term s (PXor a) -> Term s (PXor a) -> Term s (PXor a) Source # pmin :: forall (s :: S). Term s (PXor a) -> Term s (PXor a) -> Term s (PXor a) Source #
PlutusType (PXor a) Source #
Instance details Defined in Plutarch.Internal.Semigroup Associated Types type PInner (PXor a) :: PType Source # type PCovariant' (PXor a) Source # type PContravariant' (PXor a) Source # type PVariant' (PXor a) Source # Methods pcon' :: forall (s :: S). PXor a s -> Term s (PInner (PXor a)) Source # pmatch' :: forall (s :: S) (b :: PType). Term s (PInner (PXor a)) -> (PXor a s -> Term s b) -> Term s b Source #
PMonoid (PXor PBool) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods pmempty :: forall (s :: S). Term s (PXor PBool) Source # pmtimes :: forall (s :: S). Term s PNatural -> Term s (PXor PBool) -> Term s (PXor PBool) Source #
PMonoid (PXor PByteString) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods pmempty :: forall (s :: S). Term s (PXor PByteString) Source # pmtimes :: forall (s :: S). Term s PNatural -> Term s (PXor PByteString) -> Term s (PXor PByteString) Source #
PSemigroup (PXor PBool) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods (#<>) :: forall (s :: S). Term s (PXor PBool) -> Term s (PXor PBool) -> Term s (PXor PBool) Source # pstimes :: forall (s :: S). Term s PPositive -> Term s (PXor PBool) -> Term s (PXor PBool) Source #
PSemigroup (PXor PByteString) Source #	This uses padding semantics as specified in CIP-122, as this allows a `PMonoid` instance as well. Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup Methods (#<>) :: forall (s :: S). Term s (PXor PByteString) -> Term s (PXor PByteString) -> Term s (PXor PByteString) Source # pstimes :: forall (s :: S). Term s PPositive -> Term s (PXor PByteString) -> Term s (PXor PByteString) Source #
Generic (PXor a s) Source #
Instance details Defined in Plutarch.Internal.Semigroup Associated Types type Rep (PXor a s) :: Type -> Type Source # Methods from :: PXor a s -> Rep (PXor a s) x Source # to :: Rep (PXor a s) x -> PXor a s Source #
Generic (PXor a s) Source #
Instance details Defined in Plutarch.Internal.Semigroup Associated Types type Code (PXor a s) :: [[Type]] Methods from :: PXor a s -> Rep (PXor a s) to :: Rep (PXor a s) -> PXor a s
type AsHaskell (PXor a) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup type AsHaskell (PXor a) = AsHaskell (DeriveNewtypePLiftable (PXor a) (AsHaskell a))
type PlutusRepr (PXor a) Source #
Instance details Defined in Plutarch.Internal.Semigroup type PlutusRepr (PXor a) = PlutusRepr (DeriveNewtypePLiftable (PXor a) (AsHaskell a))
type PContravariant' (PXor a) Source #
Instance details Defined in Plutarch.Internal.Semigroup type PContravariant' (PXor a) = PContravariant' (DeriveNewtypePlutusType (PXor a))
type PCovariant' (PXor a) Source #
Instance details Defined in Plutarch.Internal.Semigroup type PCovariant' (PXor a) = PCovariant' (DeriveNewtypePlutusType (PXor a))
type PInner (PXor a) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup type PInner (PXor a) = PInner (DeriveNewtypePlutusType (PXor a))
type PVariant' (PXor a) Source #
Instance details Defined in Plutarch.Internal.Semigroup type PVariant' (PXor a) = PVariant' (DeriveNewtypePlutusType (PXor a))
type Rep (PXor a s) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup type Rep (PXor a s) = D1 ('MetaData "PXor" "Plutarch.Internal.Semigroup" "plutarch-1.10.1-L8uVCYsr0h87jxG2Nmhqfx" 'True) (C1 ('MetaCons "PXor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s a))))
type Code (PXor a s) Source #	Since: 1.10.0
Instance details Defined in Plutarch.Internal.Semigroup type Code (PXor a s) = GCode (PXor a s)