| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Relation.Binary.Reasoning.Base.Double
Documentation
d__IsRelatedTo__56 ∷ p → p → p → p → p → p → p → p → p → () Source #
data T__IsRelatedTo__56 Source #
Constructors
| C_nonstrict_64 AgdaAny | |
| C_equals_68 AgdaAny |
d_IsEquality_74 ∷ p → p → p → p → p → p → p → p → p → p → () Source #
data T_IsEquality_74 Source #
Constructors
| C_isEquality_82 |
d_IsEquality'63'_90 ∷ T_Level_18 → T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → ()) → T_IsPreorder_70 → AgdaAny → AgdaAny → T__IsRelatedTo__56 → T_Dec_32 Source #
d_extractEquality_100 ∷ T_Level_18 → T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → ()) → T_IsPreorder_70 → AgdaAny → AgdaAny → T__IsRelatedTo__56 → T_IsEquality_74 → AgdaAny Source #
d_begin__110 ∷ T_Level_18 → T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → ()) → T_IsPreorder_70 → AgdaAny → AgdaAny → T__IsRelatedTo__56 → AgdaAny Source #
d_begin'45'equality__124 ∷ T_Level_18 → T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → ()) → T_IsPreorder_70 → AgdaAny → AgdaAny → T__IsRelatedTo__56 → AgdaAny → AgdaAny Source #
d_step'45''8764'_136 ∷ T_Level_18 → T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → ()) → T_IsPreorder_70 → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__56 → AgdaAny → T__IsRelatedTo__56 Source #
du_step'45''8764'_136 ∷ T_IsPreorder_70 → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__56 → AgdaAny → T__IsRelatedTo__56 Source #
d_step'45''8776'_156 ∷ T_Level_18 → T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → ()) → T_IsPreorder_70 → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__56 → AgdaAny → T__IsRelatedTo__56 Source #
du_step'45''8776'_156 ∷ T_IsPreorder_70 → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__56 → AgdaAny → T__IsRelatedTo__56 Source #
d_step'45''8776''728'_176 ∷ T_Level_18 → T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → ()) → T_IsPreorder_70 → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__56 → AgdaAny → T__IsRelatedTo__56 Source #
du_step'45''8776''728'_176 ∷ T_IsPreorder_70 → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__56 → AgdaAny → T__IsRelatedTo__56 Source #
d_step'45''8801'_190 ∷ T_Level_18 → T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → ()) → T_IsPreorder_70 → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__56 → T__'8801'__12 → T__IsRelatedTo__56 Source #
d_'46'extendedlambda0_198 ∷ T_Level_18 → T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → ()) → T_IsPreorder_70 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → T__'8801'__12 → T__'8801'__12 → AgdaAny Source #
d_'46'extendedlambda1_206 ∷ T_Level_18 → T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → ()) → T_IsPreorder_70 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → T__'8801'__12 → T__'8801'__12 → AgdaAny Source #
d_step'45''8801''728'_214 ∷ T_Level_18 → T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → ()) → T_IsPreorder_70 → AgdaAny → AgdaAny → AgdaAny → T__IsRelatedTo__56 → T__'8801'__12 → T__IsRelatedTo__56 Source #
d__'8718'_234 ∷ T_Level_18 → T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → ()) → (AgdaAny → AgdaAny → ()) → T_IsPreorder_70 → AgdaAny → T__IsRelatedTo__56 Source #