Documentation

size ∷ (Num c, ExMemoryUsage a) ⇒ a → c Source #

d_integerSize_4 ∷ Integer → Integer Source #

d_byteStringSize_6 ∷ T_ByteString_356 → Integer Source #

d_g1ElementSize_8 ∷ T_Bls12'45'381'45'G1'45'Element_640 → Integer Source #

d_g2ElementSize_10 ∷ T_Bls12'45'381'45'G2'45'Element_644 → Integer Source #

d_mlResultElementSize_12 ∷ T_Bls12'45'381'45'MlResult_648 → Integer Source #

d_dataSize_14 ∷ T_DATA_494 → Integer Source #

d_boolSize_16 ∷ Bool → Integer Source #

d_unitSize_18 ∷ T_'8868'_6 → Integer Source #

d_stringSize_20 ∷ T_String_6 → Integer Source #

d_defaultConstantMeasure_22 ∷ T_TmCon_202 → Integer Source #

d_defaultValueMeasure_78 ∷ T_Value_14 → Integer Source #