{-# 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 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.Reflection
import qualified MAlonzo.Code.Agda.Primitive
import qualified MAlonzo.Code.Reflection.Abstraction
import qualified MAlonzo.Code.Reflection.Argument
import qualified MAlonzo.Code.Reflection.Argument.Information
import qualified MAlonzo.Code.Reflection.Argument.Modality
import qualified MAlonzo.Code.Reflection.Argument.Relevance
import qualified MAlonzo.Code.Reflection.Argument.Visibility
import qualified MAlonzo.Code.Reflection.Literal
import qualified MAlonzo.Code.Reflection.Meta
import qualified MAlonzo.Code.Reflection.Name
import qualified MAlonzo.Code.Reflection.Term
import qualified MAlonzo.Code.Relation.Nullary
d_returnTC_2 ::
MAlonzo.Code.Agda.Primitive.T_Level_18 -> () -> AgdaAny -> AgdaAny
d_returnTC_2 :: T_Level_18 -> T_Level_18 -> AgdaAny -> AgdaAny
d_returnTC_2
= AgdaAny -> T_Level_18 -> T_Level_18 -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
forall {a}. a
MAlonzo.Code.Agda.Builtin.Reflection.d_returnTC_324
d_Arg'45'info_4 :: ()
d_Arg'45'info_4 :: T_Level_18
d_Arg'45'info_4 = T_Level_18
forall {a}. a
erased
d__'8799''45'Lit__6 ::
MAlonzo.Code.Agda.Builtin.Reflection.T_Literal_124 ->
MAlonzo.Code.Agda.Builtin.Reflection.T_Literal_124 ->
MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'Lit__6 :: T_Literal_124 -> T_Literal_124 -> T_Dec_32
d__'8799''45'Lit__6
= (T_Literal_124 -> T_Literal_124 -> T_Dec_32)
-> T_Literal_124 -> T_Literal_124 -> T_Dec_32
forall a b. a -> b
coe T_Literal_124 -> T_Literal_124 -> T_Dec_32
MAlonzo.Code.Reflection.Literal.d__'8799'__46
d__'8799''45'Name__8 ::
AgdaAny -> AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'Name__8 :: AgdaAny -> AgdaAny -> T_Dec_32
d__'8799''45'Name__8
= (AgdaAny -> AgdaAny -> T_Dec_32) -> AgdaAny -> AgdaAny -> T_Dec_32
forall a b. a -> b
coe AgdaAny -> AgdaAny -> T_Dec_32
MAlonzo.Code.Reflection.Name.d__'8799'__10
d__'8799''45'Meta__10 ::
AgdaAny -> AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'Meta__10 :: AgdaAny -> AgdaAny -> T_Dec_32
d__'8799''45'Meta__10
= (AgdaAny -> AgdaAny -> T_Dec_32) -> AgdaAny -> AgdaAny -> T_Dec_32
forall a b. a -> b
coe AgdaAny -> AgdaAny -> T_Dec_32
MAlonzo.Code.Reflection.Meta.d__'8799'__8
d__'8799''45'Visibility__12 ::
MAlonzo.Code.Agda.Builtin.Reflection.T_Visibility_48 ->
MAlonzo.Code.Agda.Builtin.Reflection.T_Visibility_48 ->
MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'Visibility__12 :: T_Visibility_48 -> T_Visibility_48 -> T_Dec_32
d__'8799''45'Visibility__12
= (T_Visibility_48 -> T_Visibility_48 -> T_Dec_32)
-> T_Visibility_48 -> T_Visibility_48 -> T_Dec_32
forall a b. a -> b
coe T_Visibility_48 -> T_Visibility_48 -> T_Dec_32
MAlonzo.Code.Reflection.Argument.Visibility.d__'8799'__6
d__'8799''45'Relevance__14 ::
MAlonzo.Code.Agda.Builtin.Reflection.T_Relevance_56 ->
MAlonzo.Code.Agda.Builtin.Reflection.T_Relevance_56 ->
MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'Relevance__14 :: T_Relevance_56 -> T_Relevance_56 -> T_Dec_32
d__'8799''45'Relevance__14
= (T_Relevance_56 -> T_Relevance_56 -> T_Dec_32)
-> T_Relevance_56 -> T_Relevance_56 -> T_Dec_32
forall a b. a -> b
coe T_Relevance_56 -> T_Relevance_56 -> T_Dec_32
MAlonzo.Code.Reflection.Argument.Relevance.d__'8799'__6
d__'8799''45'Arg'45'info__16 ::
MAlonzo.Code.Agda.Builtin.Reflection.T_ArgInfo_76 ->
MAlonzo.Code.Agda.Builtin.Reflection.T_ArgInfo_76 ->
MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'Arg'45'info__16 :: T_ArgInfo_76 -> T_ArgInfo_76 -> T_Dec_32
d__'8799''45'Arg'45'info__16
= (T_ArgInfo_76 -> T_ArgInfo_76 -> T_Dec_32)
-> T_ArgInfo_76 -> T_ArgInfo_76 -> T_Dec_32
forall a b. a -> b
coe T_ArgInfo_76 -> T_ArgInfo_76 -> T_Dec_32
MAlonzo.Code.Reflection.Argument.Information.d__'8799'__28
d__'8799''45'Pattern__18 ::
MAlonzo.Code.Agda.Builtin.Reflection.T_Pattern_158 ->
MAlonzo.Code.Agda.Builtin.Reflection.T_Pattern_158 ->
MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'Pattern__18 :: T_Pattern_158 -> T_Pattern_158 -> T_Dec_32
d__'8799''45'Pattern__18
= (T_Pattern_158 -> T_Pattern_158 -> T_Dec_32)
-> T_Pattern_158 -> T_Pattern_158 -> T_Dec_32
forall a b. a -> b
coe T_Pattern_158 -> T_Pattern_158 -> T_Dec_32
MAlonzo.Code.Reflection.Term.d__'8799''45'Pattern__190
d__'8799''45'ArgPatterns__20 ::
[MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
[MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'ArgPatterns__20 :: [T_Arg_88] -> [T_Arg_88] -> T_Dec_32
d__'8799''45'ArgPatterns__20
= ([T_Arg_88] -> [T_Arg_88] -> T_Dec_32)
-> [T_Arg_88] -> [T_Arg_88] -> T_Dec_32
forall a b. a -> b
coe [T_Arg_88] -> [T_Arg_88] -> T_Dec_32
MAlonzo.Code.Reflection.Term.d__'8799''45'Patterns__188
d_map'45'Abs_22 ::
MAlonzo.Code.Agda.Primitive.T_Level_18 ->
() ->
MAlonzo.Code.Agda.Primitive.T_Level_18 ->
() ->
(AgdaAny -> AgdaAny) ->
MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112 ->
MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112
d_map'45'Abs_22 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> AgdaAny)
-> T_Abs_112
-> T_Abs_112
d_map'45'Abs_22 T_Level_18
v0 T_Level_18
v1 T_Level_18
v2 T_Level_18
v3 AgdaAny -> AgdaAny
v4 T_Abs_112
v5
= ((AgdaAny -> AgdaAny) -> T_Abs_112 -> T_Abs_112)
-> (AgdaAny -> AgdaAny) -> T_Abs_112 -> T_Abs_112
forall a b. a -> b
coe (AgdaAny -> AgdaAny) -> T_Abs_112 -> T_Abs_112
MAlonzo.Code.Reflection.Abstraction.du_map_12 AgdaAny -> AgdaAny
v4 T_Abs_112
v5
d_map'45'Arg_24 ::
MAlonzo.Code.Agda.Primitive.T_Level_18 ->
() ->
MAlonzo.Code.Agda.Primitive.T_Level_18 ->
() ->
(AgdaAny -> AgdaAny) ->
MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88 ->
MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88
d_map'45'Arg_24 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> AgdaAny)
-> T_Arg_88
-> T_Arg_88
d_map'45'Arg_24 T_Level_18
v0 T_Level_18
v1 T_Level_18
v2 T_Level_18
v3 AgdaAny -> AgdaAny
v4 T_Arg_88
v5
= ((AgdaAny -> AgdaAny) -> T_Arg_88 -> T_Arg_88)
-> (AgdaAny -> AgdaAny) -> T_Arg_88 -> T_Arg_88
forall a b. a -> b
coe (AgdaAny -> AgdaAny) -> T_Arg_88 -> T_Arg_88
MAlonzo.Code.Reflection.Argument.du_map_46 AgdaAny -> AgdaAny
v4 T_Arg_88
v5
d_map'45'Args_26 ::
MAlonzo.Code.Agda.Primitive.T_Level_18 ->
() ->
MAlonzo.Code.Agda.Primitive.T_Level_18 ->
() ->
(AgdaAny -> AgdaAny) ->
[MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
[MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88]
d_map'45'Args_26 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> AgdaAny)
-> [T_Arg_88]
-> [T_Arg_88]
d_map'45'Args_26 T_Level_18
v0 T_Level_18
v1 T_Level_18
v2 T_Level_18
v3 AgdaAny -> AgdaAny
v4 [T_Arg_88]
v5
= ((AgdaAny -> AgdaAny) -> [T_Arg_88] -> [T_Arg_88])
-> (AgdaAny -> AgdaAny) -> [T_Arg_88] -> [T_Arg_88]
forall a b. a -> b
coe (AgdaAny -> AgdaAny) -> [T_Arg_88] -> [T_Arg_88]
MAlonzo.Code.Reflection.Argument.du_map'45'Args_54 AgdaAny -> AgdaAny
v4 [T_Arg_88]
v5
d_visibility_28 ::
MAlonzo.Code.Agda.Builtin.Reflection.T_ArgInfo_76 ->
MAlonzo.Code.Agda.Builtin.Reflection.T_Visibility_48
d_visibility_28 :: T_ArgInfo_76 -> T_Visibility_48
d_visibility_28
= (T_ArgInfo_76 -> T_Visibility_48)
-> T_ArgInfo_76 -> T_Visibility_48
forall a b. a -> b
coe T_ArgInfo_76 -> T_Visibility_48
MAlonzo.Code.Reflection.Argument.Information.d_visibility_14
d_relevance_30 ::
MAlonzo.Code.Agda.Builtin.Reflection.T_Modality_68 ->
MAlonzo.Code.Agda.Builtin.Reflection.T_Relevance_56
d_relevance_30 :: T_Modality_68 -> T_Relevance_56
d_relevance_30
= (T_Modality_68 -> T_Relevance_56)
-> T_Modality_68 -> T_Relevance_56
forall a b. a -> b
coe T_Modality_68 -> T_Relevance_56
MAlonzo.Code.Reflection.Argument.Modality.d_relevance_14
d__'8799''45'AbsTerm__32 ::
MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112 ->
MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112 ->
MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'AbsTerm__32 :: T_Abs_112 -> T_Abs_112 -> T_Dec_32
d__'8799''45'AbsTerm__32
= (T_Abs_112 -> T_Abs_112 -> T_Dec_32)
-> T_Abs_112 -> T_Abs_112 -> T_Dec_32
forall a b. a -> b
coe T_Abs_112 -> T_Abs_112 -> T_Dec_32
MAlonzo.Code.Reflection.Term.d__'8799''45'AbsTerm__170
d__'8799''45'AbsType__34 ::
MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112 ->
MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112 ->
MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'AbsType__34 :: T_Abs_112 -> T_Abs_112 -> T_Dec_32
d__'8799''45'AbsType__34
= (T_Abs_112 -> T_Abs_112 -> T_Dec_32)
-> T_Abs_112 -> T_Abs_112 -> T_Dec_32
forall a b. a -> b
coe T_Abs_112 -> T_Abs_112 -> T_Dec_32
MAlonzo.Code.Reflection.Term.d__'8799''45'AbsType__172
d__'8799''45'ArgTerm__36 ::
MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88 ->
MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88 ->
MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'ArgTerm__36 :: T_Arg_88 -> T_Arg_88 -> T_Dec_32
d__'8799''45'ArgTerm__36
= (T_Arg_88 -> T_Arg_88 -> T_Dec_32)
-> T_Arg_88 -> T_Arg_88 -> T_Dec_32
forall a b. a -> b
coe T_Arg_88 -> T_Arg_88 -> T_Dec_32
MAlonzo.Code.Reflection.Term.d__'8799''45'ArgTerm__174
d__'8799''45'ArgType__38 ::
MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88 ->
MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88 ->
MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'ArgType__38 :: T_Arg_88 -> T_Arg_88 -> T_Dec_32
d__'8799''45'ArgType__38
= (T_Arg_88 -> T_Arg_88 -> T_Dec_32)
-> T_Arg_88 -> T_Arg_88 -> T_Dec_32
forall a b. a -> b
coe T_Arg_88 -> T_Arg_88 -> T_Dec_32
MAlonzo.Code.Reflection.Term.d__'8799''45'ArgType__176
d__'8799''45'Args__40 ::
[MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
[MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'Args__40 :: [T_Arg_88] -> [T_Arg_88] -> T_Dec_32
d__'8799''45'Args__40
= ([T_Arg_88] -> [T_Arg_88] -> T_Dec_32)
-> [T_Arg_88] -> [T_Arg_88] -> T_Dec_32
forall a b. a -> b
coe [T_Arg_88] -> [T_Arg_88] -> T_Dec_32
MAlonzo.Code.Reflection.Term.d__'8799''45'Args__178
d__'8799''45'Clause__42 ::
MAlonzo.Code.Agda.Builtin.Reflection.T_Clause_160 ->
MAlonzo.Code.Agda.Builtin.Reflection.T_Clause_160 ->
MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'Clause__42 :: T_Clause_160 -> T_Clause_160 -> T_Dec_32
d__'8799''45'Clause__42
= (T_Clause_160 -> T_Clause_160 -> T_Dec_32)
-> T_Clause_160 -> T_Clause_160 -> T_Dec_32
forall a b. a -> b
coe T_Clause_160 -> T_Clause_160 -> T_Dec_32
MAlonzo.Code.Reflection.Term.d__'8799''45'Clause__180
d__'8799''45'Clauses__44 ::
[MAlonzo.Code.Agda.Builtin.Reflection.T_Clause_160] ->
[MAlonzo.Code.Agda.Builtin.Reflection.T_Clause_160] ->
MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'Clauses__44 :: [T_Clause_160] -> [T_Clause_160] -> T_Dec_32
d__'8799''45'Clauses__44
= ([T_Clause_160] -> [T_Clause_160] -> T_Dec_32)
-> [T_Clause_160] -> [T_Clause_160] -> T_Dec_32
forall a b. a -> b
coe [T_Clause_160] -> [T_Clause_160] -> T_Dec_32
MAlonzo.Code.Reflection.Term.d__'8799''45'Clauses__182
d__'8799'__46 ::
MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154 ->
MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154 ->
MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799'__46 :: T_Term_154 -> T_Term_154 -> T_Dec_32
d__'8799'__46 = (T_Term_154 -> T_Term_154 -> T_Dec_32)
-> T_Term_154 -> T_Term_154 -> T_Dec_32
forall a b. a -> b
coe T_Term_154 -> T_Term_154 -> T_Dec_32
MAlonzo.Code.Reflection.Term.d__'8799'__184
d__'8799''45'Sort__48 ::
MAlonzo.Code.Agda.Builtin.Reflection.T_Sort_156 ->
MAlonzo.Code.Agda.Builtin.Reflection.T_Sort_156 ->
MAlonzo.Code.Relation.Nullary.T_Dec_32
d__'8799''45'Sort__48 :: T_Sort_156 -> T_Sort_156 -> T_Dec_32
d__'8799''45'Sort__48
= (T_Sort_156 -> T_Sort_156 -> T_Dec_32)
-> T_Sort_156 -> T_Sort_156 -> T_Dec_32
forall a b. a -> b
coe T_Sort_156 -> T_Sort_156 -> T_Dec_32
MAlonzo.Code.Reflection.Term.d__'8799''45'Sort__186