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 PBuiltinBLS12_381_G1_Element Source #	Since: 1.9.0
Instance details Defined in Plutarch.BLS 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 #	Since: 1.9.0
Instance details Defined in Plutarch.BLS Methods (#==) :: forall (s :: S). Term s PBuiltinBLS12_381_G2_Element -> Term s PBuiltinBLS12_381_G2_Element -> Term s PBool Source #
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 PData Source #
Instance details Defined in Plutarch.Builtin Methods (#==) :: forall (s :: S). Term s PData -> Term s PData -> 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.ByteString Methods (#==) :: forall (s :: S). Term s PByte -> Term s PByte -> Term s PBool Source #
PEq PByteString Source #
Instance details Defined in Plutarch.ByteString Methods (#==) :: forall (s :: S). Term s PByteString -> Term s PByteString -> Term s PBool Source #
PEq PLogicOpSemantics Source #	@since WIP
Instance details Defined in Plutarch.ByteString Methods (#==) :: forall (s :: S). Term s PLogicOpSemantics -> Term s PLogicOpSemantics -> Term s PBool Source #
PEq PEndianness Source #	@since WIP
Instance details Defined in Plutarch.Convert Methods (#==) :: forall (s :: S). Term s PEndianness -> Term s PEndianness -> Term s PBool Source #
PEq PInteger Source #
Instance details Defined in Plutarch.Integer Methods (#==) :: forall (s :: S). Term s PInteger -> Term s PInteger -> Term s PBool Source #
PEq PPositive Source #
Instance details Defined in Plutarch.Positive 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 PString Source #
Instance details Defined in Plutarch.String Methods (#==) :: forall (s :: S). Term s PString -> Term s PString -> Term s PBool Source #
PEq (PAsData a) Source #
Instance details Defined in Plutarch.Builtin 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.Builtin Methods (#==) :: forall (s :: S). Term s (PBuiltinList a) -> Term s (PBuiltinList a) -> 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 (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 (PTxList a) Source #
Instance details Defined in Plutarch.FFI Methods (#==) :: forall (s :: S). Term s (PTxList a) -> Term s (PTxList a) -> Term s PBool Source #
PEq a => PEq (PTxMaybe a) Source #
Instance details Defined in Plutarch.FFI Methods (#==) :: forall (s :: S). Term s (PTxMaybe a) -> Term s (PTxMaybe a) -> 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 (PUnit :: S -> Type) Source #
Instance details Defined in Plutarch.Unit Methods (#==) :: forall (s :: S). Term s PUnit -> Term s PUnit -> Term s PBool Source #
(PEq a, PEq b) => PEq (PBuiltinPair a b) Source #
Instance details Defined in Plutarch.Builtin 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 #