Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
MAlonzo.Code.Builtin
Documentation
builtinResultToMaybe ∷ BuiltinResult a → Maybe a Source #
d_Builtin_2 ∷ () Source #
type T_Builtin_2 = DefaultFun Source #
pattern C_addInteger_4 ∷ DefaultFun Source #
pattern C_subtractInteger_6 ∷ DefaultFun Source #
pattern C_multiplyInteger_8 ∷ DefaultFun Source #
pattern C_divideInteger_10 ∷ DefaultFun Source #
pattern C_quotientInteger_12 ∷ DefaultFun Source #
pattern C_remainderInteger_14 ∷ DefaultFun Source #
pattern C_modInteger_16 ∷ DefaultFun Source #
pattern C_equalsInteger_18 ∷ DefaultFun Source #
pattern C_lessThanInteger_20 ∷ DefaultFun Source #
pattern C_lessThanEqualsInteger_22 ∷ DefaultFun Source #
pattern C_appendByteString_24 ∷ DefaultFun Source #
pattern C_consByteString_26 ∷ DefaultFun Source #
pattern C_sliceByteString_28 ∷ DefaultFun Source #
pattern C_lengthOfByteString_30 ∷ DefaultFun Source #
pattern C_indexByteString_32 ∷ DefaultFun Source #
pattern C_equalsByteString_34 ∷ DefaultFun Source #
pattern C_lessThanByteString_36 ∷ DefaultFun Source #
pattern C_lessThanEqualsByteString_38 ∷ DefaultFun Source #
pattern C_sha2'45'256_40 ∷ DefaultFun Source #
pattern C_sha3'45'256_42 ∷ DefaultFun Source #
pattern C_blake2b'45'256_44 ∷ DefaultFun Source #
pattern C_verifyEd25519Signature_46 ∷ DefaultFun Source #
pattern C_verifyEcdsaSecp256k1Signature_48 ∷ DefaultFun Source #
pattern C_appendString_52 ∷ DefaultFun Source #
pattern C_equalsString_54 ∷ DefaultFun Source #
pattern C_encodeUtf8_56 ∷ DefaultFun Source #
pattern C_decodeUtf8_58 ∷ DefaultFun Source #
pattern C_ifThenElse_60 ∷ DefaultFun Source #
pattern C_chooseUnit_62 ∷ DefaultFun Source #
pattern C_trace_64 ∷ DefaultFun Source #
pattern C_fstPair_66 ∷ DefaultFun Source #
pattern C_sndPair_68 ∷ DefaultFun Source #
pattern C_chooseList_70 ∷ DefaultFun Source #
pattern C_mkCons_72 ∷ DefaultFun Source #
pattern C_headList_74 ∷ DefaultFun Source #
pattern C_tailList_76 ∷ DefaultFun Source #
pattern C_nullList_78 ∷ DefaultFun Source #
pattern C_chooseData_80 ∷ DefaultFun Source #
pattern C_constrData_82 ∷ DefaultFun Source #
pattern C_mapData_84 ∷ DefaultFun Source #
pattern C_listData_86 ∷ DefaultFun Source #
pattern C_iData_88 ∷ DefaultFun Source #
pattern C_bData_90 ∷ DefaultFun Source #
pattern C_unConstrData_92 ∷ DefaultFun Source #
pattern C_unMapData_94 ∷ DefaultFun Source #
pattern C_unListData_96 ∷ DefaultFun Source #
pattern C_unIData_98 ∷ DefaultFun Source #
pattern C_unBData_100 ∷ DefaultFun Source #
pattern C_equalsData_102 ∷ DefaultFun Source #
pattern C_serialiseData_104 ∷ DefaultFun Source #
pattern C_mkPairData_106 ∷ DefaultFun Source #
pattern C_mkNilData_108 ∷ DefaultFun Source #
pattern C_mkNilPairData_110 ∷ DefaultFun Source #
pattern C_bls12'45'381'45'G1'45'add_112 ∷ DefaultFun Source #
pattern C_bls12'45'381'45'G1'45'neg_114 ∷ DefaultFun Source #
pattern C_bls12'45'381'45'G1'45'equal_118 ∷ DefaultFun Source #
pattern C_bls12'45'381'45'G2'45'add_126 ∷ DefaultFun Source #
pattern C_bls12'45'381'45'G2'45'neg_128 ∷ DefaultFun Source #
pattern C_bls12'45'381'45'G2'45'equal_132 ∷ DefaultFun Source #
pattern C_bls12'45'381'45'millerLoop_140 ∷ DefaultFun Source #
pattern C_bls12'45'381'45'mulMlResult_142 ∷ DefaultFun Source #
pattern C_bls12'45'381'45'finalVerify_144 ∷ DefaultFun Source #
pattern C_keccak'45'256_146 ∷ DefaultFun Source #
pattern C_blake2b'45'224_148 ∷ DefaultFun Source #
pattern C_byteStringToInteger_150 ∷ DefaultFun Source #
pattern C_integerToByteString_152 ∷ DefaultFun Source #
pattern C_andByteString_154 ∷ DefaultFun Source #
pattern C_orByteString_156 ∷ DefaultFun Source #
pattern C_xorByteString_158 ∷ DefaultFun Source #
pattern C_complementByteString_160 ∷ DefaultFun Source #
pattern C_readBit_162 ∷ DefaultFun Source #
pattern C_writeBits_164 ∷ DefaultFun Source #
pattern C_replicateByte_166 ∷ DefaultFun Source #
pattern C_shiftByteString_168 ∷ DefaultFun Source #
pattern C_rotateByteString_170 ∷ DefaultFun Source #
pattern C_countSetBits_172 ∷ DefaultFun Source #
pattern C_findFirstSetBit_174 ∷ DefaultFun Source #
pattern C_ripemd'45'160_176 ∷ DefaultFun Source #
pattern C_expModInteger_178 ∷ DefaultFun Source #
pattern C_dropList_180 ∷ DefaultFun Source #
cover_Builtin_2 ∷ DefaultFun → () Source #
d_pair_218 ∷ Integer → Integer → T__'8866''9839'_4 → T__'8866''9839'_4 → T__'47'_'8866''8902'_22 Source #
d_ArgSet_232 ∷ () Source #
d_ArgTy_240 ∷ T_Σ_14 → () Source #
d_TRACE_304 ∷ ∀ xa. () → T_String_6 → xa → xa Source #
d_verifyEd25519Sig_322 ∷ T_ByteString_356 → T_ByteString_356 → T_ByteString_356 → T_Maybe_10 () Bool Source #
d_verifyEcdsaSecp256k1Sig_324 ∷ T_ByteString_356 → T_ByteString_356 → T_ByteString_356 → T_Maybe_10 () Bool Source #
d_verifySchnorrSecp256k1Sig_326 ∷ T_ByteString_356 → T_ByteString_356 → T_ByteString_356 → T_Maybe_10 () Bool Source #
d_BLS12'45'381'45'G1'45'add_336 ∷ T_Bls12'45'381'45'G1'45'Element_492 → T_Bls12'45'381'45'G1'45'Element_492 → T_Bls12'45'381'45'G1'45'Element_492 Source #
d_BLS12'45'381'45'G1'45'neg_338 ∷ T_Bls12'45'381'45'G1'45'Element_492 → T_Bls12'45'381'45'G1'45'Element_492 Source #
d_BLS12'45'381'45'G1'45'scalarMul_340 ∷ Integer → T_Bls12'45'381'45'G1'45'Element_492 → T_Bls12'45'381'45'G1'45'Element_492 Source #
d_BLS12'45'381'45'G1'45'equal_342 ∷ T_Bls12'45'381'45'G1'45'Element_492 → T_Bls12'45'381'45'G1'45'Element_492 → Bool Source #
d_BLS12'45'381'45'G1'45'hashToGroup_344 ∷ T_ByteString_356 → T_ByteString_356 → T_Maybe_10 () T_Bls12'45'381'45'G1'45'Element_492 Source #
d_BLS12'45'381'45'G1'45'compress_346 ∷ T_Bls12'45'381'45'G1'45'Element_492 → T_ByteString_356 Source #
d_BLS12'45'381'45'G1'45'uncompress_348 ∷ T_ByteString_356 → T_Maybe_10 () T_Bls12'45'381'45'G1'45'Element_492 Source #
d_BLS12'45'381'45'G2'45'add_350 ∷ T_Bls12'45'381'45'G2'45'Element_496 → T_Bls12'45'381'45'G2'45'Element_496 → T_Bls12'45'381'45'G2'45'Element_496 Source #
d_BLS12'45'381'45'G2'45'neg_352 ∷ T_Bls12'45'381'45'G2'45'Element_496 → T_Bls12'45'381'45'G2'45'Element_496 Source #
d_BLS12'45'381'45'G2'45'scalarMul_354 ∷ Integer → T_Bls12'45'381'45'G2'45'Element_496 → T_Bls12'45'381'45'G2'45'Element_496 Source #
d_BLS12'45'381'45'G2'45'equal_356 ∷ T_Bls12'45'381'45'G2'45'Element_496 → T_Bls12'45'381'45'G2'45'Element_496 → Bool Source #
d_BLS12'45'381'45'G2'45'hashToGroup_358 ∷ T_ByteString_356 → T_ByteString_356 → T_Maybe_10 () T_Bls12'45'381'45'G2'45'Element_496 Source #
d_BLS12'45'381'45'G2'45'compress_360 ∷ T_Bls12'45'381'45'G2'45'Element_496 → T_ByteString_356 Source #
d_BLS12'45'381'45'G2'45'uncompress_362 ∷ T_ByteString_356 → T_Maybe_10 () T_Bls12'45'381'45'G2'45'Element_496 Source #
d_BLS12'45'381'45'millerLoop_364 ∷ T_Bls12'45'381'45'G1'45'Element_492 → T_Bls12'45'381'45'G2'45'Element_496 → T_Bls12'45'381'45'MlResult_500 Source #
d_BLS12'45'381'45'mulMlResult_366 ∷ T_Bls12'45'381'45'MlResult_500 → T_Bls12'45'381'45'MlResult_500 → T_Bls12'45'381'45'MlResult_500 Source #
d_BLS12'45'381'45'finalVerify_368 ∷ T_Bls12'45'381'45'MlResult_500 → T_Bls12'45'381'45'MlResult_500 → Bool Source #
d_ItoBS_376 ∷ Bool → Integer → Integer → T_Maybe_10 () T_ByteString_356 Source #
d_readBIT_386 ∷ T_ByteString_356 → Integer → T_Maybe_10 () Bool Source #
d_writeBITS_388 ∷ T_ByteString_356 → T_List_10 () Integer → Bool → T_Maybe_10 () T_ByteString_356 Source #
d_expModINTEGER_402 ∷ Integer → Integer → Integer → T_Maybe_10 () Integer Source #