Safe Haskell	Safe-Inferred
Language	GHC2021

Plutarch.Internal.Eq

Documentation

class PEq t where Source #

Minimal complete definition

Nothing

Methods

(#==) :: Term s t -> Term s t -> Term s PBool infix 4 Source #

default (#==) :: (PGeneric t, PlutusType t, All2 PEq (PCode t)) => Term s t -> Term s t -> Term s PBool Source #

Instances

Instances details

PEq PBitString Source #	@since WIP
Instance details Defined in Plutarch.BitString Methods (#==) :: forall (s :: S). Term s PBitString -> Term s PBitString -> Term s PBool Source #
PEq PBuiltinBLS12_381_G1_Element Source #
Instance details Defined in Plutarch.Internal.Eq Methods (#==) :: forall (s :: S). Term s PBuiltinBLS12_381_G1_Element -> Term s PBuiltinBLS12_381_G1_Element -> Term s PBool Source #
PEq PBuiltinBLS12_381_G2_Element Source #
Instance details Defined in Plutarch.Internal.Eq Methods (#==) :: forall (s :: S). Term s PBuiltinBLS12_381_G2_Element -> Term s PBuiltinBLS12_381_G2_Element -> Term s PBool Source #
PEq PBool Source #
Instance details Defined in Plutarch.Internal.Eq Methods (#==) :: forall (s :: S). Term s PBool -> Term s PBool -> Term s PBool Source #
PEq PByte Source #	@since WIP
Instance details Defined in Plutarch.Internal.Eq Methods (#==) :: forall (s :: S). Term s PByte -> Term s PByte -> Term s PBool Source #
PEq PByteString Source #
Instance details Defined in Plutarch.Internal.Eq Methods (#==) :: forall (s :: S). Term s PByteString -> Term s PByteString -> Term s PBool Source #
PEq PEndianness Source #	@since WIP
Instance details Defined in Plutarch.Internal.Eq Methods (#==) :: forall (s :: S). Term s PEndianness -> Term s PEndianness -> Term s PBool Source #
PEq PLogicOpSemantics Source #
Instance details Defined in Plutarch.Internal.Eq Methods (#==) :: forall (s :: S). Term s PLogicOpSemantics -> Term s PLogicOpSemantics -> Term s PBool Source #
PEq PData Source #
Instance details Defined in Plutarch.Internal.Eq Methods (#==) :: forall (s :: S). Term s PData -> Term s PData -> Term s PBool Source #
PEq PInteger Source #	@since WIP
Instance details Defined in Plutarch.Internal.Eq Methods (#==) :: forall (s :: S). Term s PInteger -> Term s PInteger -> Term s PBool Source #
PEq PString Source #
Instance details Defined in Plutarch.Internal.Eq Methods (#==) :: forall (s :: S). Term s PString -> Term s PString -> Term s PBool Source #
PEq PUnit Source #
Instance details Defined in Plutarch.Internal.Eq Methods (#==) :: forall (s :: S). Term s PUnit -> Term s PUnit -> Term s PBool Source #
PEq PPositive Source #	@since WIP
Instance details Defined in Plutarch.Internal.Numeric Methods (#==) :: forall (s :: S). Term s PPositive -> Term s PPositive -> Term s PBool Source #
PEq PRational Source #
Instance details Defined in Plutarch.Rational Methods (#==) :: forall (s :: S). Term s PRational -> Term s PRational -> Term s PBool Source #
PEq (PDataNewtype a) Source #	Since: 1.7.0
Instance details Defined in Plutarch.Builtin Methods (#==) :: forall (s :: S). Term s (PDataNewtype a) -> Term s (PDataNewtype a) -> Term s PBool Source #
PEq (PAsData a) Source #
Instance details Defined in Plutarch.Internal.Eq Methods (#==) :: forall (s :: S). Term s (PAsData a) -> Term s (PAsData a) -> Term s PBool Source #
Fc (F a) a => PEq (PBuiltinList a) Source #
Instance details Defined in Plutarch.Internal.Eq Methods (#==) :: forall (s :: S). Term s (PBuiltinList a) -> Term s (PBuiltinList a) -> Term s PBool Source #
PEq (PDataRecord xs) Source #	This uses data equality. `PEq` instances of elements don't make any difference.
Instance details Defined in Plutarch.DataRepr.Internal Methods (#==) :: forall (s :: S). Term s (PDataRecord xs) -> Term s (PDataRecord xs) -> Term s PBool Source #
PEq (PDataSum defs) Source #
Instance details Defined in Plutarch.DataRepr.Internal Methods (#==) :: forall (s :: S). Term s (PDataSum defs) -> Term s (PDataSum defs) -> Term s PBool Source #
PEq a => PEq (PList a) Source #
Instance details Defined in Plutarch.List Methods (#==) :: forall (s :: S). Term s (PList a) -> Term s (PList a) -> Term s PBool Source #
PEq a => PEq (PMaybe a) Source #
Instance details Defined in Plutarch.Maybe Methods (#==) :: forall (s :: S). Term s (PMaybe a) -> Term s (PMaybe a) -> Term s PBool Source #
PEq a => PEq (PMaybeSoP a) Source #
Instance details Defined in Plutarch.Maybe Methods (#==) :: forall (s :: S). Term s (PMaybeSoP a) -> Term s (PMaybeSoP a) -> Term s PBool Source #
PEq (PDataRec struct) Source #	@since WIP
Instance details Defined in Plutarch.Repr.Data Methods (#==) :: forall (s :: S). Term s (PDataRec struct) -> Term s (PDataRec struct) -> Term s PBool Source #
PEq (PDataStruct struct) Source #	@since WIP
Instance details Defined in Plutarch.Repr.Data Methods (#==) :: forall (s :: S). Term s (PDataStruct struct) -> Term s (PDataStruct struct) -> Term s PBool Source #
All PEq struct => PEq (PSOPRec struct) Source #	@since WIP
Instance details Defined in Plutarch.Repr.SOP Methods (#==) :: forall (s :: S). Term s (PSOPRec struct) -> Term s (PSOPRec struct) -> Term s PBool Source #
(PlutusType (PSOPStruct struct), All2 PEq struct) => PEq (PSOPStruct struct) Source #
Instance details Defined in Plutarch.Repr.SOP Methods (#==) :: forall (s :: S). Term s (PSOPStruct struct) -> Term s (PSOPStruct struct) -> Term s PBool Source #
All PEq struct => PEq (PScottRec struct) Source #	@since WIP
Instance details Defined in Plutarch.Repr.Scott Methods (#==) :: forall (s :: S). Term s (PScottRec struct) -> Term s (PScottRec struct) -> Term s PBool Source #
(PlutusType (PScottStruct struct), SListI2 struct, All2 PEq struct) => PEq (PScottStruct struct) Source #	@since WIP
Instance details Defined in Plutarch.Repr.Scott Methods (#==) :: forall (s :: S). Term s (PScottStruct struct) -> Term s (PScottStruct struct) -> Term s PBool Source #
(PEq a, PEq b) => PEq (PBuiltinPair a b) Source #
Instance details Defined in Plutarch.Internal.Eq Methods (#==) :: forall (s :: S). Term s (PBuiltinPair a b) -> Term s (PBuiltinPair a b) -> Term s PBool Source #
(PEq a, PEq b) => PEq (PEither a b) Source #
Instance details Defined in Plutarch.Either Methods (#==) :: forall (s :: S). Term s (PEither a b) -> Term s (PEither a b) -> Term s PBool Source #
PEq (PEitherData a b) Source #	@since WIP
Instance details Defined in Plutarch.Either Methods (#==) :: forall (s :: S). Term s (PEitherData a b) -> Term s (PEitherData a b) -> Term s PBool Source #
(PEq a, PEq b) => PEq (PPair a b) Source #
Instance details Defined in Plutarch.Pair Methods (#==) :: forall (s :: S). Term s (PPair a b) -> Term s (PPair a b) -> Term s PBool Source #