{-# 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.Reflection.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.Float
import qualified MAlonzo.Code.Agda.Builtin.Reflection
import qualified MAlonzo.Code.Agda.Builtin.Sigma
import qualified MAlonzo.Code.Agda.Builtin.String
import qualified MAlonzo.Code.Data.List.Base
import qualified MAlonzo.Code.Data.Nat.Show
import qualified MAlonzo.Code.Data.String
import qualified MAlonzo.Code.Data.String.Base
import qualified MAlonzo.Code.Function.Base
import qualified MAlonzo.Code.Reflection.Argument
import qualified MAlonzo.Code.Reflection.Argument.Information

-- Reflection.Show.showRelevance
d_showRelevance_4 ::
  MAlonzo.Code.Agda.Builtin.Reflection.T_Relevance_56 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_showRelevance_4 :: T_Relevance_56 -> Text
d_showRelevance_4 T_Relevance_56
v0
  = case T_Relevance_56 -> T_Relevance_56
forall a b. a -> b
coe T_Relevance_56
v0 of
      T_Relevance_56
MAlonzo.Code.Agda.Builtin.Reflection.C_relevant_58
        -> Text -> Text
forall a b. a -> b
coe (Text
"relevant" :: Data.Text.Text)
      T_Relevance_56
MAlonzo.Code.Agda.Builtin.Reflection.C_irrelevant_60
        -> Text -> Text
forall a b. a -> b
coe (Text
"irrelevant" :: Data.Text.Text)
      T_Relevance_56
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Reflection.Show.showRel
d_showRel_6 ::
  MAlonzo.Code.Agda.Builtin.Reflection.T_Relevance_56 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_showRel_6 :: T_Relevance_56 -> Text
d_showRel_6 T_Relevance_56
v0
  = case T_Relevance_56 -> T_Relevance_56
forall a b. a -> b
coe T_Relevance_56
v0 of
      T_Relevance_56
MAlonzo.Code.Agda.Builtin.Reflection.C_relevant_58
        -> Text -> Text
forall a b. a -> b
coe (Text
"" :: Data.Text.Text)
      T_Relevance_56
MAlonzo.Code.Agda.Builtin.Reflection.C_irrelevant_60
        -> Text -> Text
forall a b. a -> b
coe (Text
"." :: Data.Text.Text)
      T_Relevance_56
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Reflection.Show.showVisibility
d_showVisibility_8 ::
  MAlonzo.Code.Agda.Builtin.Reflection.T_Visibility_48 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_showVisibility_8 :: T_Visibility_48 -> Text
d_showVisibility_8 T_Visibility_48
v0
  = case T_Visibility_48 -> T_Visibility_48
forall a b. a -> b
coe T_Visibility_48
v0 of
      T_Visibility_48
MAlonzo.Code.Agda.Builtin.Reflection.C_visible_50
        -> Text -> Text
forall a b. a -> b
coe (Text
"visible" :: Data.Text.Text)
      T_Visibility_48
MAlonzo.Code.Agda.Builtin.Reflection.C_hidden_52
        -> Text -> Text
forall a b. a -> b
coe (Text
"hidden" :: Data.Text.Text)
      T_Visibility_48
MAlonzo.Code.Agda.Builtin.Reflection.C_instance'8242'_54
        -> Text -> Text
forall a b. a -> b
coe (Text
"instance" :: Data.Text.Text)
      T_Visibility_48
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Reflection.Show.showLiteral
d_showLiteral_10 ::
  MAlonzo.Code.Agda.Builtin.Reflection.T_Literal_124 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_showLiteral_10 :: T_Literal_124 -> Text
d_showLiteral_10 T_Literal_124
v0
  = case T_Literal_124 -> T_Literal_124
forall a b. a -> b
coe T_Literal_124
v0 of
      MAlonzo.Code.Agda.Builtin.Reflection.C_nat_128 Integer
v1
        -> (Integer -> Text) -> Any -> Text
forall a b. a -> b
coe Integer -> Text
MAlonzo.Code.Data.Nat.Show.d_show_56 (Integer -> Any
forall a b. a -> b
coe Integer
v1)
      MAlonzo.Code.Agda.Builtin.Reflection.C_word64_132 Word64
v1
        -> (Integer -> Text) -> Any -> Text
forall a b. a -> b
coe
             Integer -> Text
MAlonzo.Code.Data.Nat.Show.d_show_56 ((Word64 -> Integer) -> Any -> Any
forall a b. a -> b
coe Word64 -> Integer
word64ToNat (Word64 -> Any
forall a b. a -> b
coe Word64
v1))
      MAlonzo.Code.Agda.Builtin.Reflection.C_float_136 T_Float_6
v1
        -> (T_Float_6 -> Text) -> T_Float_6 -> Text
forall a b. a -> b
coe T_Float_6 -> Text
MAlonzo.Code.Agda.Builtin.Float.d_primShowFloat_46 T_Float_6
v1
      MAlonzo.Code.Agda.Builtin.Reflection.C_char_140 T_Char_6
v1
        -> (T_Char_6 -> Text) -> T_Char_6 -> Text
forall a b. a -> b
coe T_Char_6 -> Text
MAlonzo.Code.Agda.Builtin.String.d_primShowChar_20 T_Char_6
v1
      MAlonzo.Code.Agda.Builtin.Reflection.C_string_144 Text
v1
        -> (Text -> Text) -> Text -> Text
forall a b. a -> b
coe Text -> Text
MAlonzo.Code.Agda.Builtin.String.d_primShowString_22 Text
v1
      MAlonzo.Code.Agda.Builtin.Reflection.C_name_148 Any
v1
        -> (QName -> Text) -> Any -> Text
forall a b. a -> b
coe QName -> Text
MAlonzo.Code.Agda.Builtin.Reflection.d_primShowQName_12 Any
v1
      MAlonzo.Code.Agda.Builtin.Reflection.C_meta_152 Any
v1
        -> ((Integer, Integer) -> Text) -> Any -> Text
forall a b. a -> b
coe (Integer, Integer) -> Text
MAlonzo.Code.Agda.Builtin.Reflection.d_primShowMeta_44 Any
v1
      T_Literal_124
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Reflection.Show.visibilityParen
d_visibilityParen_26 ::
  MAlonzo.Code.Agda.Builtin.Reflection.T_Visibility_48 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_visibilityParen_26 :: T_Visibility_48 -> Text -> Text
d_visibilityParen_26 T_Visibility_48
v0 Text
v1
  = case T_Visibility_48 -> T_Visibility_48
forall a b. a -> b
coe T_Visibility_48
v0 of
      T_Visibility_48
MAlonzo.Code.Agda.Builtin.Reflection.C_visible_50
        -> (Text -> Text) -> Any -> Text
forall a b. a -> b
coe Text -> Text
MAlonzo.Code.Data.String.d_parensIfSpace_132 (Text -> Any
forall a b. a -> b
coe Text
v1)
      T_Visibility_48
MAlonzo.Code.Agda.Builtin.Reflection.C_hidden_52
        -> (Text -> Text) -> Any -> Text
forall a b. a -> b
coe Text -> Text
MAlonzo.Code.Data.String.Base.d_braces_42 (Text -> Any
forall a b. a -> b
coe Text
v1)
      T_Visibility_48
MAlonzo.Code.Agda.Builtin.Reflection.C_instance'8242'_54
        -> (Text -> Text) -> Any -> Text
forall a b. a -> b
coe
             Text -> Text
MAlonzo.Code.Data.String.Base.d_braces_42
             ((Text -> Text) -> Any -> Any
forall a b. a -> b
coe Text -> Text
MAlonzo.Code.Data.String.Base.d_braces_42 (Text -> Any
forall a b. a -> b
coe Text
v1))
      T_Visibility_48
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Reflection.Show.showTerms
d_showTerms_34 ::
  [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_showTerms_34 :: [T_Arg_88] -> Text
d_showTerms_34 [T_Arg_88]
v0
  = case [T_Arg_88] -> [Any]
forall a b. a -> b
coe [T_Arg_88]
v0 of
      [] -> Text -> Text
forall a b. a -> b
coe (Text
"" :: Data.Text.Text)
      (:) Any
v1 [Any]
v2
        -> case Any -> T_Arg_88
forall a b. a -> b
coe Any
v1 of
             MAlonzo.Code.Agda.Builtin.Reflection.C_arg_98 T_ArgInfo_76
v3 Any
v4
               -> (Text -> Text -> Text) -> Any -> Any -> Text
forall a b. a -> b
coe
                    Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
                    ((T_Visibility_48 -> Text -> Text) -> Any -> Any -> Any
forall a b. a -> b
coe
                       T_Visibility_48 -> Text -> Text
d_visibilityParen_26
                       ((T_ArgInfo_76 -> T_Visibility_48) -> Any -> Any
forall a b. a -> b
coe
                          T_ArgInfo_76 -> T_Visibility_48
MAlonzo.Code.Reflection.Argument.Information.d_visibility_14
                          (T_ArgInfo_76 -> Any
forall a b. a -> b
coe T_ArgInfo_76
v3))
                       ((T_Term_154 -> Text) -> Any -> Any
forall a b. a -> b
coe T_Term_154 -> Text
d_showTerm_36 (Any -> Any
forall a b. a -> b
coe Any
v4)))
                    (([T_Arg_88] -> Text) -> Any -> Any
forall a b. a -> b
coe [T_Arg_88] -> Text
d_showTerms_34 ([Any] -> Any
forall a b. a -> b
coe [Any]
v2))
             T_Arg_88
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
      [Any]
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Reflection.Show.showTerm
d_showTerm_36 ::
  MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_showTerm_36 :: T_Term_154 -> Text
d_showTerm_36 T_Term_154
v0
  = case T_Term_154 -> T_Term_154
forall a b. a -> b
coe T_Term_154
v0 of
      MAlonzo.Code.Agda.Builtin.Reflection.C_var_172 Integer
v1 [T_Arg_88]
v2
        -> (Text -> Text -> Text) -> Any -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
             (Text -> Any
forall a b. a -> b
coe (Text
"var" :: Data.Text.Text))
             ((Text -> Text -> Text) -> Any -> Any -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
                ((Integer -> Text) -> Any -> Any
forall a b. a -> b
coe Integer -> Text
MAlonzo.Code.Data.Nat.Show.d_show_56 (Integer -> Any
forall a b. a -> b
coe Integer
v1))
                (([T_Arg_88] -> Text) -> Any -> Any
forall a b. a -> b
coe [T_Arg_88] -> Text
d_showTerms_34 ([T_Arg_88] -> Any
forall a b. a -> b
coe [T_Arg_88]
v2)))
      MAlonzo.Code.Agda.Builtin.Reflection.C_con_178 Any
v1 [T_Arg_88]
v2
        -> (Text -> Text -> Text) -> Any -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
             ((QName -> Text) -> Any -> Any
forall a b. a -> b
coe QName -> Text
MAlonzo.Code.Agda.Builtin.Reflection.d_primShowQName_12 Any
v1)
             (([T_Arg_88] -> Text) -> Any -> Any
forall a b. a -> b
coe [T_Arg_88] -> Text
d_showTerms_34 ([T_Arg_88] -> Any
forall a b. a -> b
coe [T_Arg_88]
v2))
      MAlonzo.Code.Agda.Builtin.Reflection.C_def_184 Any
v1 [T_Arg_88]
v2
        -> (Text -> Text -> Text) -> Any -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
             ((QName -> Text) -> Any -> Any
forall a b. a -> b
coe QName -> Text
MAlonzo.Code.Agda.Builtin.Reflection.d_primShowQName_12 Any
v1)
             (([T_Arg_88] -> Text) -> Any -> Any
forall a b. a -> b
coe [T_Arg_88] -> Text
d_showTerms_34 ([T_Arg_88] -> Any
forall a b. a -> b
coe [T_Arg_88]
v2))
      MAlonzo.Code.Agda.Builtin.Reflection.C_lam_190 T_Visibility_48
v1 T_Abs_112
v2
        -> case T_Abs_112 -> T_Abs_112
forall a b. a -> b
coe T_Abs_112
v2 of
             MAlonzo.Code.Agda.Builtin.Reflection.C_abs_122 Text
v3 Any
v4
               -> (Text -> Text -> Text) -> Any -> Any -> Text
forall a b. a -> b
coe
                    Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
                    (Text -> Any
forall a b. a -> b
coe (Text
"\955" :: Data.Text.Text))
                    ((Text -> Text -> Text) -> Any -> Any -> Any
forall a b. a -> b
coe
                       Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
                       ((T_Visibility_48 -> Text -> Text) -> Any -> Any -> Any
forall a b. a -> b
coe T_Visibility_48 -> Text -> Text
d_visibilityParen_26 (T_Visibility_48 -> Any
forall a b. a -> b
coe T_Visibility_48
v1) (Text -> Any
forall a b. a -> b
coe Text
v3))
                       ((Text -> Text -> Text) -> Any -> Any -> Any
forall a b. a -> b
coe
                          Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
                          (Text -> Any
forall a b. a -> b
coe (Text
"\8594" :: Data.Text.Text)) ((T_Term_154 -> Text) -> Any -> Any
forall a b. a -> b
coe T_Term_154 -> Text
d_showTerm_36 (Any -> Any
forall a b. a -> b
coe Any
v4))))
             T_Abs_112
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.Agda.Builtin.Reflection.C_pat'45'lam_196 [T_Clause_160]
v1 [T_Arg_88]
v2
        -> (Text -> Text -> Text) -> Any -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
             (Text -> Any
forall a b. a -> b
coe (Text
"\955 {" :: Data.Text.Text))
             ((Text -> Text -> Text) -> Any -> Any -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
                (([T_Clause_160] -> Text) -> Any -> Any
forall a b. a -> b
coe [T_Clause_160] -> Text
d_showClauses_46 ([T_Clause_160] -> Any
forall a b. a -> b
coe [T_Clause_160]
v1))
                ((Text -> Text -> Text) -> Any -> Any -> Any
forall a b. a -> b
coe
                   Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
                   (Text -> Any
forall a b. a -> b
coe (Text
"}" :: Data.Text.Text)) (([T_Arg_88] -> Text) -> Any -> Any
forall a b. a -> b
coe [T_Arg_88] -> Text
d_showTerms_34 ([T_Arg_88] -> Any
forall a b. a -> b
coe [T_Arg_88]
v2))))
      MAlonzo.Code.Agda.Builtin.Reflection.C_pi_202 T_Arg_88
v1 T_Abs_112
v2
        -> case T_Arg_88 -> T_Arg_88
forall a b. a -> b
coe T_Arg_88
v1 of
             MAlonzo.Code.Agda.Builtin.Reflection.C_arg_98 T_ArgInfo_76
v3 Any
v4
               -> case T_Abs_112 -> T_Abs_112
forall a b. a -> b
coe T_Abs_112
v2 of
                    MAlonzo.Code.Agda.Builtin.Reflection.C_abs_122 Text
v5 Any
v6
                      -> (Text -> Text -> Text) -> Text -> Text -> Text
forall a b. a -> b
coe
                           Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                           (Text
"\928 (" :: Data.Text.Text)
                           (Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
                              ((T_Visibility_48 -> Text -> Text) -> Any -> Any -> Text
forall a b. a -> b
coe
                                 T_Visibility_48 -> Text -> Text
d_visibilityParen_26
                                 ((T_ArgInfo_76 -> T_Visibility_48) -> Any -> Any
forall a b. a -> b
coe
                                    T_ArgInfo_76 -> T_Visibility_48
MAlonzo.Code.Reflection.Argument.Information.d_visibility_14
                                    (T_ArgInfo_76 -> Any
forall a b. a -> b
coe T_ArgInfo_76
v3))
                                 (Text -> Any
forall a b. a -> b
coe Text
v5))
                              ((Text -> Text -> Text) -> Any -> Any -> Text
forall a b. a -> b
coe
                                 Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
                                 (Text -> Any
forall a b. a -> b
coe (Text
":" :: Data.Text.Text))
                                 ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
                                    Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                                    (Text -> Text
MAlonzo.Code.Data.String.d_parensIfSpace_132
                                       ((T_Term_154 -> Text) -> Any -> Text
forall a b. a -> b
coe T_Term_154 -> Text
d_showTerm_36 (Any -> Any
forall a b. a -> b
coe Any
v4)))
                                    (Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
                                       (Text -> Text
forall a b. a -> b
coe (Text
")" :: Data.Text.Text))
                                       ((Text -> Text) -> Any -> Text
forall a b. a -> b
coe
                                          Text -> Text
MAlonzo.Code.Data.String.d_parensIfSpace_132
                                          ((T_Term_154 -> Text) -> Any -> Any
forall a b. a -> b
coe T_Term_154 -> Text
d_showTerm_36 (Any -> Any
forall a b. a -> b
coe Any
v6)))))))
                    T_Abs_112
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
             T_Arg_88
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
      MAlonzo.Code.Agda.Builtin.Reflection.C_agda'45'sort_206 T_Sort_156
v1
        -> (T_Sort_156 -> Text) -> Any -> Text
forall a b. a -> b
coe T_Sort_156 -> Text
d_showSort_38 (T_Sort_156 -> Any
forall a b. a -> b
coe T_Sort_156
v1)
      MAlonzo.Code.Agda.Builtin.Reflection.C_lit_210 T_Literal_124
v1
        -> (T_Literal_124 -> Text) -> Any -> Text
forall a b. a -> b
coe T_Literal_124 -> Text
d_showLiteral_10 (T_Literal_124 -> Any
forall a b. a -> b
coe T_Literal_124
v1)
      MAlonzo.Code.Agda.Builtin.Reflection.C_meta_214 Any
v1 [T_Arg_88]
v2
        -> (Text -> Text -> Text) -> Any -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
             (((Integer, Integer) -> Text) -> Any -> Any
forall a b. a -> b
coe (Integer, Integer) -> Text
MAlonzo.Code.Agda.Builtin.Reflection.d_primShowMeta_44 Any
v1)
             (([T_Arg_88] -> Text) -> Any -> Any
forall a b. a -> b
coe [T_Arg_88] -> Text
d_showTerms_34 ([T_Arg_88] -> Any
forall a b. a -> b
coe [T_Arg_88]
v2))
      T_Term_154
MAlonzo.Code.Agda.Builtin.Reflection.C_unknown_216
        -> Text -> Text
forall a b. a -> b
coe (Text
"unknown" :: Data.Text.Text)
      T_Term_154
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Reflection.Show.showSort
d_showSort_38 ::
  MAlonzo.Code.Agda.Builtin.Reflection.T_Sort_156 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_showSort_38 :: T_Sort_156 -> Text
d_showSort_38 T_Sort_156
v0
  = case T_Sort_156 -> T_Sort_156
forall a b. a -> b
coe T_Sort_156
v0 of
      MAlonzo.Code.Agda.Builtin.Reflection.C_set_220 T_Term_154
v1
        -> (Text -> Text -> Text) -> Any -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
             (Text -> Any
forall a b. a -> b
coe (Text
"Set" :: Data.Text.Text))
             ((Text -> Text) -> Any -> Any
forall a b. a -> b
coe
                Text -> Text
MAlonzo.Code.Data.String.d_parensIfSpace_132
                ((T_Term_154 -> Text) -> Any -> Any
forall a b. a -> b
coe T_Term_154 -> Text
d_showTerm_36 (T_Term_154 -> Any
forall a b. a -> b
coe T_Term_154
v1)))
      MAlonzo.Code.Agda.Builtin.Reflection.C_lit_224 Integer
v1
        -> (Text -> Text -> Text) -> Text -> Text -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
             (Text
"Set" :: Data.Text.Text)
             (Integer -> Text
MAlonzo.Code.Data.Nat.Show.d_show_56 (Integer -> Integer
forall a b. a -> b
coe Integer
v1))
      MAlonzo.Code.Agda.Builtin.Reflection.C_prop_228 T_Term_154
v1
        -> (Text -> Text -> Text) -> Any -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
             (Text -> Any
forall a b. a -> b
coe (Text
"Prop" :: Data.Text.Text))
             ((Text -> Text) -> Any -> Any
forall a b. a -> b
coe
                Text -> Text
MAlonzo.Code.Data.String.d_parensIfSpace_132
                ((T_Term_154 -> Text) -> Any -> Any
forall a b. a -> b
coe T_Term_154 -> Text
d_showTerm_36 (T_Term_154 -> Any
forall a b. a -> b
coe T_Term_154
v1)))
      MAlonzo.Code.Agda.Builtin.Reflection.C_propLit_232 Integer
v1
        -> (Text -> Text -> Text) -> Text -> Text -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
             (Text
"Prop" :: Data.Text.Text)
             (Integer -> Text
MAlonzo.Code.Data.Nat.Show.d_show_56 (Integer -> Integer
forall a b. a -> b
coe Integer
v1))
      MAlonzo.Code.Agda.Builtin.Reflection.C_inf_236 Integer
v1
        -> (Text -> Text -> Text) -> Text -> Text -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
             (Text
"Set\969" :: Data.Text.Text)
             (Integer -> Text
MAlonzo.Code.Data.Nat.Show.d_show_56 (Integer -> Integer
forall a b. a -> b
coe Integer
v1))
      T_Sort_156
MAlonzo.Code.Agda.Builtin.Reflection.C_unknown_238
        -> Text -> Text
forall a b. a -> b
coe (Text
"unknown" :: Data.Text.Text)
      T_Sort_156
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Reflection.Show.showPatterns
d_showPatterns_40 ::
  [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_showPatterns_40 :: [T_Arg_88] -> Text
d_showPatterns_40 [T_Arg_88]
v0
  = case [T_Arg_88] -> [Any]
forall a b. a -> b
coe [T_Arg_88]
v0 of
      [] -> Text -> Text
forall a b. a -> b
coe (Text
"" :: Data.Text.Text)
      (:) Any
v1 [Any]
v2
        -> (Text -> Text -> Text) -> Any -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
             ((T_Arg_88 -> Text) -> Any -> Any
forall a b. a -> b
coe T_Arg_88 -> Text
du_showArg_112 (Any -> Any
forall a b. a -> b
coe Any
v1)) (([T_Arg_88] -> Text) -> Any -> Any
forall a b. a -> b
coe [T_Arg_88] -> Text
d_showPatterns_40 ([Any] -> Any
forall a b. a -> b
coe [Any]
v2))
      [Any]
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Reflection.Show.showPattern
d_showPattern_42 ::
  MAlonzo.Code.Agda.Builtin.Reflection.T_Pattern_158 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_showPattern_42 :: T_Pattern_158 -> Text
d_showPattern_42 T_Pattern_158
v0
  = case T_Pattern_158 -> T_Pattern_158
forall a b. a -> b
coe T_Pattern_158
v0 of
      MAlonzo.Code.Agda.Builtin.Reflection.C_con_244 Any
v1 [T_Arg_88]
v2
        -> let v3 :: Text
v3
                 = Text -> Text
MAlonzo.Code.Data.String.Base.d_parens_38
                     ((Text -> Text -> Text) -> Any -> Any -> Text
forall a b. a -> b
coe
                        Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
                        ((QName -> Text) -> Any -> Any
forall a b. a -> b
coe QName -> Text
MAlonzo.Code.Agda.Builtin.Reflection.d_primShowQName_12 Any
v1)
                        (([T_Arg_88] -> Text) -> Any -> Any
forall a b. a -> b
coe [T_Arg_88] -> Text
d_showPatterns_40 ([T_Arg_88] -> Any
forall a b. a -> b
coe [T_Arg_88]
v2))) in
           Any -> Text
forall a b. a -> b
coe
             (case [T_Arg_88] -> [Any]
forall a b. a -> b
coe [T_Arg_88]
v2 of
                []
                  -> (QName -> Text) -> Any -> Any
forall a b. a -> b
coe QName -> Text
MAlonzo.Code.Agda.Builtin.Reflection.d_primShowQName_12 Any
v1
                [Any]
_ -> Text -> Any
forall a b. a -> b
coe Text
v3)
      MAlonzo.Code.Agda.Builtin.Reflection.C_dot_248 T_Term_154
v1
        -> (Text -> Text -> Text) -> Text -> Text -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
             (Text
"." :: Data.Text.Text)
             (Text -> Text
MAlonzo.Code.Data.String.Base.d_parens_38
                ((T_Term_154 -> Text) -> Any -> Text
forall a b. a -> b
coe T_Term_154 -> Text
d_showTerm_36 (T_Term_154 -> Any
forall a b. a -> b
coe T_Term_154
v1)))
      MAlonzo.Code.Agda.Builtin.Reflection.C_var_252 Integer
v1
        -> (Text -> Text -> Text) -> Any -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
             (Text -> Any
forall a b. a -> b
coe (Text
"pat-var" :: Data.Text.Text))
             ((Integer -> Text) -> Any -> Any
forall a b. a -> b
coe Integer -> Text
MAlonzo.Code.Data.Nat.Show.d_show_56 (Integer -> Any
forall a b. a -> b
coe Integer
v1))
      MAlonzo.Code.Agda.Builtin.Reflection.C_lit_256 T_Literal_124
v1
        -> (T_Literal_124 -> Text) -> Any -> Text
forall a b. a -> b
coe T_Literal_124 -> Text
d_showLiteral_10 (T_Literal_124 -> Any
forall a b. a -> b
coe T_Literal_124
v1)
      MAlonzo.Code.Agda.Builtin.Reflection.C_proj_260 Any
v1
        -> (QName -> Text) -> Any -> Text
forall a b. a -> b
coe QName -> Text
MAlonzo.Code.Agda.Builtin.Reflection.d_primShowQName_12 Any
v1
      MAlonzo.Code.Agda.Builtin.Reflection.C_absurd_264 Integer
v1
        -> Text -> Text
forall a b. a -> b
coe (Text
"()" :: Data.Text.Text)
      T_Pattern_158
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Reflection.Show.showClause
d_showClause_44 ::
  MAlonzo.Code.Agda.Builtin.Reflection.T_Clause_160 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_showClause_44 :: T_Clause_160 -> Text
d_showClause_44 T_Clause_160
v0
  = case T_Clause_160 -> T_Clause_160
forall a b. a -> b
coe T_Clause_160
v0 of
      MAlonzo.Code.Agda.Builtin.Reflection.C_clause_272 [T_Σ_14]
v1 [T_Arg_88]
v2 T_Term_154
v3
        -> (Text -> Text -> Text) -> Any -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
             (Text -> Any
forall a b. a -> b
coe (Text
"[" :: Data.Text.Text))
             ((Text -> Text -> Text) -> Any -> Any -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
                (([T_Σ_14] -> Text) -> Any -> Any
forall a b. a -> b
coe [T_Σ_14] -> Text
d_showTel_48 ([T_Σ_14] -> Any
forall a b. a -> b
coe [T_Σ_14]
v1))
                ((Text -> Text -> Text) -> Any -> Any -> Any
forall a b. a -> b
coe
                   Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
                   (Text -> Any
forall a b. a -> b
coe (Text
"]" :: Data.Text.Text))
                   ((Text -> Text -> Text) -> Any -> Any -> Any
forall a b. a -> b
coe
                      Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
                      (([T_Arg_88] -> Text) -> Any -> Any
forall a b. a -> b
coe [T_Arg_88] -> Text
d_showPatterns_40 ([T_Arg_88] -> Any
forall a b. a -> b
coe [T_Arg_88]
v2))
                      ((Text -> Text -> Text) -> Any -> Any -> Any
forall a b. a -> b
coe
                         Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
                         (Text -> Any
forall a b. a -> b
coe (Text
"\8594" :: Data.Text.Text)) ((T_Term_154 -> Text) -> Any -> Any
forall a b. a -> b
coe T_Term_154 -> Text
d_showTerm_36 (T_Term_154 -> Any
forall a b. a -> b
coe T_Term_154
v3))))))
      MAlonzo.Code.Agda.Builtin.Reflection.C_absurd'45'clause_278 [T_Σ_14]
v1 [T_Arg_88]
v2
        -> (Text -> Text -> Text) -> Any -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
             (Text -> Any
forall a b. a -> b
coe (Text
"[" :: Data.Text.Text))
             ((Text -> Text -> Text) -> Any -> Any -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
                (([T_Σ_14] -> Text) -> Any -> Any
forall a b. a -> b
coe [T_Σ_14] -> Text
d_showTel_48 ([T_Σ_14] -> Any
forall a b. a -> b
coe [T_Σ_14]
v1))
                ((Text -> Text -> Text) -> Any -> Any -> Any
forall a b. a -> b
coe
                   Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
                   (Text -> Any
forall a b. a -> b
coe (Text
"]" :: Data.Text.Text)) (([T_Arg_88] -> Text) -> Any -> Any
forall a b. a -> b
coe [T_Arg_88] -> Text
d_showPatterns_40 ([T_Arg_88] -> Any
forall a b. a -> b
coe [T_Arg_88]
v2))))
      T_Clause_160
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Reflection.Show.showClauses
d_showClauses_46 ::
  [MAlonzo.Code.Agda.Builtin.Reflection.T_Clause_160] ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_showClauses_46 :: [T_Clause_160] -> Text
d_showClauses_46 [T_Clause_160]
v0
  = case [T_Clause_160] -> [Any]
forall a b. a -> b
coe [T_Clause_160]
v0 of
      [] -> Text -> Text
forall a b. a -> b
coe (Text
"" :: Data.Text.Text)
      (:) Any
v1 [Any]
v2
        -> (Text -> Text -> Text) -> Any -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
             ((T_Clause_160 -> Text) -> Any -> Any
forall a b. a -> b
coe T_Clause_160 -> Text
d_showClause_44 (Any -> Any
forall a b. a -> b
coe Any
v1))
             ((Text -> Text -> Text) -> Any -> Any -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
                (Text -> Any
forall a b. a -> b
coe (Text
";" :: Data.Text.Text)) (([T_Clause_160] -> Text) -> Any -> Any
forall a b. a -> b
coe [T_Clause_160] -> Text
d_showClauses_46 ([Any] -> Any
forall a b. a -> b
coe [Any]
v2)))
      [Any]
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Reflection.Show.showTel
d_showTel_48 ::
  [MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_showTel_48 :: [T_Σ_14] -> Text
d_showTel_48 [T_Σ_14]
v0
  = case [T_Σ_14] -> [Any]
forall a b. a -> b
coe [T_Σ_14]
v0 of
      [] -> Text -> Text
forall a b. a -> b
coe (Text
"" :: Data.Text.Text)
      (:) Any
v1 [Any]
v2
        -> case Any -> T_Σ_14
forall a b. a -> b
coe Any
v1 of
             MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32 Any
v3 Any
v4
               -> case Any -> T_Arg_88
forall a b. a -> b
coe Any
v4 of
                    MAlonzo.Code.Agda.Builtin.Reflection.C_arg_98 T_ArgInfo_76
v5 Any
v6
                      -> (Text -> Text -> Text) -> Text -> Text -> Text
forall a b. a -> b
coe
                           Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                           (T_Visibility_48 -> Text -> Text
d_visibilityParen_26
                              ((T_ArgInfo_76 -> T_Visibility_48) -> Any -> T_Visibility_48
forall a b. a -> b
coe
                                 T_ArgInfo_76 -> T_Visibility_48
MAlonzo.Code.Reflection.Argument.Information.d_visibility_14
                                 (T_ArgInfo_76 -> Any
forall a b. a -> b
coe T_ArgInfo_76
v5))
                              ((Text -> Text -> Text) -> Any -> Any -> Text
forall a b. a -> b
coe
                                 Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46 (Any -> Any
forall a b. a -> b
coe Any
v3)
                                 ((Text -> Text -> Text) -> Any -> Any -> Any
forall a b. a -> b
coe
                                    Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
                                    (Text -> Any
forall a b. a -> b
coe (Text
":" :: Data.Text.Text)) ((T_Term_154 -> Text) -> Any -> Any
forall a b. a -> b
coe T_Term_154 -> Text
d_showTerm_36 (Any -> Any
forall a b. a -> b
coe Any
v6)))))
                           ([T_Σ_14] -> Text
d_showTel_48 ([Any] -> [T_Σ_14]
forall a b. a -> b
coe [Any]
v2))
                    T_Arg_88
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
             T_Σ_14
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
      [Any]
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Reflection.Show._.showArg
d_showArg_112 ::
  MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88 ->
  [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
  MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_showArg_112 :: T_Arg_88 -> [T_Arg_88] -> T_Arg_88 -> Text
d_showArg_112 ~T_Arg_88
v0 ~[T_Arg_88]
v1 T_Arg_88
v2 = T_Arg_88 -> Text
du_showArg_112 T_Arg_88
v2
du_showArg_112 ::
  MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
du_showArg_112 :: T_Arg_88 -> Text
du_showArg_112 T_Arg_88
v0
  = case T_Arg_88 -> T_Arg_88
forall a b. a -> b
coe T_Arg_88
v0 of
      MAlonzo.Code.Agda.Builtin.Reflection.C_arg_98 T_ArgInfo_76
v1 Any
v2
        -> case T_ArgInfo_76 -> T_ArgInfo_76
forall a b. a -> b
coe T_ArgInfo_76
v1 of
             MAlonzo.Code.Agda.Builtin.Reflection.C_arg'45'info_82 T_Visibility_48
v3 T_Modality_68
v4
               -> case T_Modality_68 -> T_Modality_68
forall a b. a -> b
coe T_Modality_68
v4 of
                    MAlonzo.Code.Agda.Builtin.Reflection.C_modality_74 T_Relevance_56
v5 T_Quantity_62
v6
                      -> (T_Visibility_48 -> Text -> Text) -> T_Visibility_48 -> Any -> Text
forall a b. a -> b
coe
                           T_Visibility_48 -> Text -> Text
du_braces'63'_124 T_Visibility_48
v3
                           ((Text -> Text -> Text) -> Text -> Text -> Any
forall a b. a -> b
coe
                              Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'43''43'__20
                              (T_Relevance_56 -> Text
d_showRel_6 (T_Relevance_56 -> T_Relevance_56
forall a b. a -> b
coe T_Relevance_56
v5)) (T_Pattern_158 -> Text
d_showPattern_42 (Any -> T_Pattern_158
forall a b. a -> b
coe Any
v2)))
                    T_Modality_68
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
             T_ArgInfo_76
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
      T_Arg_88
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Reflection.Show._._.braces?
d_braces'63'_124 ::
  MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88 ->
  [MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
  MAlonzo.Code.Agda.Builtin.Reflection.T_Visibility_48 ->
  MAlonzo.Code.Agda.Builtin.Reflection.T_Relevance_56 ->
  MAlonzo.Code.Agda.Builtin.Reflection.T_Quantity_62 ->
  MAlonzo.Code.Agda.Builtin.Reflection.T_Pattern_158 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_braces'63'_124 :: T_Arg_88
-> [T_Arg_88]
-> T_Visibility_48
-> T_Relevance_56
-> T_Quantity_62
-> T_Pattern_158
-> Text
-> Text
d_braces'63'_124 ~T_Arg_88
v0 ~[T_Arg_88]
v1 T_Visibility_48
v2 ~T_Relevance_56
v3 ~T_Quantity_62
v4 ~T_Pattern_158
v5 = T_Visibility_48 -> Text -> Text
du_braces'63'_124 T_Visibility_48
v2
du_braces'63'_124 ::
  MAlonzo.Code.Agda.Builtin.Reflection.T_Visibility_48 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
du_braces'63'_124 :: T_Visibility_48 -> Text -> Text
du_braces'63'_124 T_Visibility_48
v0
  = case T_Visibility_48 -> T_Visibility_48
forall a b. a -> b
coe T_Visibility_48
v0 of
      T_Visibility_48
MAlonzo.Code.Agda.Builtin.Reflection.C_visible_50
        -> (Any -> Any) -> Text -> Text
forall a b. a -> b
coe (\ Any
v1 -> Any
v1)
      T_Visibility_48
MAlonzo.Code.Agda.Builtin.Reflection.C_hidden_52
        -> (Text -> Text) -> Text -> Text
forall a b. a -> b
coe Text -> Text
MAlonzo.Code.Data.String.Base.d_braces_42
      T_Visibility_48
MAlonzo.Code.Agda.Builtin.Reflection.C_instance'8242'_54
        -> ((Any -> Any) -> (Any -> Any) -> Any -> Any)
-> Any -> Any -> Text -> Text
forall a b. a -> b
coe
             (Any -> Any) -> (Any -> Any) -> Any -> Any
MAlonzo.Code.Function.Base.du__'8728''8242'__226
             ((Text -> Text) -> Any
forall a b. a -> b
coe Text -> Text
MAlonzo.Code.Data.String.Base.d_braces_42)
             ((Text -> Text) -> Any
forall a b. a -> b
coe Text -> Text
MAlonzo.Code.Data.String.Base.d_braces_42)
      T_Visibility_48
_ -> Text -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Reflection.Show.showDefinition
d_showDefinition_164 ::
  MAlonzo.Code.Agda.Builtin.Reflection.T_Definition_280 ->
  MAlonzo.Code.Agda.Builtin.String.T_String_6
d_showDefinition_164 :: T_Definition_280 -> Text
d_showDefinition_164 T_Definition_280
v0
  = case T_Definition_280 -> T_Definition_280
forall a b. a -> b
coe T_Definition_280
v0 of
      MAlonzo.Code.Agda.Builtin.Reflection.C_function_284 [T_Clause_160]
v1
        -> (Text -> Text -> Text) -> Any -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
             (Text -> Any
forall a b. a -> b
coe (Text
"function" :: Data.Text.Text))
             ((Text -> Text) -> Any -> Any
forall a b. a -> b
coe
                Text -> Text
MAlonzo.Code.Data.String.Base.d_braces_42
                (([T_Clause_160] -> Text) -> Any -> Any
forall a b. a -> b
coe [T_Clause_160] -> Text
d_showClauses_46 ([T_Clause_160] -> Any
forall a b. a -> b
coe [T_Clause_160]
v1)))
      MAlonzo.Code.Agda.Builtin.Reflection.C_data'45'type_290 Integer
v1 [Any]
v2
        -> (Text -> Text -> Text) -> Any -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
             (Text -> Any
forall a b. a -> b
coe (Text
"datatype" :: Data.Text.Text))
             ((Text -> Text -> Text) -> Any -> Any -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
                ((Integer -> Text) -> Any -> Any
forall a b. a -> b
coe Integer -> Text
MAlonzo.Code.Data.Nat.Show.d_show_56 (Integer -> Any
forall a b. a -> b
coe Integer
v1))
                ((Text -> Text) -> Any -> Any
forall a b. a -> b
coe
                   Text -> Text
MAlonzo.Code.Data.String.Base.d_braces_42
                   ((Text -> [Text] -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                      Text -> [Text] -> Text
MAlonzo.Code.Data.String.Base.d_intersperse_30
                      (Text
", " :: Data.Text.Text)
                      (((Any -> Any) -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
                         (Any -> Any) -> [Any] -> [Any]
MAlonzo.Code.Data.List.Base.du_map_22
                         ((QName -> Text) -> Any
forall a b. a -> b
coe QName -> Text
MAlonzo.Code.Agda.Builtin.Reflection.d_primShowQName_12)
                         ([Any] -> Any
forall a b. a -> b
coe [Any]
v2)))))
      MAlonzo.Code.Agda.Builtin.Reflection.C_record'45'type_296 Any
v1 [T_Arg_88]
v2
        -> (Text -> Text -> Text) -> Any -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
             (Text -> Any
forall a b. a -> b
coe (Text
"record" :: Data.Text.Text))
             ((Text -> Text -> Text) -> Any -> Any -> Any
forall a b. a -> b
coe
                Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
                ((QName -> Text) -> Any -> Any
forall a b. a -> b
coe QName -> Text
MAlonzo.Code.Agda.Builtin.Reflection.d_primShowQName_12 Any
v1)
                ((Text -> Text) -> Any -> Any
forall a b. a -> b
coe
                   Text -> Text
MAlonzo.Code.Data.String.Base.d_braces_42
                   ((Text -> [Text] -> Text) -> Text -> Any -> Any
forall a b. a -> b
coe
                      Text -> [Text] -> Text
MAlonzo.Code.Data.String.Base.d_intersperse_30
                      (Text
", " :: Data.Text.Text)
                      (((Any -> Any) -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
                         (Any -> Any) -> [Any] -> [Any]
MAlonzo.Code.Data.List.Base.du_map_22
                         (((Any -> Any) -> (Any -> Any) -> Any -> Any) -> Any -> Any -> Any
forall a b. a -> b
coe
                            (Any -> Any) -> (Any -> Any) -> Any -> Any
MAlonzo.Code.Function.Base.du__'8728''8242'__226
                            ((QName -> Text) -> Any
forall a b. a -> b
coe QName -> Text
MAlonzo.Code.Agda.Builtin.Reflection.d_primShowQName_12)
                            ((T_Arg_88 -> Any) -> Any
forall a b. a -> b
coe T_Arg_88 -> Any
MAlonzo.Code.Reflection.Argument.du_unArg_90))
                         ([T_Arg_88] -> Any
forall a b. a -> b
coe [T_Arg_88]
v2)))))
      MAlonzo.Code.Agda.Builtin.Reflection.C_data'45'cons_300 Any
v1
        -> (Text -> Text -> Text) -> Any -> Any -> Text
forall a b. a -> b
coe
             Text -> Text -> Text
MAlonzo.Code.Data.String.Base.d__'60''43''62'__46
             (Text -> Any
forall a b. a -> b
coe (Text
"constructor" :: Data.Text.Text))
             ((QName -> Text) -> Any -> Any
forall a b. a -> b
coe QName -> Text
MAlonzo.Code.Agda.Builtin.Reflection.d_primShowQName_12 Any
v1)
      T_Definition_280
MAlonzo.Code.Agda.Builtin.Reflection.C_axiom_302
        -> Text -> Text
forall a b. a -> b
coe (Text
"axiom" :: Data.Text.Text)
      T_Definition_280
MAlonzo.Code.Agda.Builtin.Reflection.C_prim'45'fun_304
        -> Text -> Text
forall a b. a -> b
coe (Text
"primitive" :: Data.Text.Text)
      T_Definition_280
_ -> Text
forall a. a
MAlonzo.RTE.mazUnreachableError