| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Relation.Binary.Reasoning.Base.Single
Documentation
d__IsRelatedTo__26 ∷ p → p → p → p → p → p → p → p → () Source #
newtype T__IsRelatedTo__26 Source #
Constructors
| C_relTo_34 AgdaAny |
d_start_36 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → T__IsRelatedTo__26 → AgdaAny Source #
d_'8764''45'go_40 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → T__IsRelatedTo__26 Source #
du_'8764''45'go_40 ∷ (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → T__IsRelatedTo__26 Source #
d_'8801''45'go_46 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__'8801'__12 → T__IsRelatedTo__26 → T__IsRelatedTo__26 Source #
d_'46'extendedlambda0_52 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__'8801'__12 → AgdaAny → T__'8801'__12 → AgdaAny Source #
d_stop_54 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → T__IsRelatedTo__26 Source #
du_stop_54 ∷ (AgdaAny → AgdaAny) → AgdaAny → T__IsRelatedTo__26 Source #
d_begin__58 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → T__IsRelatedTo__26 → AgdaAny Source #
d_step'45''8801'_62 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → T__'8801'__12 → T__IsRelatedTo__26 Source #
du_step'45''8801'_62 ∷ AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → T__'8801'__12 → T__IsRelatedTo__26 Source #
d_step'45''8801''45''8739'_64 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → T__IsRelatedTo__26 → T__IsRelatedTo__26 Source #
d_step'45''8801''45''10216'_66 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → T__'8801'__12 → T__IsRelatedTo__26 Source #
du_step'45''8801''45''10216'_66 ∷ AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → T__'8801'__12 → T__IsRelatedTo__26 Source #
d_step'45''8801''45''10217'_68 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → T__'8801'__12 → T__IsRelatedTo__26 Source #
du_step'45''8801''45''10217'_68 ∷ AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → T__'8801'__12 → T__IsRelatedTo__26 Source #
d_step'45''8801''728'_70 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → T__'8801'__12 → T__IsRelatedTo__26 Source #
du_step'45''8801''728'_70 ∷ AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → T__'8801'__12 → T__IsRelatedTo__26 Source #
d_step'45''8764'_74 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → AgdaAny → T__IsRelatedTo__26 Source #
du_step'45''8764'_74 ∷ (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__26 → AgdaAny → T__IsRelatedTo__26 Source #
d__'8718'_78 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → T__IsRelatedTo__26 Source #
du__'8718'_78 ∷ (AgdaAny → AgdaAny) → AgdaAny → T__IsRelatedTo__26 Source #