Documentation

builtinResultToMaybe :: DefaultFun -> () #

d_'8729'_194 :: T_Σ_14 #

d_'8704'a_196 :: T_Σ_14 #

d_'8704'b'44'a_198 :: T_Σ_14 #

d_'8704'A_200 :: T_Σ_14 #

d_'8704'A'44'a_202 :: T_Σ_14 #

d_A_208 :: Integer -> Integer -> T__'47'_'8866''8902'_26 #

du_A_208 :: T__'47'_'8866''8902'_26 #

d_a_218 :: Integer -> T__'8866''9839'_4 #

du_a_218 :: T__'8866''9839'_4 #

d_b_222 :: Integer -> T__'8866''9839'_4 #

du_b_222 :: T__'8866''9839'_4 #

d_pair_228 :: Integer -> Integer -> T__'8866''9839'_4 -> T__'8866''9839'_4 -> T__'47'_'8866''8902'_26 #

du_pair_228 :: T__'8866''9839'_4 -> T__'8866''9839'_4 -> T__'47'_'8866''8902'_26 #

d_list_238 :: Integer -> Integer -> T__'8866''9839'_4 -> T__'47'_'8866''8902'_26 #

du_list_238 :: T__'8866''9839'_4 -> T__'47'_'8866''8902'_26 #

d_array_246 :: Integer -> Integer -> T__'8866''9839'_4 -> T__'47'_'8866''8902'_26 #

du_array_246 :: T__'8866''9839'_4 -> T__'47'_'8866''8902'_26 #

d_ArgSet_250 :: () #

d_ArgTy_258 :: T_Σ_14 -> () #

d__'91'__266 :: T_Σ_14 -> T__'47'_'8866''8902'_26 -> T_Σ_14 #

d__'44'__276 :: T_Σ_14 -> T__'47'_'8866''8902'_26 -> T_Σ_14 #

d__'93''10230'__288 :: T_Σ_14 -> T__'47'_'8866''8902'_26 -> T_Sig_72 #

d_signature_298 :: T_Builtin_2 -> T_Sig_72 #

d_arity'8320'_300 :: T_Builtin_2 -> Integer #

d_arity_304 :: T_Builtin_2 -> Integer #

d_lengthBS_308 :: T_ByteString_416 -> Integer #

d_index_310 :: T_ByteString_416 -> Integer -> Integer #

d_div_312 :: Integer -> Integer -> Integer #

d_quot_314 :: Integer -> Integer -> Integer #

d_rem_316 :: Integer -> Integer -> Integer #

d_mod_318 :: Integer -> Integer -> Integer #

d_TRACE_322 :: forall xa. () -> T_String_6 -> xa -> xa #

d_concat_324 :: T_ByteString_416 -> T_ByteString_416 -> T_ByteString_416 #

d_cons_326 :: Integer -> T_ByteString_416 -> T_Maybe_10 () T_ByteString_416 #

d_slice_328 :: Integer -> Integer -> T_ByteString_416 -> T_ByteString_416 #

d_B'60'_330 :: T_ByteString_416 -> T_ByteString_416 -> Bool #

d_B'60''61'_332 :: T_ByteString_416 -> T_ByteString_416 -> Bool #

d_SHA2'45'256_334 :: T_ByteString_416 -> T_ByteString_416 #

d_SHA3'45'256_336 :: T_ByteString_416 -> T_ByteString_416 #

d_BLAKE2B'45'256_338 :: T_ByteString_416 -> T_ByteString_416 #

d_verifyEd25519Sig_340 :: T_ByteString_416 -> T_ByteString_416 -> T_ByteString_416 -> T_Maybe_10 () Bool #

d_verifyEcdsaSecp256k1Sig_342 :: T_ByteString_416 -> T_ByteString_416 -> T_ByteString_416 -> T_Maybe_10 () Bool #

d_verifySchnorrSecp256k1Sig_344 :: T_ByteString_416 -> T_ByteString_416 -> T_ByteString_416 -> T_Maybe_10 () Bool #

d_equals_346 :: T_ByteString_416 -> T_ByteString_416 -> Bool #

d_ENCODEUTF8_348 :: T_String_6 -> T_ByteString_416 #

d_DECODEUTF8_350 :: T_ByteString_416 -> T_Maybe_10 () T_String_6 #

d_serialiseDATA_352 :: a #

d_BLS12'45'381'45'G1'45'add_354 :: 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 #

d_BLS12'45'381'45'G1'45'neg_356 :: T_Bls12'45'381'45'G1'45'Element_754 -> T_Bls12'45'381'45'G1'45'Element_754 #

d_BLS12'45'381'45'G1'45'scalarMul_358 :: Integer -> T_Bls12'45'381'45'G1'45'Element_754 -> T_Bls12'45'381'45'G1'45'Element_754 #

d_BLS12'45'381'45'G1'45'equal_360 :: T_Bls12'45'381'45'G1'45'Element_754 -> T_Bls12'45'381'45'G1'45'Element_754 -> Bool #

d_BLS12'45'381'45'G1'45'hashToGroup_362 :: T_ByteString_416 -> T_ByteString_416 -> T_Maybe_10 () T_Bls12'45'381'45'G1'45'Element_754 #

d_BLS12'45'381'45'G1'45'compress_364 :: T_Bls12'45'381'45'G1'45'Element_754 -> T_ByteString_416 #

d_BLS12'45'381'45'G1'45'uncompress_366 :: T_ByteString_416 -> T_Maybe_10 () T_Bls12'45'381'45'G1'45'Element_754 #

d_BLS12'45'381'45'G2'45'add_368 :: 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 #

d_BLS12'45'381'45'G2'45'neg_370 :: T_Bls12'45'381'45'G2'45'Element_758 -> T_Bls12'45'381'45'G2'45'Element_758 #

d_BLS12'45'381'45'G2'45'scalarMul_372 :: Integer -> T_Bls12'45'381'45'G2'45'Element_758 -> T_Bls12'45'381'45'G2'45'Element_758 #

d_BLS12'45'381'45'G2'45'equal_374 :: T_Bls12'45'381'45'G2'45'Element_758 -> T_Bls12'45'381'45'G2'45'Element_758 -> Bool #

d_BLS12'45'381'45'G2'45'hashToGroup_376 :: T_ByteString_416 -> T_ByteString_416 -> T_Maybe_10 () T_Bls12'45'381'45'G2'45'Element_758 #

d_BLS12'45'381'45'G2'45'compress_378 :: T_Bls12'45'381'45'G2'45'Element_758 -> T_ByteString_416 #

d_BLS12'45'381'45'G2'45'uncompress_380 :: T_ByteString_416 -> T_Maybe_10 () T_Bls12'45'381'45'G2'45'Element_758 #

d_BLS12'45'381'45'millerLoop_382 :: 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 #

d_BLS12'45'381'45'mulMlResult_384 :: T_Bls12'45'381'45'MlResult_762 -> T_Bls12'45'381'45'MlResult_762 -> T_Bls12'45'381'45'MlResult_762 #

d_BLS12'45'381'45'finalVerify_386 :: T_Bls12'45'381'45'MlResult_762 -> T_Bls12'45'381'45'MlResult_762 -> Bool #

d_KECCAK'45'256_388 :: T_ByteString_416 -> T_ByteString_416 #

d_BLAKE2B'45'224_390 :: T_ByteString_416 -> T_ByteString_416 #

d_BStoI_392 :: Bool -> T_ByteString_416 -> Integer #

d_ItoBS_394 :: Bool -> Integer -> Integer -> T_Maybe_10 () T_ByteString_416 #

d_andBYTESTRING_396 :: Bool -> T_ByteString_416 -> T_ByteString_416 -> T_ByteString_416 #

d_orBYTESTRING_398 :: Bool -> T_ByteString_416 -> T_ByteString_416 -> T_ByteString_416 #

d_xorBYTESTRING_400 :: Bool -> T_ByteString_416 -> T_ByteString_416 -> T_ByteString_416 #

d_complementBYTESTRING_402 :: T_ByteString_416 -> T_ByteString_416 #

d_readBIT_404 :: T_ByteString_416 -> Integer -> T_Maybe_10 () Bool #

d_writeBITS_406 :: T_ByteString_416 -> T_List_10 () Integer -> Bool -> T_Maybe_10 () T_ByteString_416 #

d_replicateBYTE_408 :: Integer -> Integer -> T_Maybe_10 () T_ByteString_416 #

d_shiftBYTESTRING_410 :: T_ByteString_416 -> Integer -> T_ByteString_416 #

d_rotateBYTESTRING_412 :: T_ByteString_416 -> Integer -> T_ByteString_416 #

d_countSetBITS_414 :: T_ByteString_416 -> Integer #

d_findFirstSetBIT_416 :: T_ByteString_416 -> Integer #

d_RIPEMD'45'160_418 :: T_ByteString_416 -> T_ByteString_416 #

d_expModINTEGER_420 :: Integer -> Integer -> Integer -> T_Maybe_10 () Integer #

d_BLS12'45'381'45'G1'45'multiScalarMul_422 :: 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 #

d_BLS12'45'381'45'G2'45'multiScalarMul_424 :: 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 #

d_decBuiltin_426 :: T_Builtin_2 -> T_Builtin_2 -> T_Dec_20 #

d_showBuiltin_428 :: T_Builtin_2 -> T_String_6 #

d_builtinList_430 :: [T_Builtin_2] #