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 #