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_verifySchnorrSecp256k1Signature_50 ∷ 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_lengthOfArray_80 ∷ DefaultFun Source #

pattern C_listToArray_82 ∷ DefaultFun Source #

pattern C_indexArray_84 ∷ DefaultFun Source #

pattern C_chooseData_86 ∷ DefaultFun Source #

pattern C_constrData_88 ∷ DefaultFun Source #

pattern C_mapData_90 ∷ DefaultFun Source #

pattern C_listData_92 ∷ DefaultFun Source #

pattern C_iData_94 ∷ DefaultFun Source #

pattern C_bData_96 ∷ DefaultFun Source #

pattern C_unConstrData_98 ∷ DefaultFun Source #

pattern C_unMapData_100 ∷ DefaultFun Source #

pattern C_unListData_102 ∷ DefaultFun Source #

pattern C_unIData_104 ∷ DefaultFun Source #

pattern C_unBData_106 ∷ DefaultFun Source #

pattern C_equalsData_108 ∷ DefaultFun Source #

pattern C_serialiseData_110 ∷ DefaultFun Source #

pattern C_insertCoin_112 ∷ DefaultFun Source #

pattern C_lookupCoin_114 ∷ DefaultFun Source #

pattern C_unionValue_116 ∷ DefaultFun Source #

pattern C_valueContains_118 ∷ DefaultFun Source #

pattern C_scaleValue_120 ∷ DefaultFun Source #

pattern C_valueData_122 ∷ DefaultFun Source #

pattern C_unValueData_124 ∷ DefaultFun Source #

pattern C_mkPairData_126 ∷ DefaultFun Source #

pattern C_mkNilData_128 ∷ DefaultFun Source #

pattern C_mkNilPairData_130 ∷ DefaultFun Source #

pattern C_bls12'45'381'45'G1'45'add_132 ∷ DefaultFun Source #

pattern C_bls12'45'381'45'G1'45'neg_134 ∷ DefaultFun Source #

pattern C_bls12'45'381'45'G1'45'scalarMul_136 ∷ DefaultFun Source #

pattern C_bls12'45'381'45'G1'45'equal_138 ∷ DefaultFun Source #

pattern C_bls12'45'381'45'G1'45'hashToGroup_140 ∷ DefaultFun Source #

pattern C_bls12'45'381'45'G1'45'compress_142 ∷ DefaultFun Source #

pattern C_bls12'45'381'45'G1'45'uncompress_144 ∷ DefaultFun Source #

pattern C_bls12'45'381'45'G2'45'add_146 ∷ DefaultFun Source #

pattern C_bls12'45'381'45'G2'45'neg_148 ∷ DefaultFun Source #

pattern C_bls12'45'381'45'G2'45'scalarMul_150 ∷ DefaultFun Source #

pattern C_bls12'45'381'45'G2'45'equal_152 ∷ DefaultFun Source #

pattern C_bls12'45'381'45'G2'45'hashToGroup_154 ∷ DefaultFun Source #

pattern C_bls12'45'381'45'G2'45'compress_156 ∷ DefaultFun Source #

pattern C_bls12'45'381'45'G2'45'uncompress_158 ∷ DefaultFun Source #

pattern C_bls12'45'381'45'millerLoop_160 ∷ DefaultFun Source #

pattern C_bls12'45'381'45'mulMlResult_162 ∷ DefaultFun Source #

pattern C_bls12'45'381'45'finalVerify_164 ∷ DefaultFun Source #

pattern C_keccak'45'256_166 ∷ DefaultFun Source #

pattern C_blake2b'45'224_168 ∷ DefaultFun Source #

pattern C_byteStringToInteger_170 ∷ DefaultFun Source #

pattern C_integerToByteString_172 ∷ DefaultFun Source #

pattern C_andByteString_174 ∷ DefaultFun Source #

pattern C_orByteString_176 ∷ DefaultFun Source #

pattern C_xorByteString_178 ∷ DefaultFun Source #

pattern C_complementByteString_180 ∷ DefaultFun Source #

pattern C_readBit_182 ∷ DefaultFun Source #

pattern C_writeBits_184 ∷ DefaultFun Source #

pattern C_replicateByte_186 ∷ DefaultFun Source #

pattern C_shiftByteString_188 ∷ DefaultFun Source #

pattern C_rotateByteString_190 ∷ DefaultFun Source #

pattern C_countSetBits_192 ∷ DefaultFun Source #

pattern C_findFirstSetBit_194 ∷ DefaultFun Source #

pattern C_ripemd'45'160_196 ∷ DefaultFun Source #

pattern C_expModInteger_198 ∷ DefaultFun Source #

pattern C_dropList_200 ∷ DefaultFun Source #

pattern C_bls12'45'381'45'G1'45'multiScalarMul_202 ∷ DefaultFun Source #

pattern C_bls12'45'381'45'G2'45'multiScalarMul_204 ∷ DefaultFun Source #

pattern C_multiIndexArray_206 ∷ DefaultFun Source #

pattern C_policies_208 ∷ DefaultFun Source #

pattern C_assetCount_210 ∷ DefaultFun Source #

pattern C_keepPolicies_212 ∷ DefaultFun Source #

pattern C_dropPolicies_214 ∷ DefaultFun Source #

check_addInteger_4 ∷ T_Builtin_2 Source #

check_subtractInteger_6 ∷ T_Builtin_2 Source #

check_multiplyInteger_8 ∷ T_Builtin_2 Source #

check_divideInteger_10 ∷ T_Builtin_2 Source #

check_quotientInteger_12 ∷ T_Builtin_2 Source #

check_remainderInteger_14 ∷ T_Builtin_2 Source #

check_modInteger_16 ∷ T_Builtin_2 Source #

check_equalsInteger_18 ∷ T_Builtin_2 Source #

check_lessThanInteger_20 ∷ T_Builtin_2 Source #

check_lessThanEqualsInteger_22 ∷ T_Builtin_2 Source #

check_appendByteString_24 ∷ T_Builtin_2 Source #

check_consByteString_26 ∷ T_Builtin_2 Source #

check_sliceByteString_28 ∷ T_Builtin_2 Source #

check_lengthOfByteString_30 ∷ T_Builtin_2 Source #

check_indexByteString_32 ∷ T_Builtin_2 Source #

check_equalsByteString_34 ∷ T_Builtin_2 Source #

check_lessThanByteString_36 ∷ T_Builtin_2 Source #

check_lessThanEqualsByteString_38 ∷ T_Builtin_2 Source #

check_sha2'45'256_40 ∷ T_Builtin_2 Source #

check_sha3'45'256_42 ∷ T_Builtin_2 Source #

check_blake2b'45'256_44 ∷ T_Builtin_2 Source #

check_verifyEd25519Signature_46 ∷ T_Builtin_2 Source #

check_verifyEcdsaSecp256k1Signature_48 ∷ T_Builtin_2 Source #

check_verifySchnorrSecp256k1Signature_50 ∷ T_Builtin_2 Source #

check_appendString_52 ∷ T_Builtin_2 Source #

check_equalsString_54 ∷ T_Builtin_2 Source #

check_encodeUtf8_56 ∷ T_Builtin_2 Source #

check_decodeUtf8_58 ∷ T_Builtin_2 Source #

check_ifThenElse_60 ∷ T_Builtin_2 Source #

check_chooseUnit_62 ∷ T_Builtin_2 Source #

check_trace_64 ∷ T_Builtin_2 Source #

check_fstPair_66 ∷ T_Builtin_2 Source #

check_sndPair_68 ∷ T_Builtin_2 Source #

check_chooseList_70 ∷ T_Builtin_2 Source #

check_mkCons_72 ∷ T_Builtin_2 Source #

check_headList_74 ∷ T_Builtin_2 Source #

check_tailList_76 ∷ T_Builtin_2 Source #

check_nullList_78 ∷ T_Builtin_2 Source #

check_lengthOfArray_80 ∷ T_Builtin_2 Source #

check_listToArray_82 ∷ T_Builtin_2 Source #

check_indexArray_84 ∷ T_Builtin_2 Source #

check_chooseData_86 ∷ T_Builtin_2 Source #

check_constrData_88 ∷ T_Builtin_2 Source #

check_mapData_90 ∷ T_Builtin_2 Source #

check_listData_92 ∷ T_Builtin_2 Source #

check_iData_94 ∷ T_Builtin_2 Source #

check_bData_96 ∷ T_Builtin_2 Source #

check_unConstrData_98 ∷ T_Builtin_2 Source #

check_unMapData_100 ∷ T_Builtin_2 Source #

check_unListData_102 ∷ T_Builtin_2 Source #

check_unIData_104 ∷ T_Builtin_2 Source #

check_unBData_106 ∷ T_Builtin_2 Source #

check_equalsData_108 ∷ T_Builtin_2 Source #

check_serialiseData_110 ∷ T_Builtin_2 Source #

check_insertCoin_112 ∷ T_Builtin_2 Source #

check_lookupCoin_114 ∷ T_Builtin_2 Source #

check_unionValue_116 ∷ T_Builtin_2 Source #

check_valueContains_118 ∷ T_Builtin_2 Source #

check_scaleValue_120 ∷ T_Builtin_2 Source #

check_valueData_122 ∷ T_Builtin_2 Source #

check_unValueData_124 ∷ T_Builtin_2 Source #

check_mkPairData_126 ∷ T_Builtin_2 Source #

check_mkNilData_128 ∷ T_Builtin_2 Source #

check_mkNilPairData_130 ∷ T_Builtin_2 Source #

check_bls12'45'381'45'G1'45'add_132 ∷ T_Builtin_2 Source #

check_bls12'45'381'45'G1'45'neg_134 ∷ T_Builtin_2 Source #

check_bls12'45'381'45'G1'45'scalarMul_136 ∷ T_Builtin_2 Source #

check_bls12'45'381'45'G1'45'equal_138 ∷ T_Builtin_2 Source #

check_bls12'45'381'45'G1'45'hashToGroup_140 ∷ T_Builtin_2 Source #

check_bls12'45'381'45'G1'45'compress_142 ∷ T_Builtin_2 Source #

check_bls12'45'381'45'G1'45'uncompress_144 ∷ T_Builtin_2 Source #

check_bls12'45'381'45'G2'45'add_146 ∷ T_Builtin_2 Source #

check_bls12'45'381'45'G2'45'neg_148 ∷ T_Builtin_2 Source #

check_bls12'45'381'45'G2'45'scalarMul_150 ∷ T_Builtin_2 Source #

check_bls12'45'381'45'G2'45'equal_152 ∷ T_Builtin_2 Source #

check_bls12'45'381'45'G2'45'hashToGroup_154 ∷ T_Builtin_2 Source #

check_bls12'45'381'45'G2'45'compress_156 ∷ T_Builtin_2 Source #

check_bls12'45'381'45'G2'45'uncompress_158 ∷ T_Builtin_2 Source #

check_bls12'45'381'45'millerLoop_160 ∷ T_Builtin_2 Source #

check_bls12'45'381'45'mulMlResult_162 ∷ T_Builtin_2 Source #

check_bls12'45'381'45'finalVerify_164 ∷ T_Builtin_2 Source #

check_keccak'45'256_166 ∷ T_Builtin_2 Source #

check_blake2b'45'224_168 ∷ T_Builtin_2 Source #

check_byteStringToInteger_170 ∷ T_Builtin_2 Source #

check_integerToByteString_172 ∷ T_Builtin_2 Source #

check_andByteString_174 ∷ T_Builtin_2 Source #

check_orByteString_176 ∷ T_Builtin_2 Source #

check_xorByteString_178 ∷ T_Builtin_2 Source #

check_complementByteString_180 ∷ T_Builtin_2 Source #

check_readBit_182 ∷ T_Builtin_2 Source #

check_writeBits_184 ∷ T_Builtin_2 Source #

check_replicateByte_186 ∷ T_Builtin_2 Source #

check_shiftByteString_188 ∷ T_Builtin_2 Source #

check_rotateByteString_190 ∷ T_Builtin_2 Source #

check_countSetBits_192 ∷ T_Builtin_2 Source #

check_findFirstSetBit_194 ∷ T_Builtin_2 Source #

check_ripemd'45'160_196 ∷ T_Builtin_2 Source #

check_expModInteger_198 ∷ T_Builtin_2 Source #

check_dropList_200 ∷ T_Builtin_2 Source #

check_bls12'45'381'45'G1'45'multiScalarMul_202 ∷ T_Builtin_2 Source #

check_bls12'45'381'45'G2'45'multiScalarMul_204 ∷ T_Builtin_2 Source #

check_multiIndexArray_206 ∷ T_Builtin_2 Source #

check_policies_208 ∷ T_Builtin_2 Source #

check_assetCount_210 ∷ T_Builtin_2 Source #

check_keepPolicies_212 ∷ T_Builtin_2 Source #

check_dropPolicies_214 ∷ T_Builtin_2 Source #

cover_Builtin_2 ∷ DefaultFun → () Source #

d_'8729'_218 ∷ T_Σ_14 Source #

d_'8704'a_220 ∷ T_Σ_14 Source #

d_'8704'b'44'a_222 ∷ T_Σ_14 Source #

d_'8704'A_224 ∷ T_Σ_14 Source #

d_'8704'A'44'a_226 ∷ T_Σ_14 Source #

d_A_232 ∷ Integer → Integer → T__'47'_'8866''8902'_26 Source #

du_A_232 ∷ T__'47'_'8866''8902'_26 Source #

d_a_242 ∷ Integer → T__'8866''9839'_4 Source #

du_a_242 ∷ T__'8866''9839'_4 Source #

d_b_246 ∷ Integer → T__'8866''9839'_4 Source #

du_b_246 ∷ T__'8866''9839'_4 Source #

d_pair_252 ∷ Integer → Integer → T__'8866''9839'_4 → T__'8866''9839'_4 → T__'47'_'8866''8902'_26 Source #

du_pair_252 ∷ T__'8866''9839'_4 → T__'8866''9839'_4 → T__'47'_'8866''8902'_26 Source #

d_list_262 ∷ Integer → Integer → T__'8866''9839'_4 → T__'47'_'8866''8902'_26 Source #

du_list_262 ∷ T__'8866''9839'_4 → T__'47'_'8866''8902'_26 Source #

d_array_270 ∷ Integer → Integer → T__'8866''9839'_4 → T__'47'_'8866''8902'_26 Source #

du_array_270 ∷ T__'8866''9839'_4 → T__'47'_'8866''8902'_26 Source #

d_ArgSet_274 ∷ () Source #

d_ArgTy_282 ∷ T_Σ_14 → () Source #

d__'91'__290 ∷ T_Σ_14 → T__'47'_'8866''8902'_26 → T_Σ_14 Source #

d__'44'__300 ∷ T_Σ_14 → T__'47'_'8866''8902'_26 → T_Σ_14 Source #

d__'93''10230'__312 ∷ T_Σ_14 → T__'47'_'8866''8902'_26 → T_Sig_74 Source #

d_signature_322 ∷ T_Builtin_2 → T_Sig_74 Source #

d_arity'8320'_324 ∷ T_Builtin_2 → Integer Source #

d_arity_328 ∷ T_Builtin_2 → Integer Source #

d_lengthBS_332 ∷ T_ByteString_426 → Integer Source #

d_index_334 ∷ T_ByteString_426 → Integer → Integer Source #

d_concat_336 ∷ T_ByteString_426 → T_ByteString_426 → T_ByteString_426 Source #

d_cons_338 ∷ Integer → T_ByteString_426 → T_Maybe_10 () T_ByteString_426 Source #

d_slice_340 ∷ Integer → Integer → T_ByteString_426 → T_ByteString_426 Source #

d_B'60'_342 ∷ T_ByteString_426 → T_ByteString_426 → Bool Source #

d_B'60''61'_344 ∷ T_ByteString_426 → T_ByteString_426 → Bool Source #

d_SHA2'45'256_346 ∷ T_ByteString_426 → T_ByteString_426 Source #

d_SHA3'45'256_348 ∷ T_ByteString_426 → T_ByteString_426 Source #

d_BLAKE2B'45'256_350 ∷ T_ByteString_426 → T_ByteString_426 Source #

d_verifyEd25519Sig_352 ∷ T_ByteString_426 → T_ByteString_426 → T_ByteString_426 → T_Maybe_10 () Bool Source #

d_verifyEcdsaSecp256k1Sig_354 ∷ T_ByteString_426 → T_ByteString_426 → T_ByteString_426 → T_Maybe_10 () Bool Source #

d_verifySchnorrSecp256k1Sig_356 ∷ T_ByteString_426 → T_ByteString_426 → T_ByteString_426 → T_Maybe_10 () Bool Source #

d_equals_358 ∷ T_ByteString_426 → T_ByteString_426 → Bool Source #

d_ENCODEUTF8_360 ∷ T_String_6 → T_ByteString_426 Source #

d_DECODEUTF8_362 ∷ T_ByteString_426 → T_Maybe_10 () T_String_6 Source #

d_serialiseDATA_364 ∷ T_DATA_608 → T_ByteString_426 Source #

d_insertCOIN_366 ∷ T_ByteString_426 → T_ByteString_426 → Integer → T_Value_766 → T_Maybe_10 () T_Value_766 Source #

d_lookupCOIN_368 ∷ T_ByteString_426 → T_ByteString_426 → T_Value_766 → Integer Source #

d_unionVALUE_370 ∷ T_Value_766 → T_Value_766 → T_Maybe_10 () T_Value_766 Source #

d_valueCONTAINS_372 ∷ T_Value_766 → T_Value_766 → T_Maybe_10 () Bool Source #

d_scaleVALUE_374 ∷ Integer → T_Value_766 → T_Maybe_10 () T_Value_766 Source #

d_valueDATA_376 ∷ T_Value_766 → T_Maybe_10 () T_DATA_608 Source #

d_unValueDATA_378 ∷ T_DATA_608 → T_Maybe_10 () T_Value_766 Source #

d_BLS12'45'381'45'G1'45'add_380 ∷ T_Bls12'45'381'45'G1'45'Element_754 → T_Bls12'45'381'45'G1'45'Element_754 → T_Bls12'45'381'45'G1'45'Element_754 Source #

d_BLS12'45'381'45'G1'45'neg_382 ∷ T_Bls12'45'381'45'G1'45'Element_754 → T_Bls12'45'381'45'G1'45'Element_754 Source #

d_BLS12'45'381'45'G1'45'scalarMul_384 ∷ Integer → T_Bls12'45'381'45'G1'45'Element_754 → T_Bls12'45'381'45'G1'45'Element_754 Source #

d_BLS12'45'381'45'G1'45'equal_386 ∷ T_Bls12'45'381'45'G1'45'Element_754 → T_Bls12'45'381'45'G1'45'Element_754 → Bool Source #

d_BLS12'45'381'45'G1'45'hashToGroup_388 ∷ T_ByteString_426 → T_ByteString_426 → T_Maybe_10 () T_Bls12'45'381'45'G1'45'Element_754 Source #

d_BLS12'45'381'45'G1'45'compress_390 ∷ T_Bls12'45'381'45'G1'45'Element_754 → T_ByteString_426 Source #

d_BLS12'45'381'45'G1'45'uncompress_392 ∷ T_ByteString_426 → T_Maybe_10 () T_Bls12'45'381'45'G1'45'Element_754 Source #

d_BLS12'45'381'45'G2'45'add_394 ∷ T_Bls12'45'381'45'G2'45'Element_758 → T_Bls12'45'381'45'G2'45'Element_758 → T_Bls12'45'381'45'G2'45'Element_758 Source #

d_BLS12'45'381'45'G2'45'neg_396 ∷ T_Bls12'45'381'45'G2'45'Element_758 → T_Bls12'45'381'45'G2'45'Element_758 Source #

d_BLS12'45'381'45'G2'45'scalarMul_398 ∷ Integer → T_Bls12'45'381'45'G2'45'Element_758 → T_Bls12'45'381'45'G2'45'Element_758 Source #

d_BLS12'45'381'45'G2'45'equal_400 ∷ T_Bls12'45'381'45'G2'45'Element_758 → T_Bls12'45'381'45'G2'45'Element_758 → Bool Source #

d_BLS12'45'381'45'G2'45'hashToGroup_402 ∷ T_ByteString_426 → T_ByteString_426 → T_Maybe_10 () T_Bls12'45'381'45'G2'45'Element_758 Source #

d_BLS12'45'381'45'G2'45'compress_404 ∷ T_Bls12'45'381'45'G2'45'Element_758 → T_ByteString_426 Source #

d_BLS12'45'381'45'G2'45'uncompress_406 ∷ T_ByteString_426 → T_Maybe_10 () T_Bls12'45'381'45'G2'45'Element_758 Source #

d_BLS12'45'381'45'millerLoop_408 ∷ T_Bls12'45'381'45'G1'45'Element_754 → T_Bls12'45'381'45'G2'45'Element_758 → T_Bls12'45'381'45'MlResult_762 Source #

d_BLS12'45'381'45'mulMlResult_410 ∷ T_Bls12'45'381'45'MlResult_762 → T_Bls12'45'381'45'MlResult_762 → T_Bls12'45'381'45'MlResult_762 Source #

d_BLS12'45'381'45'finalVerify_412 ∷ T_Bls12'45'381'45'MlResult_762 → T_Bls12'45'381'45'MlResult_762 → Bool Source #

d_KECCAK'45'256_414 ∷ T_ByteString_426 → T_ByteString_426 Source #

d_BLAKE2B'45'224_416 ∷ T_ByteString_426 → T_ByteString_426 Source #

d_BStoI_418 ∷ Bool → T_ByteString_426 → Integer Source #

d_ItoBS_420 ∷ Bool → Integer → Integer → T_Maybe_10 () T_ByteString_426 Source #

d_andBYTESTRING_422 ∷ Bool → T_ByteString_426 → T_ByteString_426 → T_ByteString_426 Source #

d_orBYTESTRING_424 ∷ Bool → T_ByteString_426 → T_ByteString_426 → T_ByteString_426 Source #

d_xorBYTESTRING_426 ∷ Bool → T_ByteString_426 → T_ByteString_426 → T_ByteString_426 Source #

d_complementBYTESTRING_428 ∷ T_ByteString_426 → T_ByteString_426 Source #

d_readBIT_430 ∷ T_ByteString_426 → Integer → T_Maybe_10 () Bool Source #

d_writeBITS_432 ∷ T_ByteString_426 → T_List_10 () Integer → Bool → T_Maybe_10 () T_ByteString_426 Source #

d_replicateBYTE_434 ∷ Integer → Integer → T_Maybe_10 () T_ByteString_426 Source #

d_shiftBYTESTRING_436 ∷ T_ByteString_426 → Integer → T_Maybe_10 () T_ByteString_426 Source #

d_rotateBYTESTRING_438 ∷ T_ByteString_426 → Integer → T_Maybe_10 () T_ByteString_426 Source #

d_countSetBITS_440 ∷ T_ByteString_426 → Integer Source #

d_findFirstSetBIT_442 ∷ T_ByteString_426 → Integer Source #

d_RIPEMD'45'160_444 ∷ T_ByteString_426 → T_ByteString_426 Source #

d_expModINTEGER_446 ∷ Integer → Integer → Integer → T_Maybe_10 () Integer Source #

d_BLS12'45'381'45'G1'45'multiScalarMul_448 ∷ T_List_10 () Integer → T_List_10 () T_Bls12'45'381'45'G1'45'Element_754 → T_Maybe_10 () T_Bls12'45'381'45'G1'45'Element_754 Source #

d_BLS12'45'381'45'G2'45'multiScalarMul_450 ∷ T_List_10 () Integer → T_List_10 () T_Bls12'45'381'45'G2'45'Element_758 → T_Maybe_10 () T_Bls12'45'381'45'G2'45'Element_758 Source #

d_POLICIES_452 ∷ T_Value_766 → T_List_10 () T_ByteString_426 Source #

d_assetCOUNT_454 ∷ T_Value_766 → Integer Source #

d_keepPOLICIES_456 ∷ T_List_10 () T_ByteString_426 → T_Value_766 → T_Maybe_10 () T_Value_766 Source #

d_dropPOLICIES_458 ∷ T_List_10 () T_ByteString_426 → T_Value_766 → T_Maybe_10 () T_Value_766 Source #

d_HSlengthOfArray_462 ∷ ∀ xA. () → T_Array_602 xA → Integer Source #

d_HSlistToArray_468 ∷ ∀ xA. () → T_List_10 () xA → T_Array_602 xA Source #

d_HSindexArray_472 ∷ ∀ xA. () → T_Array_602 xA → Integer → xA Source #

d_HSmultiIndexArray_476 ∷ ∀ xA. () → T_Array_602 xA → T_List_10 () Integer → T_Maybe_10 () (T_List_10 () xA) Source #

d_enumBuiltin_478 ∷ T_Builtin_2 → Integer Source #

d_enumBuiltin'45'injective_484 ∷ T_Builtin_2 → T_Builtin_2 → T__'8801'__12 → T__'8801'__12 Source #

d_decBuiltin_492 ∷ T_Builtin_2 → T_Builtin_2 → T_Dec_20 Source #

d_showBuiltin_516 ∷ T_Builtin_2 → T_String_6 Source #

d_builtinList_518 ∷ [T_Builtin_2] Source #