| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Data.Sum.Function.Propositional
Documentation
d_liftViaInverse_64 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> (T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Setoid_44 -> T_Setoid_44 -> ()) -> (T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Setoid_44 -> T_Setoid_44 -> T_Inverse_1960 -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #
du_liftViaInverse_64 :: (T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Setoid_44 -> T_Setoid_44 -> T_Setoid_44 -> AgdaAny -> AgdaAny -> AgdaAny) -> (T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Setoid_44 -> T_Setoid_44 -> T_Inverse_1960 -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #
d__'8846''45''10230'__76 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Func_714 -> T_Func_714 -> T_Func_714 #
d__'8846''45''8660'__78 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Equivalence_1714 -> T_Equivalence_1714 -> T_Equivalence_1714 #
d__'8846''45''8611'__80 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Injection_776 -> T_Injection_776 -> T_Injection_776 #
d__'8846''45''8608'__82 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Surjection_846 -> T_Surjection_846 -> T_Surjection_846 #
d__'8846''45''8617'__84 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_LeftInverse_1792 -> T_LeftInverse_1792 -> T_LeftInverse_1792 #
d__'8846''45''8618'__86 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_RightInverse_1880 -> T_RightInverse_1880 -> T_RightInverse_1880 #
d__'8846''45''10518'__88 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Bijection_926 -> T_Bijection_926 -> T_Bijection_926 #
d__'8846''45''8596'__90 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Inverse_1960 -> T_Inverse_1960 -> T_Inverse_1960 #
d__'8846''45'cong__94 :: T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Level_18 -> () -> T_Kind_6 -> AgdaAny -> AgdaAny -> AgdaAny #