| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Reflection.AST.Argument
Documentation
d_Args_38 ∷ T_Level_18 → () → () Source #
d_map_54 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → T_Arg_88 → T_Arg_88 Source #
d_map'45'Args_62 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → [T_Arg_88] → [T_Arg_88] Source #
d_arg'45'injective'8321'_68 ∷ T_ArgInfo_76 → T_Level_18 → () → AgdaAny → T_ArgInfo_76 → AgdaAny → T__'8801'__12 → T__'8801'__12 Source #
d_arg'45'injective'8322'_70 ∷ T_ArgInfo_76 → T_Level_18 → () → AgdaAny → T_ArgInfo_76 → AgdaAny → T__'8801'__12 → T__'8801'__12 Source #
d_arg'45'injective_72 ∷ T_ArgInfo_76 → T_Level_18 → () → AgdaAny → T_ArgInfo_76 → AgdaAny → T__'8801'__12 → T_Σ_14 Source #
d_unArg_74 ∷ T_Level_18 → () → T_Arg_88 → AgdaAny Source #
d_unArg'45'dec_84 ∷ T_Level_18 → () → T_Arg_88 → T_Arg_88 → T_Dec_20 → T_Dec_20 Source #
d_'8801''45'dec_96 ∷ T_Level_18 → () → (AgdaAny → AgdaAny → T_Dec_20) → T_Arg_88 → T_Arg_88 → T_Dec_20 Source #