Safe Haskell	None
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), KnownBuiltinType (Term DeBruijn DefaultUni DefaultFun ()) (PlutusRepr a)) => PLiftable (PAnd a) Source #

Instance details

Defined in Plutarch.Internal.Semigroup

Associated Types

type AsHaskell (PAnd a)	Since: plutarch-1.13.0
Instance details Defined in Plutarch.Internal.Semigroup type AsHaskell (PAnd a) = AsHaskell (DeriveNewtypePLiftable (PAnd a) (AsHaskell a))
type PlutusRepr (PAnd a)
Instance details Defined in Plutarch.Internal.Semigroup type PlutusRepr (PAnd a) = PlutusRepr (DeriveNewtypePLiftable (PAnd a) (AsHaskell a))

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)	Since: plutarch-1.10.0
Instance details Defined in Plutarch.Internal.Semigroup type PInner (PAnd a) = PInner (DeriveNewtypePlutusType (PAnd a))

Methods

pcon' :: forall (s :: S). PAnd a s -> Term s (PInner (PAnd a)) Source #

pmatch' :: forall (s :: S) (b :: S -> Type). 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)	Since: plutarch-1.10.0
Instance details Defined in Plutarch.Internal.Semigroup type Rep (PAnd a s) = D1 ('MetaData "PAnd" "Plutarch.Internal.Semigroup" "plutarch-1.14.0-6fw3gqGsL7f3TFINWPu1lG" 'True) (C1 ('MetaCons "PAnd" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s a))))

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)	Since: plutarch-1.10.0
Instance details Defined in Plutarch.Internal.Semigroup type Code (PAnd a s) = GCode (PAnd a s)

Methods

from :: PAnd a s -> Rep (PAnd a s)

to :: Rep (PAnd a s) -> PAnd a s

type AsHaskell (PAnd a) Source #

Since: 1.13.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 PInner (PAnd a) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.Semigroup

type PInner (PAnd a) = PInner (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.14.0-6fw3gqGsL7f3TFINWPu1lG" '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), KnownBuiltinType (Term DeBruijn DefaultUni DefaultFun ()) (PlutusRepr a)) => PLiftable (POr a) Source #

Instance details

Defined in Plutarch.Internal.Semigroup

Associated Types

type AsHaskell (POr a)	Since: plutarch-1.13.0
Instance details Defined in Plutarch.Internal.Semigroup type AsHaskell (POr a) = AsHaskell (DeriveNewtypePLiftable (POr a) (AsHaskell a))
type PlutusRepr (POr a)
Instance details Defined in Plutarch.Internal.Semigroup type PlutusRepr (POr a) = PlutusRepr (DeriveNewtypePLiftable (POr a) (AsHaskell a))

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)	Since: plutarch-1.10.0
Instance details Defined in Plutarch.Internal.Semigroup type PInner (POr a) = PInner (DeriveNewtypePlutusType (POr a))

Methods

pcon' :: forall (s :: S). POr a s -> Term s (PInner (POr a)) Source #

pmatch' :: forall (s :: S) (b :: S -> Type). 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)	Since: plutarch-1.10.0
Instance details Defined in Plutarch.Internal.Semigroup type Rep (POr a s) = D1 ('MetaData "POr" "Plutarch.Internal.Semigroup" "plutarch-1.14.0-6fw3gqGsL7f3TFINWPu1lG" 'True) (C1 ('MetaCons "POr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s a))))

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)	Since: plutarch-1.10.0
Instance details Defined in Plutarch.Internal.Semigroup type Code (POr a s) = GCode (POr a s)

Methods

from :: POr a s -> Rep (POr a s)

to :: Rep (POr a s) -> POr a s

type AsHaskell (POr a) Source #

Since: 1.13.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 PInner (POr a) Source #

Since: 1.10.0

Instance details

Defined in Plutarch.Internal.Semigroup

type PInner (POr a) = PInner (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.14.0-6fw3gqGsL7f3TFINWPu1lG" '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), KnownBuiltinType (Term DeBruijn DefaultUni DefaultFun ()) (PlutusRepr a)) => PLiftable (PXor a) Source #

Instance details

Defined in Plutarch.Internal.Semigroup

Associated Types

type AsHaskell (PXor a)	Since: plutarch-1.13.0
Instance details Defined in Plutarch.Internal.Semigroup type AsHaskell (PXor a) = AsHaskell (DeriveNewtypePLiftable (PXor a) (AsHaskell a))
type PlutusRepr (PXor a)
Instance details Defined in Plutarch.Internal.Semigroup type PlutusRepr (PXor a) = PlutusRepr (DeriveNewtypePLiftable (PXor a) (AsHaskell a))

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)	Since: plutarch-1.10.0
Instance details Defined in Plutarch.Internal.Semigroup type PInner (PXor a) = PInner (DeriveNewtypePlutusType (PXor a))

Methods

pcon' :: forall (s :: S). PXor a s -> Term s (PInner (PXor a)) Source #

pmatch' :: forall (s :: S) (b :: S -> Type). 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)	Since: plutarch-1.10.0
Instance details Defined in Plutarch.Internal.Semigroup type Rep (PXor a s) = D1 ('MetaData "PXor" "Plutarch.Internal.Semigroup" "plutarch-1.14.0-6fw3gqGsL7f3TFINWPu1lG" 'True) (C1 ('MetaCons "PXor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Term s a))))