Documentation

size :: (ExMemoryUsage a) => a -> c #

d_integerSize_4 :: Integer -> Integer #

d_byteStringSize_6 :: T_ByteString_416 -> Integer #

d_g1ElementSize_8 :: T_Bls12'45'381'45'G1'45'Element_754 -> Integer #

d_g2ElementSize_10 :: T_Bls12'45'381'45'G2'45'Element_758 -> Integer #

d_mlResultElementSize_12 :: T_Bls12'45'381'45'MlResult_762 -> Integer #

d_dataSize_14 :: T_DATA_608 -> Integer #

d_boolSize_16 :: Bool -> Integer #

d_unitSize_18 :: T_'8868'_6 -> Integer #

d_stringSize_20 :: T_String_6 -> Integer #

d_defaultConstantMeasure_22 :: T_TmCon_202 -> Integer #

d_defaultValueMeasure_78 :: T_Value_14 -> Integer #