Documentation

d_readMaybe_10 ∷ Integer → AgdaAny → T_String_6 → Maybe Integer Source #

du_readMaybe_10 ∷ Integer → T_String_6 → Maybe Integer Source #

d_convert_18 ∷ Integer → AgdaAny → [Integer] → Integer Source #

du_convert_18 ∷ Integer → [Integer] → Integer Source #

d_char0_24 ∷ Integer → AgdaAny → Integer Source #

du_char0_24 ∷ Integer Source #

d_char9_26 ∷ Integer → AgdaAny → Integer Source #

du_char9_26 ∷ Integer Source #

d_chara_28 ∷ Integer → AgdaAny → Integer Source #

du_chara_28 ∷ Integer Source #

d_charf_30 ∷ Integer → AgdaAny → Integer Source #

du_charf_30 ∷ Integer Source #

d_readDigit_32 ∷ Integer → AgdaAny → T_Char_6 → Maybe Integer Source #

du_readDigit_32 ∷ Integer → T_Char_6 → Maybe Integer Source #

d_charc_40 ∷ Integer → AgdaAny → T_Char_6 → Integer Source #

du_charc_40 ∷ T_Char_6 → Integer Source #

d_dec_42 ∷ Integer → AgdaAny → T_Char_6 → Maybe Integer Source #

du_dec_42 ∷ T_Char_6 → Maybe Integer Source #

d_hex_44 ∷ Integer → AgdaAny → T_Char_6 → Maybe Integer Source #

du_hex_44 ∷ T_Char_6 → Maybe Integer Source #

d_digit_46 ∷ Integer → AgdaAny → T_Char_6 → Maybe Integer Source #

du_digit_46 ∷ T_Char_6 → Maybe Integer Source #

d_toDigitChar_50 ∷ Integer → T_Char_6 Source #

d_toDecimalChars_54 ∷ Integer → [T_Char_6] Source #

d_show_56 ∷ Integer → T_String_6 Source #

d_charsInBase_64 ∷ Integer → AgdaAny → AgdaAny → Integer → [T_Char_6] Source #

du_charsInBase_64 ∷ Integer → Integer → [T_Char_6] Source #

d_showInBase_78 ∷ Integer → AgdaAny → AgdaAny → Integer → T_String_6 Source #

du_showInBase_78 ∷ Integer → Integer → T_String_6 Source #