{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE EmptyCase #-}
{-# LANGUAGE EmptyDataDecls #-}
{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE NoMonomorphismRestriction #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}

{-# OPTIONS_GHC -Wno-overlapping-patterns #-}

module MAlonzo.Code.Data.Nat.Show where

import MAlonzo.RTE (coe, erased, AgdaAny, addInt, subInt, mulInt,
                    quotInt, remInt, geqInt, ltInt, eqInt, add64, sub64, mul64, quot64,
                    rem64, lt64, eq64, word64FromNat, word64ToNat)
import qualified MAlonzo.RTE
import qualified Data.Text
import qualified MAlonzo.Code.Agda.Builtin.Char
import qualified MAlonzo.Code.Agda.Builtin.Maybe
import qualified MAlonzo.Code.Agda.Builtin.Nat
import qualified MAlonzo.Code.Agda.Builtin.Sigma
import qualified MAlonzo.Code.Agda.Builtin.String
import qualified MAlonzo.Code.Data.Bool.Base
import qualified MAlonzo.Code.Data.Digit
import qualified MAlonzo.Code.Data.List.Base
import qualified MAlonzo.Code.Data.List.Categorical
import qualified MAlonzo.Code.Data.Maybe.Base
import qualified MAlonzo.Code.Data.Maybe.Categorical
import qualified MAlonzo.Code.Data.Nat.Base
import qualified MAlonzo.Code.Function.Base

-- Data.Nat.Show.readMaybe
d_readMaybe_10 ::
  Integer ->
  AgdaAny ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6 -> Maybe Integer
d_readMaybe_10 :: Integer -> AgdaAny -> Text -> Maybe Integer
d_readMaybe_10 Integer
v0 ~AgdaAny
v1 Text
v2 = Integer -> Text -> Maybe Integer
du_readMaybe_10 Integer
v0 Text
v2
du_readMaybe_10 ::
  Integer ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6 -> Maybe Integer
du_readMaybe_10 :: Integer -> Text -> Maybe Integer
du_readMaybe_10 Integer
v0 Text
v1
  = let v2 :: t
v2
          = ((AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny)
-> AgdaAny -> AgdaAny -> AgdaAny -> t
forall a b. a -> b
coe
              (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
MAlonzo.Code.Function.Base.du__'8728''8242'__226
              (((AgdaAny -> AgdaAny) -> Maybe AgdaAny -> Maybe AgdaAny)
-> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                 (AgdaAny -> AgdaAny) -> Maybe AgdaAny -> Maybe AgdaAny
MAlonzo.Code.Data.Maybe.Base.du_map_68
                 ((Integer -> [Integer] -> Integer) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe Integer -> [Integer] -> Integer
du_convert_18 (Integer -> AgdaAny
forall a b. a -> b
coe Integer
v0)))
              (((AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                 (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
MAlonzo.Code.Function.Base.du__'8728''8242'__226
                 ((T_RawIApplicative_38
 -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> AgdaAny)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                    T_RawIApplicative_38
-> (AgdaAny -> AgdaAny) -> [AgdaAny] -> AgdaAny
MAlonzo.Code.Data.List.Categorical.du_mapA_86
                    (T_RawIApplicative_38 -> AgdaAny
forall a b. a -> b
coe T_RawIApplicative_38
MAlonzo.Code.Data.Maybe.Categorical.du_applicative_12)
                    ((Integer -> T_Char_6 -> Maybe Integer) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe Integer -> T_Char_6 -> Maybe Integer
du_readDigit_32 (Integer -> AgdaAny
forall a b. a -> b
coe Integer
v0)))
                 ((Text -> String) -> AgdaAny
forall a b. a -> b
coe Text -> String
MAlonzo.Code.Agda.Builtin.String.d_primStringToList_12))
              (Text -> AgdaAny
forall a b. a -> b
coe Text
v1) in
    AgdaAny -> Maybe Integer
forall a b. a -> b
coe
      (case Text -> Text
forall a b. a -> b
coe Text
v1 of
         Text
l | Text -> Text -> Bool
forall a. Eq a => a -> a -> Bool
(==) Text
l (Text
"" :: Data.Text.Text) ->
             Maybe AgdaAny -> AgdaAny
forall a b. a -> b
coe Maybe AgdaAny
forall {a}. Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18
         Text
_ -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
forall {t}. t
v2)
-- Data.Nat.Show._.convert
d_convert_18 :: Integer -> AgdaAny -> [Integer] -> Integer
d_convert_18 :: Integer -> AgdaAny -> [Integer] -> Integer
d_convert_18 Integer
v0 ~AgdaAny
v1 = Integer -> [Integer] -> Integer
du_convert_18 Integer
v0
du_convert_18 :: Integer -> [Integer] -> Integer
du_convert_18 :: Integer -> [Integer] -> Integer
du_convert_18 Integer
v0
  = ((AgdaAny -> AgdaAny -> AgdaAny)
 -> AgdaAny -> [AgdaAny] -> AgdaAny)
-> AgdaAny -> AgdaAny -> [Integer] -> Integer
forall a b. a -> b
coe
      (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
MAlonzo.Code.Data.List.Base.du_foldl_254
      ((AgdaAny -> Integer -> Integer) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v1 -> Integer -> Integer -> Integer
addInt ((Integer -> Integer -> Integer) -> AgdaAny -> AgdaAny -> Integer
forall a b. a -> b
coe Integer -> Integer -> Integer
mulInt (Integer -> AgdaAny
forall a b. a -> b
coe Integer
v0) (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1))))
      (Integer -> AgdaAny
forall a b. a -> b
coe (Integer
0 :: Integer))
-- Data.Nat.Show._.char0
d_char0_24 :: Integer -> AgdaAny -> Integer
d_char0_24 :: Integer -> AgdaAny -> Integer
d_char0_24 ~Integer
v0 ~AgdaAny
v1 = Integer
du_char0_24
du_char0_24 :: Integer
du_char0_24 :: Integer
du_char0_24
  = (T_Char_6 -> Integer) -> T_Char_6 -> Integer
forall a b. a -> b
coe T_Char_6 -> Integer
MAlonzo.Code.Agda.Builtin.Char.d_primCharToNat_28 T_Char_6
'0'
-- Data.Nat.Show._.char9
d_char9_26 :: Integer -> AgdaAny -> Integer
d_char9_26 :: Integer -> AgdaAny -> Integer
d_char9_26 ~Integer
v0 ~AgdaAny
v1 = Integer
du_char9_26
du_char9_26 :: Integer
du_char9_26 :: Integer
du_char9_26
  = (T_Char_6 -> Integer) -> T_Char_6 -> Integer
forall a b. a -> b
coe T_Char_6 -> Integer
MAlonzo.Code.Agda.Builtin.Char.d_primCharToNat_28 T_Char_6
'9'
-- Data.Nat.Show._.chara
d_chara_28 :: Integer -> AgdaAny -> Integer
d_chara_28 :: Integer -> AgdaAny -> Integer
d_chara_28 ~Integer
v0 ~AgdaAny
v1 = Integer
du_chara_28
du_chara_28 :: Integer
du_chara_28 :: Integer
du_chara_28
  = (T_Char_6 -> Integer) -> T_Char_6 -> Integer
forall a b. a -> b
coe T_Char_6 -> Integer
MAlonzo.Code.Agda.Builtin.Char.d_primCharToNat_28 T_Char_6
'a'
-- Data.Nat.Show._.charf
d_charf_30 :: Integer -> AgdaAny -> Integer
d_charf_30 :: Integer -> AgdaAny -> Integer
d_charf_30 ~Integer
v0 ~AgdaAny
v1 = Integer
du_charf_30
du_charf_30 :: Integer
du_charf_30 :: Integer
du_charf_30
  = (T_Char_6 -> Integer) -> T_Char_6 -> Integer
forall a b. a -> b
coe T_Char_6 -> Integer
MAlonzo.Code.Agda.Builtin.Char.d_primCharToNat_28 T_Char_6
'f'
-- Data.Nat.Show._.readDigit
d_readDigit_32 ::
  Integer ->
  AgdaAny -> MAlonzo.Code.Agda.Builtin.Char.T_Char_6 -> Maybe Integer
d_readDigit_32 :: Integer -> AgdaAny -> T_Char_6 -> Maybe Integer
d_readDigit_32 Integer
v0 ~AgdaAny
v1 T_Char_6
v2 = Integer -> T_Char_6 -> Maybe Integer
du_readDigit_32 Integer
v0 T_Char_6
v2
du_readDigit_32 ::
  Integer -> MAlonzo.Code.Agda.Builtin.Char.T_Char_6 -> Maybe Integer
du_readDigit_32 :: Integer -> T_Char_6 -> Maybe Integer
du_readDigit_32 Integer
v0 T_Char_6
v1
  = (Maybe AgdaAny -> (AgdaAny -> Maybe AgdaAny) -> Maybe AgdaAny)
-> AgdaAny -> AgdaAny -> Maybe Integer
forall a b. a -> b
coe
      Maybe AgdaAny -> (AgdaAny -> Maybe AgdaAny) -> Maybe AgdaAny
MAlonzo.Code.Data.Maybe.Base.du__'62''62''61'__76
      ((T_Char_6 -> Maybe Integer) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_Char_6 -> Maybe Integer
du_digit_46 (T_Char_6 -> AgdaAny
forall a b. a -> b
coe T_Char_6
v1))
      ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe
         (\ AgdaAny
v2 ->
            (Bool -> AgdaAny -> Maybe AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
              Bool -> AgdaAny -> Maybe AgdaAny
MAlonzo.Code.Data.Maybe.Base.du_when_92
              ((Integer -> Integer -> Bool) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe Integer -> Integer -> Bool
ltInt (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v2) (Integer -> AgdaAny
forall a b. a -> b
coe Integer
v0)) (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v2)))
-- Data.Nat.Show._._.charc
d_charc_40 ::
  Integer ->
  AgdaAny -> MAlonzo.Code.Agda.Builtin.Char.T_Char_6 -> Integer
d_charc_40 :: Integer -> AgdaAny -> T_Char_6 -> Integer
d_charc_40 ~Integer
v0 ~AgdaAny
v1 T_Char_6
v2 = T_Char_6 -> Integer
du_charc_40 T_Char_6
v2
du_charc_40 :: MAlonzo.Code.Agda.Builtin.Char.T_Char_6 -> Integer
du_charc_40 :: T_Char_6 -> Integer
du_charc_40 T_Char_6
v0
  = (T_Char_6 -> Integer) -> T_Char_6 -> Integer
forall a b. a -> b
coe T_Char_6 -> Integer
MAlonzo.Code.Agda.Builtin.Char.d_primCharToNat_28 T_Char_6
v0
-- Data.Nat.Show._._.dec
d_dec_42 ::
  Integer ->
  AgdaAny -> MAlonzo.Code.Agda.Builtin.Char.T_Char_6 -> Maybe Integer
d_dec_42 :: Integer -> AgdaAny -> T_Char_6 -> Maybe Integer
d_dec_42 ~Integer
v0 ~AgdaAny
v1 T_Char_6
v2 = T_Char_6 -> Maybe Integer
du_dec_42 T_Char_6
v2
du_dec_42 ::
  MAlonzo.Code.Agda.Builtin.Char.T_Char_6 -> Maybe Integer
du_dec_42 :: T_Char_6 -> Maybe Integer
du_dec_42 T_Char_6
v0
  = (Bool -> AgdaAny -> Maybe AgdaAny)
-> AgdaAny -> AgdaAny -> Maybe Integer
forall a b. a -> b
coe
      Bool -> AgdaAny -> Maybe AgdaAny
MAlonzo.Code.Data.Maybe.Base.du_when_92
      ((Bool -> Bool -> Bool) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
         Bool -> Bool -> Bool
MAlonzo.Code.Data.Bool.Base.d__'8743'__24
         ((Integer -> Integer -> Bool) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
            Integer -> Integer -> Bool
MAlonzo.Code.Data.Nat.Base.d__'8804''7495'__10 (Integer -> AgdaAny
forall a b. a -> b
coe Integer
du_char0_24)
            ((T_Char_6 -> Integer) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_Char_6 -> Integer
du_charc_40 (T_Char_6 -> AgdaAny
forall a b. a -> b
coe T_Char_6
v0)))
         ((Integer -> Integer -> Bool) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
            Integer -> Integer -> Bool
MAlonzo.Code.Data.Nat.Base.d__'8804''7495'__10
            ((T_Char_6 -> Integer) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_Char_6 -> Integer
du_charc_40 (T_Char_6 -> AgdaAny
forall a b. a -> b
coe T_Char_6
v0)) (Integer -> AgdaAny
forall a b. a -> b
coe Integer
du_char9_26)))
      ((Integer -> Integer -> Integer) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
         Integer -> Integer -> Integer
MAlonzo.Code.Agda.Builtin.Nat.d__'45'__22
         ((T_Char_6 -> Integer) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_Char_6 -> Integer
du_charc_40 (T_Char_6 -> AgdaAny
forall a b. a -> b
coe T_Char_6
v0)) (Integer -> AgdaAny
forall a b. a -> b
coe Integer
du_char0_24))
-- Data.Nat.Show._._.hex
d_hex_44 ::
  Integer ->
  AgdaAny -> MAlonzo.Code.Agda.Builtin.Char.T_Char_6 -> Maybe Integer
d_hex_44 :: Integer -> AgdaAny -> T_Char_6 -> Maybe Integer
d_hex_44 ~Integer
v0 ~AgdaAny
v1 T_Char_6
v2 = T_Char_6 -> Maybe Integer
du_hex_44 T_Char_6
v2
du_hex_44 ::
  MAlonzo.Code.Agda.Builtin.Char.T_Char_6 -> Maybe Integer
du_hex_44 :: T_Char_6 -> Maybe Integer
du_hex_44 T_Char_6
v0
  = (Bool -> AgdaAny -> Maybe AgdaAny)
-> AgdaAny -> AgdaAny -> Maybe Integer
forall a b. a -> b
coe
      Bool -> AgdaAny -> Maybe AgdaAny
MAlonzo.Code.Data.Maybe.Base.du_when_92
      ((Bool -> Bool -> Bool) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
         Bool -> Bool -> Bool
MAlonzo.Code.Data.Bool.Base.d__'8743'__24
         ((Integer -> Integer -> Bool) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
            Integer -> Integer -> Bool
MAlonzo.Code.Data.Nat.Base.d__'8804''7495'__10 (Integer -> AgdaAny
forall a b. a -> b
coe Integer
du_chara_28)
            ((T_Char_6 -> Integer) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_Char_6 -> Integer
du_charc_40 (T_Char_6 -> AgdaAny
forall a b. a -> b
coe T_Char_6
v0)))
         ((Integer -> Integer -> Bool) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
            Integer -> Integer -> Bool
MAlonzo.Code.Data.Nat.Base.d__'8804''7495'__10
            ((T_Char_6 -> Integer) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_Char_6 -> Integer
du_charc_40 (T_Char_6 -> AgdaAny
forall a b. a -> b
coe T_Char_6
v0)) (Integer -> AgdaAny
forall a b. a -> b
coe Integer
du_charf_30)))
      ((Integer -> Integer -> Integer) -> Integer -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
         Integer -> Integer -> Integer
MAlonzo.Code.Agda.Builtin.Nat.d__'45'__22
         (Integer -> Integer -> Integer
addInt (Integer -> Integer
forall a b. a -> b
coe (Integer
10 :: Integer)) ((T_Char_6 -> Integer) -> AgdaAny -> Integer
forall a b. a -> b
coe T_Char_6 -> Integer
du_charc_40 (T_Char_6 -> AgdaAny
forall a b. a -> b
coe T_Char_6
v0)))
         (Integer -> AgdaAny
forall a b. a -> b
coe Integer
du_chara_28))
-- Data.Nat.Show._._.digit
d_digit_46 ::
  Integer ->
  AgdaAny -> MAlonzo.Code.Agda.Builtin.Char.T_Char_6 -> Maybe Integer
d_digit_46 :: Integer -> AgdaAny -> T_Char_6 -> Maybe Integer
d_digit_46 ~Integer
v0 ~AgdaAny
v1 T_Char_6
v2 = T_Char_6 -> Maybe Integer
du_digit_46 T_Char_6
v2
du_digit_46 ::
  MAlonzo.Code.Agda.Builtin.Char.T_Char_6 -> Maybe Integer
du_digit_46 :: T_Char_6 -> Maybe Integer
du_digit_46 T_Char_6
v0
  = (Maybe AgdaAny -> Maybe AgdaAny -> Maybe AgdaAny)
-> AgdaAny -> AgdaAny -> Maybe Integer
forall a b. a -> b
coe
      Maybe AgdaAny -> Maybe AgdaAny -> Maybe AgdaAny
MAlonzo.Code.Data.Maybe.Base.du__'60''8739''62'__84
      ((T_Char_6 -> Maybe Integer) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_Char_6 -> Maybe Integer
du_dec_42 (T_Char_6 -> AgdaAny
forall a b. a -> b
coe T_Char_6
v0)) ((T_Char_6 -> Maybe Integer) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_Char_6 -> Maybe Integer
du_hex_44 (T_Char_6 -> AgdaAny
forall a b. a -> b
coe T_Char_6
v0))
-- Data.Nat.Show.toDigitChar
d_toDigitChar_50 ::
  Integer -> MAlonzo.Code.Agda.Builtin.Char.T_Char_6
d_toDigitChar_50 :: Integer -> T_Char_6
d_toDigitChar_50 Integer
v0
  = (Integer -> T_Char_6) -> Integer -> T_Char_6
forall a b. a -> b
coe
      Integer -> T_Char_6
MAlonzo.Code.Agda.Builtin.Char.d_primNatToChar_30
      (Integer -> Integer -> Integer
addInt
         ((T_Char_6 -> Integer) -> T_Char_6 -> Integer
forall a b. a -> b
coe T_Char_6 -> Integer
MAlonzo.Code.Agda.Builtin.Char.d_primCharToNat_28 T_Char_6
'0')
         (Integer -> Integer
forall a b. a -> b
coe Integer
v0))
-- Data.Nat.Show.toDecimalChars
d_toDecimalChars_54 ::
  Integer -> [MAlonzo.Code.Agda.Builtin.Char.T_Char_6]
d_toDecimalChars_54 :: Integer -> String
d_toDecimalChars_54
  = ((AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny)
-> AgdaAny -> AgdaAny -> Integer -> String
forall a b. a -> b
coe
      (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
MAlonzo.Code.Function.Base.du__'8728''8242'__226
      (((AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny]
MAlonzo.Code.Data.List.Base.du_map_22 ((Integer -> T_Char_6) -> AgdaAny
forall a b. a -> b
coe Integer -> T_Char_6
d_toDigitChar_50))
      ((Integer -> Integer -> [Integer]) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
         Integer -> Integer -> [Integer]
MAlonzo.Code.Data.Digit.du_toNatDigits_20 (Integer -> AgdaAny
forall a b. a -> b
coe (Integer
10 :: Integer)))
-- Data.Nat.Show.show
d_show_56 :: Integer -> MAlonzo.Code.Agda.Builtin.String.T_String_6
d_show_56 :: Integer -> Text
d_show_56 Integer
v0
  = (String -> Text) -> AgdaAny -> Text
forall a b. a -> b
coe
      String -> Text
MAlonzo.Code.Agda.Builtin.String.d_primStringFromList_14
      ((Integer -> String) -> Integer -> AgdaAny
forall a b. a -> b
coe Integer -> String
d_toDecimalChars_54 Integer
v0)
-- Data.Nat.Show.charsInBase
d_charsInBase_64 ::
  Integer ->
  AgdaAny ->
  AgdaAny -> Integer -> [MAlonzo.Code.Agda.Builtin.Char.T_Char_6]
d_charsInBase_64 :: Integer -> AgdaAny -> AgdaAny -> Integer -> String
d_charsInBase_64 Integer
v0 ~AgdaAny
v1 ~AgdaAny
v2 Integer
v3 = Integer -> Integer -> String
du_charsInBase_64 Integer
v0 Integer
v3
du_charsInBase_64 ::
  Integer -> Integer -> [MAlonzo.Code.Agda.Builtin.Char.T_Char_6]
du_charsInBase_64 :: Integer -> Integer -> String
du_charsInBase_64 Integer
v0 Integer
v1
  = ((AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> String
forall a b. a -> b
coe
      (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny]
MAlonzo.Code.Data.List.Base.du_map_22
      ((T_Fin_6 -> T_Char_6) -> AgdaAny
forall a b. a -> b
coe T_Fin_6 -> T_Char_6
MAlonzo.Code.Data.Digit.du_showDigit_178)
      (([AgdaAny] -> [AgdaAny]) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
         [AgdaAny] -> [AgdaAny]
MAlonzo.Code.Data.List.Base.du_reverse_804
         (T_Σ_14 -> AgdaAny
MAlonzo.Code.Agda.Builtin.Sigma.d_fst_28
            ((Integer -> Integer -> T_Σ_14) -> AgdaAny -> AgdaAny -> T_Σ_14
forall a b. a -> b
coe Integer -> Integer -> T_Σ_14
MAlonzo.Code.Data.Digit.du_toDigits_98 (Integer -> AgdaAny
forall a b. a -> b
coe Integer
v0) (Integer -> AgdaAny
forall a b. a -> b
coe Integer
v1))))
-- Data.Nat.Show.showInBase
d_showInBase_78 ::
  Integer ->
  AgdaAny ->
  AgdaAny -> Integer -> MAlonzo.Code.Agda.Builtin.String.T_String_6
d_showInBase_78 :: Integer -> AgdaAny -> AgdaAny -> Integer -> Text
d_showInBase_78 Integer
v0 ~AgdaAny
v1 ~AgdaAny
v2 Integer
v3 = Integer -> Integer -> Text
du_showInBase_78 Integer
v0 Integer
v3
du_showInBase_78 ::
  Integer -> Integer -> MAlonzo.Code.Agda.Builtin.String.T_String_6
du_showInBase_78 :: Integer -> Integer -> Text
du_showInBase_78 Integer
v0 Integer
v1
  = (String -> Text) -> AgdaAny -> Text
forall a b. a -> b
coe
      String -> Text
MAlonzo.Code.Agda.Builtin.String.d_primStringFromList_14
      ((Integer -> Integer -> String) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe Integer -> Integer -> String
du_charsInBase_64 (Integer -> AgdaAny
forall a b. a -> b
coe Integer
v0) (Integer -> AgdaAny
forall a b. a -> b
coe Integer
v1))