{-# 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.Text.Printf.Generic 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.List
import qualified MAlonzo.Code.Agda.Builtin.Sigma
import qualified MAlonzo.Code.Agda.Builtin.String
import qualified MAlonzo.Code.Agda.Primitive
import qualified MAlonzo.Code.Data.List.Base
import qualified MAlonzo.Code.Data.Product.Nary.NonDependent
import qualified MAlonzo.Code.Data.Sum.Base
import qualified MAlonzo.Code.Function.Nary.NonDependent.Base
import qualified MAlonzo.Code.Text.Format.Generic

-- Text.Printf.Generic.PrintfSpec
d_PrintfSpec_18 :: p -> p -> p -> ()
d_PrintfSpec_18 p
a0 p
a1 p
a2 = ()
data T_PrintfSpec_18
  = C_constructor_54 (AgdaAny -> AgdaAny -> AgdaAny)
                     (MAlonzo.Code.Agda.Builtin.String.T_String_6 -> AgdaAny)
-- Text.Printf.Generic._.ArgType
d_ArgType_30 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Text.Format.Generic.T_FormatSpec_6 ->
  () -> AgdaAny -> ()
d_ArgType_30 :: () -> T_FormatSpec_6 -> () -> AgdaAny -> ()
d_ArgType_30 = () -> T_FormatSpec_6 -> () -> AgdaAny -> ()
forall a. a
erased
-- Text.Printf.Generic.PrintfSpec._.ArgChunk
d_ArgChunk_42 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Text.Format.Generic.T_FormatSpec_6 ->
  () -> T_PrintfSpec_18 -> ()
d_ArgChunk_42 :: () -> T_FormatSpec_6 -> () -> T_PrintfSpec_18 -> ()
d_ArgChunk_42 = () -> T_FormatSpec_6 -> () -> T_PrintfSpec_18 -> ()
forall a. a
erased
-- Text.Printf.Generic.PrintfSpec._.ArgType
d_ArgType_44 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Text.Format.Generic.T_FormatSpec_6 ->
  () -> T_PrintfSpec_18 -> AgdaAny -> ()
d_ArgType_44 :: () -> T_FormatSpec_6 -> () -> T_PrintfSpec_18 -> AgdaAny -> ()
d_ArgType_44 = () -> T_FormatSpec_6 -> () -> T_PrintfSpec_18 -> AgdaAny -> ()
forall a. a
erased
-- Text.Printf.Generic.PrintfSpec._.lexArg
d_lexArg_46 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Text.Format.Generic.T_FormatSpec_6 ->
  () ->
  T_PrintfSpec_18 ->
  MAlonzo.Code.Agda.Builtin.Char.T_Char_6 -> Maybe AgdaAny
d_lexArg_46 :: ()
-> T_FormatSpec_6
-> ()
-> T_PrintfSpec_18
-> T_Char_6
-> Maybe AgdaAny
d_lexArg_46 ~()
v0 T_FormatSpec_6
v1 ~()
v2 ~T_PrintfSpec_18
v3 = T_FormatSpec_6 -> T_Char_6 -> Maybe AgdaAny
du_lexArg_46 T_FormatSpec_6
v1
du_lexArg_46 ::
  MAlonzo.Code.Text.Format.Generic.T_FormatSpec_6 ->
  MAlonzo.Code.Agda.Builtin.Char.T_Char_6 -> Maybe AgdaAny
du_lexArg_46 :: T_FormatSpec_6 -> T_Char_6 -> Maybe AgdaAny
du_lexArg_46 T_FormatSpec_6
v0
  = (T_FormatSpec_6 -> T_Char_6 -> Maybe AgdaAny)
-> AgdaAny -> T_Char_6 -> Maybe AgdaAny
forall a b. a -> b
coe T_FormatSpec_6 -> T_Char_6 -> Maybe AgdaAny
MAlonzo.Code.Text.Format.Generic.d_lexArg_18 (T_FormatSpec_6 -> AgdaAny
forall a b. a -> b
coe T_FormatSpec_6
v0)
-- Text.Printf.Generic.PrintfSpec.renderArg
d_renderArg_50 :: T_PrintfSpec_18 -> AgdaAny -> AgdaAny -> AgdaAny
d_renderArg_50 :: T_PrintfSpec_18 -> AgdaAny -> AgdaAny -> AgdaAny
d_renderArg_50 T_PrintfSpec_18
v0
  = case T_PrintfSpec_18 -> T_PrintfSpec_18
forall a b. a -> b
coe T_PrintfSpec_18
v0 of
      C_constructor_54 AgdaAny -> AgdaAny -> AgdaAny
v1 T_String_6 -> AgdaAny
v2 -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> AgdaAny
v1
      T_PrintfSpec_18
_ -> AgdaAny -> AgdaAny -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Text.Printf.Generic.PrintfSpec.renderStr
d_renderStr_52 ::
  T_PrintfSpec_18 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6 -> AgdaAny
d_renderStr_52 :: T_PrintfSpec_18 -> T_String_6 -> AgdaAny
d_renderStr_52 T_PrintfSpec_18
v0
  = case T_PrintfSpec_18 -> T_PrintfSpec_18
forall a b. a -> b
coe T_PrintfSpec_18
v0 of
      C_constructor_54 AgdaAny -> AgdaAny -> AgdaAny
v1 T_String_6 -> AgdaAny
v2 -> (T_String_6 -> AgdaAny) -> T_String_6 -> AgdaAny
forall a b. a -> b
coe T_String_6 -> AgdaAny
v2
      T_PrintfSpec_18
_ -> T_String_6 -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Text.Printf.Generic.Type._.Format
d_Format_66 ::
  MAlonzo.Code.Text.Format.Generic.T_FormatSpec_6 -> ()
d_Format_66 :: T_FormatSpec_6 -> ()
d_Format_66 = T_FormatSpec_6 -> ()
forall a. a
erased
-- Text.Printf.Generic.Type._.Error
d_Error_68 :: p -> ()
d_Error_68 p
a0 = ()
-- Text.Printf.Generic.Type.Error
d_Error_98 :: p -> p -> p -> ()
d_Error_98 p
a0 p
a1 p
a2 = ()
data T_Error_98 = C_constructor_102
-- Text.Printf.Generic.Type.Size
d_Size_104 ::
  MAlonzo.Code.Text.Format.Generic.T_FormatSpec_6 ->
  MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> Integer
d_Size_104 :: T_FormatSpec_6 -> T__'8846'__30 -> Integer
d_Size_104 ~T_FormatSpec_6
v0 T__'8846'__30
v1 = T__'8846'__30 -> Integer
du_Size_104 T__'8846'__30
v1
du_Size_104 :: MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> Integer
du_Size_104 :: T__'8846'__30 -> Integer
du_Size_104 T__'8846'__30
v0
  = case T__'8846'__30 -> T__'8846'__30
forall a b. a -> b
coe T__'8846'__30
v0 of
      MAlonzo.Code.Data.Sum.Base.C_inj'8321'_38 AgdaAny
v1 -> Integer -> Integer
forall a b. a -> b
coe (Integer
0 :: Integer)
      MAlonzo.Code.Data.Sum.Base.C_inj'8322'_42 AgdaAny
v1
        -> ([T_Chunk_62] -> Integer) -> AgdaAny -> Integer
forall a b. a -> b
coe [T_Chunk_62] -> Integer
MAlonzo.Code.Text.Format.Generic.du_size_70 AgdaAny
v1
      T__'8846'__30
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Text.Printf.Generic.Type.Printf
d_Printf_112 ::
  MAlonzo.Code.Text.Format.Generic.T_FormatSpec_6 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> () -> ()
d_Printf_112 :: T_FormatSpec_6 -> () -> T__'8846'__30 -> () -> ()
d_Printf_112 = T_FormatSpec_6 -> () -> T__'8846'__30 -> () -> ()
forall a. a
erased
-- Text.Printf.Generic.Type.map
d_map_122 ::
  MAlonzo.Code.Text.Format.Generic.T_FormatSpec_6 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Data.Sum.Base.T__'8846'__30 ->
  (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
d_map_122 :: T_FormatSpec_6
-> ()
-> ()
-> ()
-> ()
-> T__'8846'__30
-> (AgdaAny -> AgdaAny)
-> AgdaAny
-> AgdaAny
d_map_122 ~T_FormatSpec_6
v0 ~()
v1 ~()
v2 ~()
v3 ~()
v4 T__'8846'__30
v5 AgdaAny -> AgdaAny
v6 AgdaAny
v7 = T__'8846'__30 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
du_map_122 T__'8846'__30
v5 AgdaAny -> AgdaAny
v6 AgdaAny
v7
du_map_122 ::
  MAlonzo.Code.Data.Sum.Base.T__'8846'__30 ->
  (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
du_map_122 :: T__'8846'__30 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
du_map_122 T__'8846'__30
v0 AgdaAny -> AgdaAny
v1 AgdaAny
v2
  = case T__'8846'__30 -> T__'8846'__30
forall a b. a -> b
coe T__'8846'__30
v0 of
      MAlonzo.Code.Data.Sum.Base.C_inj'8321'_38 AgdaAny
v3 -> AgdaAny
forall a. a
erased
      MAlonzo.Code.Data.Sum.Base.C_inj'8322'_42 AgdaAny
v3
        -> (Integer -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny)
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
             Integer -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
MAlonzo.Code.Function.Nary.NonDependent.Base.du_map'8345'_198
             (((AgdaAny -> AgdaAny -> AgdaAny)
 -> AgdaAny -> [AgdaAny] -> AgdaAny)
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
MAlonzo.Code.Data.List.Base.du_foldr_216 ((Integer -> Integer -> Integer) -> AgdaAny
forall a b. a -> b
coe Integer -> Integer -> Integer
addInt)
                (Integer -> AgdaAny
forall a b. a -> b
coe (Integer
0 :: Integer))
                (((AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                   (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny]
MAlonzo.Code.Data.List.Base.du_map_22
                   ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe
                      (\ AgdaAny
v4 ->
                         let v5 :: Integer
v5 = Integer
1 :: Integer in
                         AgdaAny -> AgdaAny
forall a b. a -> b
coe
                           (case AgdaAny -> T_Chunk_62
forall a b. a -> b
coe AgdaAny
v4 of
                              MAlonzo.Code.Text.Format.Generic.C_Raw_66 T_String_6
v6 -> Integer -> AgdaAny
forall a b. a -> b
coe (Integer
0 :: Integer)
                              T_Chunk_62
_ -> Integer -> AgdaAny
forall a b. a -> b
coe Integer
v5)))
                   (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v3)))
             ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny
v1) (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v2)
      T__'8846'__30
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Text.Printf.Generic.Render._.ArgChunk
d_ArgChunk_146 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Text.Format.Generic.T_FormatSpec_6 ->
  T_PrintfSpec_18 -> ()
d_ArgChunk_146 :: () -> () -> T_FormatSpec_6 -> T_PrintfSpec_18 -> ()
d_ArgChunk_146 = () -> () -> T_FormatSpec_6 -> T_PrintfSpec_18 -> ()
forall a. a
erased
-- Text.Printf.Generic.Render._.ArgType
d_ArgType_148 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Text.Format.Generic.T_FormatSpec_6 ->
  T_PrintfSpec_18 -> AgdaAny -> ()
d_ArgType_148 :: () -> () -> T_FormatSpec_6 -> T_PrintfSpec_18 -> AgdaAny -> ()
d_ArgType_148 = () -> () -> T_FormatSpec_6 -> T_PrintfSpec_18 -> AgdaAny -> ()
forall a. a
erased
-- Text.Printf.Generic.Render._.lexArg
d_lexArg_150 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Text.Format.Generic.T_FormatSpec_6 ->
  T_PrintfSpec_18 ->
  MAlonzo.Code.Agda.Builtin.Char.T_Char_6 -> Maybe AgdaAny
d_lexArg_150 :: ()
-> ()
-> T_FormatSpec_6
-> T_PrintfSpec_18
-> T_Char_6
-> Maybe AgdaAny
d_lexArg_150 ~()
v0 ~()
v1 T_FormatSpec_6
v2 ~T_PrintfSpec_18
v3 = T_FormatSpec_6 -> T_Char_6 -> Maybe AgdaAny
du_lexArg_150 T_FormatSpec_6
v2
du_lexArg_150 ::
  MAlonzo.Code.Text.Format.Generic.T_FormatSpec_6 ->
  MAlonzo.Code.Agda.Builtin.Char.T_Char_6 -> Maybe AgdaAny
du_lexArg_150 :: T_FormatSpec_6 -> T_Char_6 -> Maybe AgdaAny
du_lexArg_150 T_FormatSpec_6
v0
  = (T_FormatSpec_6 -> T_Char_6 -> Maybe AgdaAny)
-> AgdaAny -> T_Char_6 -> Maybe AgdaAny
forall a b. a -> b
coe T_FormatSpec_6 -> T_Char_6 -> Maybe AgdaAny
MAlonzo.Code.Text.Format.Generic.d_lexArg_18 (T_FormatSpec_6 -> AgdaAny
forall a b. a -> b
coe T_FormatSpec_6
v0)
-- Text.Printf.Generic.Render._.renderArg
d_renderArg_152 :: T_PrintfSpec_18 -> AgdaAny -> AgdaAny -> AgdaAny
d_renderArg_152 :: T_PrintfSpec_18 -> AgdaAny -> AgdaAny -> AgdaAny
d_renderArg_152 T_PrintfSpec_18
v0 = (T_PrintfSpec_18 -> AgdaAny -> AgdaAny -> AgdaAny)
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_PrintfSpec_18 -> AgdaAny -> AgdaAny -> AgdaAny
d_renderArg_50 (T_PrintfSpec_18 -> AgdaAny
forall a b. a -> b
coe T_PrintfSpec_18
v0)
-- Text.Printf.Generic.Render._.renderStr
d_renderStr_154 ::
  T_PrintfSpec_18 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6 -> AgdaAny
d_renderStr_154 :: T_PrintfSpec_18 -> T_String_6 -> AgdaAny
d_renderStr_154 T_PrintfSpec_18
v0 = (T_PrintfSpec_18 -> T_String_6 -> AgdaAny)
-> AgdaAny -> T_String_6 -> AgdaAny
forall a b. a -> b
coe T_PrintfSpec_18 -> T_String_6 -> AgdaAny
d_renderStr_52 (T_PrintfSpec_18 -> AgdaAny
forall a b. a -> b
coe T_PrintfSpec_18
v0)
-- Text.Printf.Generic.Render._.Error
d_Error_158 :: p -> p -> p -> p -> p -> p -> ()
d_Error_158 p
a0 p
a1 p
a2 p
a3 p
a4 p
a5 = ()
-- Text.Printf.Generic.Render._.Printf
d_Printf_162 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Text.Format.Generic.T_FormatSpec_6 ->
  T_PrintfSpec_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> () -> ()
d_Printf_162 :: ()
-> ()
-> T_FormatSpec_6
-> T_PrintfSpec_18
-> ()
-> T__'8846'__30
-> ()
-> ()
d_Printf_162 = ()
-> ()
-> T_FormatSpec_6
-> T_PrintfSpec_18
-> ()
-> T__'8846'__30
-> ()
-> ()
forall a. a
erased
-- Text.Printf.Generic.Render._.map
d_map_164 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Text.Format.Generic.T_FormatSpec_6 ->
  T_PrintfSpec_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Data.Sum.Base.T__'8846'__30 ->
  (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
d_map_164 :: ()
-> ()
-> T_FormatSpec_6
-> T_PrintfSpec_18
-> ()
-> ()
-> ()
-> ()
-> T__'8846'__30
-> (AgdaAny -> AgdaAny)
-> AgdaAny
-> AgdaAny
d_map_164 ~()
v0 ~()
v1 ~T_FormatSpec_6
v2 ~T_PrintfSpec_18
v3 = ()
-> ()
-> ()
-> ()
-> T__'8846'__30
-> (AgdaAny -> AgdaAny)
-> AgdaAny
-> AgdaAny
du_map_164
du_map_164 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Data.Sum.Base.T__'8846'__30 ->
  (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
du_map_164 :: ()
-> ()
-> ()
-> ()
-> T__'8846'__30
-> (AgdaAny -> AgdaAny)
-> AgdaAny
-> AgdaAny
du_map_164 ()
v0 ()
v1 ()
v2 ()
v3 T__'8846'__30
v4 AgdaAny -> AgdaAny
v5 AgdaAny
v6 = (T__'8846'__30 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny)
-> T__'8846'__30 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T__'8846'__30 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
du_map_122 T__'8846'__30
v4 AgdaAny -> AgdaAny
v5 AgdaAny
v6
-- Text.Printf.Generic.Render._.lexer
d_lexer_184 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Text.Format.Generic.T_FormatSpec_6 ->
  T_PrintfSpec_18 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  MAlonzo.Code.Data.Sum.Base.T__'8846'__30
d_lexer_184 :: ()
-> ()
-> T_FormatSpec_6
-> T_PrintfSpec_18
-> T_String_6
-> T__'8846'__30
d_lexer_184 ~()
v0 ~()
v1 T_FormatSpec_6
v2 ~T_PrintfSpec_18
v3 = T_FormatSpec_6 -> T_String_6 -> T__'8846'__30
du_lexer_184 T_FormatSpec_6
v2
du_lexer_184 ::
  MAlonzo.Code.Text.Format.Generic.T_FormatSpec_6 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  MAlonzo.Code.Data.Sum.Base.T__'8846'__30
du_lexer_184 :: T_FormatSpec_6 -> T_String_6 -> T__'8846'__30
du_lexer_184 T_FormatSpec_6
v0
  = (T_FormatSpec_6 -> T_String_6 -> T__'8846'__30)
-> AgdaAny -> T_String_6 -> T__'8846'__30
forall a b. a -> b
coe T_FormatSpec_6 -> T_String_6 -> T__'8846'__30
MAlonzo.Code.Text.Format.Generic.d_lexer_90 (T_FormatSpec_6 -> AgdaAny
forall a b. a -> b
coe T_FormatSpec_6
v0)
-- Text.Printf.Generic.Render._.⟦_⟧
d_'10214'_'10215'_188 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Text.Format.Generic.T_FormatSpec_6 ->
  T_PrintfSpec_18 ->
  [MAlonzo.Code.Text.Format.Generic.T_Chunk_62] -> AgdaAny
d_'10214'_'10215'_188 :: ()
-> ()
-> T_FormatSpec_6
-> T_PrintfSpec_18
-> [T_Chunk_62]
-> AgdaAny
d_'10214'_'10215'_188 ~()
v0 ~()
v1 ~T_FormatSpec_6
v2 ~T_PrintfSpec_18
v3 = [T_Chunk_62] -> AgdaAny
du_'10214'_'10215'_188
du_'10214'_'10215'_188 ::
  [MAlonzo.Code.Text.Format.Generic.T_Chunk_62] -> AgdaAny
du_'10214'_'10215'_188 :: [T_Chunk_62] -> AgdaAny
du_'10214'_'10215'_188
  = ([T_Chunk_62] -> AgdaAny) -> [T_Chunk_62] -> AgdaAny
forall a b. a -> b
coe [T_Chunk_62] -> AgdaAny
MAlonzo.Code.Text.Format.Generic.du_'10214'_'10215'_76
-- Text.Printf.Generic.Render.assemble
d_assemble_204 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Text.Format.Generic.T_FormatSpec_6 ->
  T_PrintfSpec_18 ->
  [MAlonzo.Code.Text.Format.Generic.T_Chunk_62] ->
  AgdaAny -> [AgdaAny]
d_assemble_204 :: ()
-> ()
-> T_FormatSpec_6
-> T_PrintfSpec_18
-> [T_Chunk_62]
-> AgdaAny
-> [AgdaAny]
d_assemble_204 ~()
v0 ~()
v1 ~T_FormatSpec_6
v2 T_PrintfSpec_18
v3 [T_Chunk_62]
v4 AgdaAny
v5 = T_PrintfSpec_18 -> [T_Chunk_62] -> AgdaAny -> [AgdaAny]
du_assemble_204 T_PrintfSpec_18
v3 [T_Chunk_62]
v4 AgdaAny
v5
du_assemble_204 ::
  T_PrintfSpec_18 ->
  [MAlonzo.Code.Text.Format.Generic.T_Chunk_62] ->
  AgdaAny -> [AgdaAny]
du_assemble_204 :: T_PrintfSpec_18 -> [T_Chunk_62] -> AgdaAny -> [AgdaAny]
du_assemble_204 T_PrintfSpec_18
v0 [T_Chunk_62]
v1 AgdaAny
v2
  = case [T_Chunk_62] -> [AgdaAny]
forall a b. a -> b
coe [T_Chunk_62]
v1 of
      [] -> [T_Chunk_62] -> [AgdaAny]
forall a b. a -> b
coe [T_Chunk_62]
v1
      (:) AgdaAny
v3 [AgdaAny]
v4
        -> case AgdaAny -> T_Chunk_62
forall a b. a -> b
coe AgdaAny
v3 of
             MAlonzo.Code.Text.Format.Generic.C_Arg_64 AgdaAny
v5
               -> case AgdaAny -> T_Σ_14
forall a b. a -> b
coe AgdaAny
v2 of
                    MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32 AgdaAny
v6 AgdaAny
v7
                      -> (AgdaAny -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> [AgdaAny]
forall a b. a -> b
coe
                           AgdaAny -> [AgdaAny] -> [AgdaAny]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
                           ((T_PrintfSpec_18 -> AgdaAny -> AgdaAny -> AgdaAny)
-> T_PrintfSpec_18 -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_PrintfSpec_18 -> AgdaAny -> AgdaAny -> AgdaAny
d_renderArg_50 T_PrintfSpec_18
v0 AgdaAny
v5 AgdaAny
v6)
                           ((T_PrintfSpec_18 -> [T_Chunk_62] -> AgdaAny -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_PrintfSpec_18 -> [T_Chunk_62] -> AgdaAny -> [AgdaAny]
du_assemble_204 (T_PrintfSpec_18 -> AgdaAny
forall a b. a -> b
coe T_PrintfSpec_18
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v4) (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v7))
                    T_Σ_14
_ -> [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
             MAlonzo.Code.Text.Format.Generic.C_Raw_66 T_String_6
v5
               -> (AgdaAny -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> [AgdaAny]
forall a b. a -> b
coe
                    AgdaAny -> [AgdaAny] -> [AgdaAny]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
                    ((T_PrintfSpec_18 -> T_String_6 -> AgdaAny)
-> T_PrintfSpec_18 -> T_String_6 -> AgdaAny
forall a b. a -> b
coe T_PrintfSpec_18 -> T_String_6 -> AgdaAny
d_renderStr_52 T_PrintfSpec_18
v0 T_String_6
v5)
                    ((T_PrintfSpec_18 -> [T_Chunk_62] -> AgdaAny -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_PrintfSpec_18 -> [T_Chunk_62] -> AgdaAny -> [AgdaAny]
du_assemble_204 (T_PrintfSpec_18 -> AgdaAny
forall a b. a -> b
coe T_PrintfSpec_18
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v4) (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v2))
             T_Chunk_62
_ -> [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
      [AgdaAny]
_ -> [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Text.Printf.Generic.Render.printf′
d_printf'8242'_224 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Text.Format.Generic.T_FormatSpec_6 ->
  T_PrintfSpec_18 ->
  MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> AgdaAny
d_printf'8242'_224 :: ()
-> ()
-> T_FormatSpec_6
-> T_PrintfSpec_18
-> T__'8846'__30
-> AgdaAny
d_printf'8242'_224 ~()
v0 ~()
v1 ~T_FormatSpec_6
v2 T_PrintfSpec_18
v3 T__'8846'__30
v4 = T_PrintfSpec_18 -> T__'8846'__30 -> AgdaAny
du_printf'8242'_224 T_PrintfSpec_18
v3 T__'8846'__30
v4
du_printf'8242'_224 ::
  T_PrintfSpec_18 ->
  MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> AgdaAny
du_printf'8242'_224 :: T_PrintfSpec_18 -> T__'8846'__30 -> AgdaAny
du_printf'8242'_224 T_PrintfSpec_18
v0 T__'8846'__30
v1
  = case T__'8846'__30 -> T__'8846'__30
forall a b. a -> b
coe T__'8846'__30
v1 of
      MAlonzo.Code.Data.Sum.Base.C_inj'8321'_38 AgdaAny
v2 -> AgdaAny
forall a. a
erased
      MAlonzo.Code.Data.Sum.Base.C_inj'8322'_42 AgdaAny
v2
        -> (Integer -> (AgdaAny -> AgdaAny) -> AgdaAny)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
             Integer -> (AgdaAny -> AgdaAny) -> AgdaAny
MAlonzo.Code.Data.Product.Nary.NonDependent.du_curry'8868''8345'_190
             (((AgdaAny -> AgdaAny -> AgdaAny)
 -> AgdaAny -> [AgdaAny] -> AgdaAny)
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
MAlonzo.Code.Data.List.Base.du_foldr_216 ((Integer -> Integer -> Integer) -> AgdaAny
forall a b. a -> b
coe Integer -> Integer -> Integer
addInt)
                (Integer -> AgdaAny
forall a b. a -> b
coe (Integer
0 :: Integer))
                (((AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                   (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny]
MAlonzo.Code.Data.List.Base.du_map_22
                   ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe
                      (\ AgdaAny
v3 ->
                         let v4 :: Integer
v4 = Integer
1 :: Integer in
                         AgdaAny -> AgdaAny
forall a b. a -> b
coe
                           (case AgdaAny -> T_Chunk_62
forall a b. a -> b
coe AgdaAny
v3 of
                              MAlonzo.Code.Text.Format.Generic.C_Raw_66 T_String_6
v5 -> Integer -> AgdaAny
forall a b. a -> b
coe (Integer
0 :: Integer)
                              T_Chunk_62
_ -> Integer -> AgdaAny
forall a b. a -> b
coe Integer
v4)))
                   (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v2)))
             ((T_PrintfSpec_18 -> [T_Chunk_62] -> AgdaAny -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_PrintfSpec_18 -> [T_Chunk_62] -> AgdaAny -> [AgdaAny]
du_assemble_204 (T_PrintfSpec_18 -> AgdaAny
forall a b. a -> b
coe T_PrintfSpec_18
v0) (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v2))
      T__'8846'__30
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Text.Printf.Generic.Render.printf
d_printf_232 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Text.Format.Generic.T_FormatSpec_6 ->
  T_PrintfSpec_18 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6 -> AgdaAny
d_printf_232 :: ()
-> () -> T_FormatSpec_6 -> T_PrintfSpec_18 -> T_String_6 -> AgdaAny
d_printf_232 ~()
v0 ~()
v1 T_FormatSpec_6
v2 T_PrintfSpec_18
v3 T_String_6
v4 = T_FormatSpec_6 -> T_PrintfSpec_18 -> T_String_6 -> AgdaAny
du_printf_232 T_FormatSpec_6
v2 T_PrintfSpec_18
v3 T_String_6
v4
du_printf_232 ::
  MAlonzo.Code.Text.Format.Generic.T_FormatSpec_6 ->
  T_PrintfSpec_18 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6 -> AgdaAny
du_printf_232 :: T_FormatSpec_6 -> T_PrintfSpec_18 -> T_String_6 -> AgdaAny
du_printf_232 T_FormatSpec_6
v0 T_PrintfSpec_18
v1 T_String_6
v2
  = (T_PrintfSpec_18 -> T__'8846'__30 -> AgdaAny)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
      T_PrintfSpec_18 -> T__'8846'__30 -> AgdaAny
du_printf'8242'_224 (T_PrintfSpec_18 -> AgdaAny
forall a b. a -> b
coe T_PrintfSpec_18
v1)
      ((T_FormatSpec_6 -> T_String_6 -> T__'8846'__30)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_FormatSpec_6 -> T_String_6 -> T__'8846'__30
MAlonzo.Code.Text.Format.Generic.d_lexer_90 (T_FormatSpec_6 -> AgdaAny
forall a b. a -> b
coe T_FormatSpec_6
v0) (T_String_6 -> AgdaAny
forall a b. a -> b
coe T_String_6
v2))