{-# 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.AST.Abstraction
import qualified MAlonzo.Code.Reflection.AST.Argument
import qualified MAlonzo.Code.Reflection.AST.Argument.Information
import qualified MAlonzo.Code.Reflection.AST.Argument.Modality
import qualified MAlonzo.Code.Reflection.AST.Argument.Relevance
import qualified MAlonzo.Code.Reflection.AST.Argument.Visibility
import qualified MAlonzo.Code.Reflection.AST.Literal
import qualified MAlonzo.Code.Reflection.AST.Meta
import qualified MAlonzo.Code.Reflection.AST.Name
import qualified MAlonzo.Code.Reflection.AST.Term
import qualified MAlonzo.Code.Relation.Nullary.Decidable.Core
d_Arg'45'info_2 :: ()
d_Arg'45'info_2 :: ()
d_Arg'45'info_2 = ()
forall a. a
erased
d__'8799''45'Lit__4 ::
MAlonzo.Code.Agda.Builtin.Reflection.T_Literal_124 ->
MAlonzo.Code.Agda.Builtin.Reflection.T_Literal_124 ->
MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
d__'8799''45'Lit__4 :: T_Literal_124 -> T_Literal_124 -> T_Dec_20
d__'8799''45'Lit__4
= (T_Literal_124 -> T_Literal_124 -> T_Dec_20)
-> T_Literal_124 -> T_Literal_124 -> T_Dec_20
forall a b. a -> b
coe T_Literal_124 -> T_Literal_124 -> T_Dec_20
MAlonzo.Code.Reflection.AST.Literal.d__'8799'__48
d__'8799''45'Name__6 ::
AgdaAny ->
AgdaAny -> MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
d__'8799''45'Name__6 :: AgdaAny -> AgdaAny -> T_Dec_20
d__'8799''45'Name__6
= (AgdaAny -> AgdaAny -> T_Dec_20) -> AgdaAny -> AgdaAny -> T_Dec_20
forall a b. a -> b
coe AgdaAny -> AgdaAny -> T_Dec_20
MAlonzo.Code.Reflection.AST.Name.d__'8799'__12
d__'8799''45'Meta__8 ::
AgdaAny ->
AgdaAny -> MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
d__'8799''45'Meta__8 :: AgdaAny -> AgdaAny -> T_Dec_20
d__'8799''45'Meta__8
= (AgdaAny -> AgdaAny -> T_Dec_20) -> AgdaAny -> AgdaAny -> T_Dec_20
forall a b. a -> b
coe AgdaAny -> AgdaAny -> T_Dec_20
MAlonzo.Code.Reflection.AST.Meta.d__'8799'__10
d__'8799''45'Visibility__10 ::
MAlonzo.Code.Agda.Builtin.Reflection.T_Visibility_48 ->
MAlonzo.Code.Agda.Builtin.Reflection.T_Visibility_48 ->
MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
d__'8799''45'Visibility__10 :: T_Visibility_48 -> T_Visibility_48 -> T_Dec_20
d__'8799''45'Visibility__10
= (T_Visibility_48 -> T_Visibility_48 -> T_Dec_20)
-> T_Visibility_48 -> T_Visibility_48 -> T_Dec_20
forall a b. a -> b
coe T_Visibility_48 -> T_Visibility_48 -> T_Dec_20
MAlonzo.Code.Reflection.AST.Argument.Visibility.d__'8799'__8
d__'8799''45'Relevance__12 ::
MAlonzo.Code.Agda.Builtin.Reflection.T_Relevance_56 ->
MAlonzo.Code.Agda.Builtin.Reflection.T_Relevance_56 ->
MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
d__'8799''45'Relevance__12 :: T_Relevance_56 -> T_Relevance_56 -> T_Dec_20
d__'8799''45'Relevance__12
= (T_Relevance_56 -> T_Relevance_56 -> T_Dec_20)
-> T_Relevance_56 -> T_Relevance_56 -> T_Dec_20
forall a b. a -> b
coe T_Relevance_56 -> T_Relevance_56 -> T_Dec_20
MAlonzo.Code.Reflection.AST.Argument.Relevance.d__'8799'__8
d__'8799''45'Arg'45'info__14 ::
MAlonzo.Code.Agda.Builtin.Reflection.T_ArgInfo_76 ->
MAlonzo.Code.Agda.Builtin.Reflection.T_ArgInfo_76 ->
MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
d__'8799''45'Arg'45'info__14 :: T_ArgInfo_76 -> T_ArgInfo_76 -> T_Dec_20
d__'8799''45'Arg'45'info__14
= (T_ArgInfo_76 -> T_ArgInfo_76 -> T_Dec_20)
-> T_ArgInfo_76 -> T_ArgInfo_76 -> T_Dec_20
forall a b. a -> b
coe
T_ArgInfo_76 -> T_ArgInfo_76 -> T_Dec_20
MAlonzo.Code.Reflection.AST.Argument.Information.d__'8799'__30
d__'8799''45'Pattern__16 ::
MAlonzo.Code.Agda.Builtin.Reflection.T_Pattern_158 ->
MAlonzo.Code.Agda.Builtin.Reflection.T_Pattern_158 ->
MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
d__'8799''45'Pattern__16 :: T_Pattern_158 -> T_Pattern_158 -> T_Dec_20
d__'8799''45'Pattern__16
= (T_Pattern_158 -> T_Pattern_158 -> T_Dec_20)
-> T_Pattern_158 -> T_Pattern_158 -> T_Dec_20
forall a b. a -> b
coe T_Pattern_158 -> T_Pattern_158 -> T_Dec_20
MAlonzo.Code.Reflection.AST.Term.d__'8799''45'Pattern__230
d__'8799''45'ArgPatterns__18 ::
[MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
[MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
d__'8799''45'ArgPatterns__18 :: [T_Arg_88] -> [T_Arg_88] -> T_Dec_20
d__'8799''45'ArgPatterns__18
= ([T_Arg_88] -> [T_Arg_88] -> T_Dec_20)
-> [T_Arg_88] -> [T_Arg_88] -> T_Dec_20
forall a b. a -> b
coe [T_Arg_88] -> [T_Arg_88] -> T_Dec_20
MAlonzo.Code.Reflection.AST.Term.d__'8799''45'Patterns__228
d_map'45'Abs_20 ::
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_20 :: ()
-> () -> () -> () -> (AgdaAny -> AgdaAny) -> T_Abs_112 -> T_Abs_112
d_map'45'Abs_20 ()
v0 ()
v1 ()
v2 ()
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.AST.Abstraction.du_map_22 AgdaAny -> AgdaAny
v4 T_Abs_112
v5
d_map'45'Arg_22 ::
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_22 :: ()
-> () -> () -> () -> (AgdaAny -> AgdaAny) -> T_Arg_88 -> T_Arg_88
d_map'45'Arg_22 ()
v0 ()
v1 ()
v2 ()
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.AST.Argument.du_map_54 AgdaAny -> AgdaAny
v4 T_Arg_88
v5
d_map'45'Args_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'Args_24 :: ()
-> ()
-> ()
-> ()
-> (AgdaAny -> AgdaAny)
-> [T_Arg_88]
-> [T_Arg_88]
d_map'45'Args_24 ()
v0 ()
v1 ()
v2 ()
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.AST.Argument.du_map'45'Args_62 AgdaAny -> AgdaAny
v4 [T_Arg_88]
v5
d_visibility_26 ::
MAlonzo.Code.Agda.Builtin.Reflection.T_ArgInfo_76 ->
MAlonzo.Code.Agda.Builtin.Reflection.T_Visibility_48
d_visibility_26 :: T_ArgInfo_76 -> T_Visibility_48
d_visibility_26
= (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.AST.Argument.Information.d_visibility_16
d_relevance_28 ::
MAlonzo.Code.Agda.Builtin.Reflection.T_Modality_68 ->
MAlonzo.Code.Agda.Builtin.Reflection.T_Relevance_56
d_relevance_28 :: T_Modality_68 -> T_Relevance_56
d_relevance_28
= (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.AST.Argument.Modality.d_relevance_16
d__'8799''45'AbsTerm__30 ::
MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112 ->
MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112 ->
MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
d__'8799''45'AbsTerm__30 :: T_Abs_112 -> T_Abs_112 -> T_Dec_20
d__'8799''45'AbsTerm__30
= (T_Abs_112 -> T_Abs_112 -> T_Dec_20)
-> T_Abs_112 -> T_Abs_112 -> T_Dec_20
forall a b. a -> b
coe T_Abs_112 -> T_Abs_112 -> T_Dec_20
MAlonzo.Code.Reflection.AST.Term.d__'8799''45'AbsTerm__210
d__'8799''45'AbsType__32 ::
MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112 ->
MAlonzo.Code.Agda.Builtin.Reflection.T_Abs_112 ->
MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
d__'8799''45'AbsType__32 :: T_Abs_112 -> T_Abs_112 -> T_Dec_20
d__'8799''45'AbsType__32
= (T_Abs_112 -> T_Abs_112 -> T_Dec_20)
-> T_Abs_112 -> T_Abs_112 -> T_Dec_20
forall a b. a -> b
coe T_Abs_112 -> T_Abs_112 -> T_Dec_20
MAlonzo.Code.Reflection.AST.Term.d__'8799''45'AbsType__212
d__'8799''45'ArgTerm__34 ::
MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88 ->
MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88 ->
MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
d__'8799''45'ArgTerm__34 :: T_Arg_88 -> T_Arg_88 -> T_Dec_20
d__'8799''45'ArgTerm__34
= (T_Arg_88 -> T_Arg_88 -> T_Dec_20)
-> T_Arg_88 -> T_Arg_88 -> T_Dec_20
forall a b. a -> b
coe T_Arg_88 -> T_Arg_88 -> T_Dec_20
MAlonzo.Code.Reflection.AST.Term.d__'8799''45'ArgTerm__214
d__'8799''45'ArgType__36 ::
MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88 ->
MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88 ->
MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
d__'8799''45'ArgType__36 :: T_Arg_88 -> T_Arg_88 -> T_Dec_20
d__'8799''45'ArgType__36
= (T_Arg_88 -> T_Arg_88 -> T_Dec_20)
-> T_Arg_88 -> T_Arg_88 -> T_Dec_20
forall a b. a -> b
coe T_Arg_88 -> T_Arg_88 -> T_Dec_20
MAlonzo.Code.Reflection.AST.Term.d__'8799''45'ArgType__216
d__'8799''45'Args__38 ::
[MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
[MAlonzo.Code.Agda.Builtin.Reflection.T_Arg_88] ->
MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
d__'8799''45'Args__38 :: [T_Arg_88] -> [T_Arg_88] -> T_Dec_20
d__'8799''45'Args__38
= ([T_Arg_88] -> [T_Arg_88] -> T_Dec_20)
-> [T_Arg_88] -> [T_Arg_88] -> T_Dec_20
forall a b. a -> b
coe [T_Arg_88] -> [T_Arg_88] -> T_Dec_20
MAlonzo.Code.Reflection.AST.Term.d__'8799''45'Args__218
d__'8799''45'Clause__40 ::
MAlonzo.Code.Agda.Builtin.Reflection.T_Clause_160 ->
MAlonzo.Code.Agda.Builtin.Reflection.T_Clause_160 ->
MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
d__'8799''45'Clause__40 :: T_Clause_160 -> T_Clause_160 -> T_Dec_20
d__'8799''45'Clause__40
= (T_Clause_160 -> T_Clause_160 -> T_Dec_20)
-> T_Clause_160 -> T_Clause_160 -> T_Dec_20
forall a b. a -> b
coe T_Clause_160 -> T_Clause_160 -> T_Dec_20
MAlonzo.Code.Reflection.AST.Term.d__'8799''45'Clause__220
d__'8799''45'Clauses__42 ::
[MAlonzo.Code.Agda.Builtin.Reflection.T_Clause_160] ->
[MAlonzo.Code.Agda.Builtin.Reflection.T_Clause_160] ->
MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
d__'8799''45'Clauses__42 :: [T_Clause_160] -> [T_Clause_160] -> T_Dec_20
d__'8799''45'Clauses__42
= ([T_Clause_160] -> [T_Clause_160] -> T_Dec_20)
-> [T_Clause_160] -> [T_Clause_160] -> T_Dec_20
forall a b. a -> b
coe [T_Clause_160] -> [T_Clause_160] -> T_Dec_20
MAlonzo.Code.Reflection.AST.Term.d__'8799''45'Clauses__222
d__'8799'__44 ::
MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154 ->
MAlonzo.Code.Agda.Builtin.Reflection.T_Term_154 ->
MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
d__'8799'__44 :: T_Term_154 -> T_Term_154 -> T_Dec_20
d__'8799'__44 = (T_Term_154 -> T_Term_154 -> T_Dec_20)
-> T_Term_154 -> T_Term_154 -> T_Dec_20
forall a b. a -> b
coe T_Term_154 -> T_Term_154 -> T_Dec_20
MAlonzo.Code.Reflection.AST.Term.d__'8799'__224
d__'8799''45'Sort__46 ::
MAlonzo.Code.Agda.Builtin.Reflection.T_Sort_156 ->
MAlonzo.Code.Agda.Builtin.Reflection.T_Sort_156 ->
MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20
d__'8799''45'Sort__46 :: T_Sort_156 -> T_Sort_156 -> T_Dec_20
d__'8799''45'Sort__46
= (T_Sort_156 -> T_Sort_156 -> T_Dec_20)
-> T_Sort_156 -> T_Sort_156 -> T_Dec_20
forall a b. a -> b
coe T_Sort_156 -> T_Sort_156 -> T_Dec_20
MAlonzo.Code.Reflection.AST.Term.d__'8799''45'Sort__226