plutus-core-1.36.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusCore.Crypto.BLS12_381.Pairing

Synopsis

Documentation

newtype MlResult Source #

This type represents the result of computing a pairing using the Miller loop. Values of this type are ephemeral, only created during script execution. We do not provide any means of serialising, deserialising, printing, or parsing MlResult values.

Constructors

MlResult 

Fields

Instances

Instances details
Show MlResult Source # 
Instance details

Defined in PlutusCore.Crypto.BLS12_381.Pairing

NFData MlResult Source # 
Instance details

Defined in PlutusCore.Crypto.BLS12_381.Pairing

Methods

rnfMlResult → () Source #

Flat MlResult Source # 
Instance details

Defined in PlutusCore.Crypto.BLS12_381.Pairing

Eq MlResult Source # 
Instance details

Defined in PlutusCore.Crypto.BLS12_381.Pairing

Hashable MlResult Source # 
Instance details

Defined in PlutusCore.Crypto.BLS12_381.Pairing

ExMemoryUsage MlResult Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemoryUsage

Pretty MlResult Source # 
Instance details

Defined in PlutusCore.Crypto.BLS12_381.Pairing

Methods

prettyMlResultDoc ann Source #

prettyList ∷ [MlResult] → Doc ann Source #

PrettyBy ConstConfig MlResult Source # 
Instance details

Defined in PlutusCore.Crypto.BLS12_381.Pairing

KnownBuiltinTypeIn DefaultUni term MlResultMakeKnownIn DefaultUni term MlResult Source # 
Instance details

Defined in PlutusCore.Default.Universe

KnownBuiltinTypeIn DefaultUni term MlResultReadKnownIn DefaultUni term MlResult Source # 
Instance details

Defined in PlutusCore.Default.Universe

Methods

readKnown ∷ term → ReadKnownM MlResult Source #

Contains DefaultUni MlResult Source # 
Instance details

Defined in PlutusCore.Default.Universe

KnownBuiltinTypeAst tyname DefaultUni MlResultKnownTypeAst tyname DefaultUni MlResult Source # 
Instance details

Defined in PlutusCore.Default.Universe

Methods

typeAstType tyname DefaultUni () Source #

type IsBuiltin DefaultUni MlResult Source # 
Instance details

Defined in PlutusCore.Default.Universe

type ToHoles DefaultUni MlResult Source # 
Instance details

Defined in PlutusCore.Default.Universe

type ToBinds DefaultUni acc MlResult Source # 
Instance details

Defined in PlutusCore.Default.Universe

mlResultMemSizeBytesInt Source #

Memory usage of an MlResult point (576 bytes)

identityMlResultMlResult Source #

For some of the tests we need a small element of the MlResult type. We can get the identity element by pairing the zero elements of G1 and G2.