| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Relation.Binary.PropositionalEquality.Core
Documentation
d__'8802'__22 ∷ T_Level_18 → () → AgdaAny → AgdaAny → () Source #
d_cong_38 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → T__'8801'__12 → T__'8801'__12 Source #
d_cong'8242'_46 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → T__'8801'__12 Source #
d_icong_54 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny → T__'8801'__12 → T__'8801'__12 Source #
d_icong'8242'_60 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → AgdaAny → T__'8801'__12 Source #
d_cong'8322'_72 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → T__'8801'__12 → T__'8801'__12 → T__'8801'__12 Source #
d_cong'45'app_88 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → T__'8801'__12 → AgdaAny → T__'8801'__12 Source #
d_sym_92 ∷ T_Level_18 → () → AgdaAny → AgdaAny → T__'8801'__12 → T__'8801'__12 Source #
d_trans_94 ∷ T_Level_18 → () → AgdaAny → AgdaAny → AgdaAny → T__'8801'__12 → T__'8801'__12 → T__'8801'__12 Source #
d_subst_98 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → AgdaAny → T__'8801'__12 → AgdaAny → AgdaAny Source #
du_subst_98 ∷ AgdaAny → AgdaAny Source #
d_subst'8322'_114 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → T__'8801'__12 → T__'8801'__12 → AgdaAny → AgdaAny Source #
d_resp_120 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → AgdaAny → T__'8801'__12 → AgdaAny → AgdaAny Source #
du_resp_120 ∷ AgdaAny → AgdaAny Source #
d_resp'737'_128 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → AgdaAny → AgdaAny → AgdaAny → T__'8801'__12 → AgdaAny → AgdaAny Source #
d_resp'691'_136 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → AgdaAny → AgdaAny → AgdaAny → T__'8801'__12 → AgdaAny → AgdaAny Source #
d_resp'8322'_144 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → T_Σ_14 Source #
d_'8802''45'sym_148 ∷ T_Level_18 → () → AgdaAny → AgdaAny → (T__'8801'__12 → T_'8869'_4) → T__'8801'__12 → T_'8869'_4 Source #
d_step'45''8801'_180 ∷ T_Level_18 → () → AgdaAny → AgdaAny → AgdaAny → T__'8801'__12 → T__'8801'__12 → T__'8801'__12 Source #
d_step'45''8801''728'_192 ∷ T_Level_18 → () → AgdaAny → AgdaAny → AgdaAny → T__'8801'__12 → T__'8801'__12 → T__'8801'__12 Source #
d__'8718'_200 ∷ T_Level_18 → () → AgdaAny → T__'8801'__12 Source #