Safe HaskellNone

MAlonzo.Code.Relation.Binary.Reasoning.Base.Double

Documentation

d__IsRelatedTo__56 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> p7 -> p8 -> p9 -> () Source #

data T__IsRelatedTo__56 Source #

Constructors

C_nonstrict_64 AgdaAny 
C_equals_68 AgdaAny 

d_IsEquality_74 :: p1 -> p2 -> p3 -> p4 -> p5 -> p6 -> p7 -> p8 -> p9 -> p10 -> () Source #

data T_IsEquality_74 Source #

Constructors

C_isEquality_82 

d_IsEquality'63'_90 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> AgdaAny -> AgdaAny -> T__IsRelatedTo__56 -> T_Dec_32 Source #

du_IsEquality'63'_90 :: T__IsRelatedTo__56 -> T_Dec_32 Source #

d_extractEquality_100 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> AgdaAny -> AgdaAny -> T__IsRelatedTo__56 -> T_IsEquality_74 -> AgdaAny Source #

du_extractEquality_100 :: T__IsRelatedTo__56 -> T_IsEquality_74 -> AgdaAny Source #

d_begin__110 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> AgdaAny -> AgdaAny -> T__IsRelatedTo__56 -> AgdaAny Source #

du_begin__110 :: T_IsPreorder_70 -> AgdaAny -> AgdaAny -> T__IsRelatedTo__56 -> AgdaAny Source #

d_begin'45'equality__124 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> AgdaAny -> AgdaAny -> T__IsRelatedTo__56 -> AgdaAny -> AgdaAny Source #

du_begin'45'equality__124 :: T__IsRelatedTo__56 -> AgdaAny Source #

d_step'45''8764'_136 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (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_14 -> T_Level_14 -> T_Level_14 -> () -> (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_14 -> T_Level_14 -> T_Level_14 -> () -> (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_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__56 -> T__'8801'__12 -> T__IsRelatedTo__56 Source #

du_step'45''8801'_190 :: T__IsRelatedTo__56 -> T__IsRelatedTo__56 Source #

d_step'45''8801''728'_214 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> AgdaAny -> AgdaAny -> AgdaAny -> T__IsRelatedTo__56 -> T__'8801'__12 -> T__IsRelatedTo__56 Source #

du_step'45''8801''728'_214 :: T__IsRelatedTo__56 -> T__IsRelatedTo__56 Source #

d__'8801''10216''10217'__226 :: T__IsRelatedTo__56 -> T__IsRelatedTo__56 Source #

d__'8718'_234 :: T_Level_14 -> T_Level_14 -> T_Level_14 -> () -> (AgdaAny -> AgdaAny -> ()) -> (AgdaAny -> AgdaAny -> ()) -> T_IsPreorder_70 -> AgdaAny -> T__IsRelatedTo__56 Source #

du__'8718'_234 :: T_IsPreorder_70 -> AgdaAny -> T__IsRelatedTo__56 Source #