| 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_46 → T_Setoid_46 → ()) → (T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_46 → T_Setoid_46 → T_Setoid_46 → AgdaAny → AgdaAny → AgdaAny) → (T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_46 → T_Setoid_46 → T_Inverse_2122 → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #
du_liftViaInverse_64 ∷ (T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_46 → T_Setoid_46 → T_Setoid_46 → AgdaAny → AgdaAny → AgdaAny) → (T_Level_18 → T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_46 → T_Setoid_46 → T_Inverse_2122 → AgdaAny) → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny → AgdaAny → AgdaAny Source #
d__'8846''45''10230'__76 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Func_774 → T_Func_774 → T_Func_774 Source #
d__'8846''45''8660'__78 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Equivalence_1858 → T_Equivalence_1858 → T_Equivalence_1858 Source #
d__'8846''45''8611'__80 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Injection_842 → T_Injection_842 → T_Injection_842 Source #
d__'8846''45''8608'__82 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Surjection_918 → T_Surjection_918 → T_Surjection_918 Source #
d__'8846''45''8617'__84 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_LeftInverse_1942 → T_LeftInverse_1942 → T_LeftInverse_1942 Source #
d__'8846''45''8618'__86 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_RightInverse_2036 → T_RightInverse_2036 → T_RightInverse_2036 Source #
d__'8846''45''10518'__88 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Bijection_1004 → T_Bijection_1004 → T_Bijection_1004 Source #
d__'8846''45''8596'__90 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Inverse_2122 → T_Inverse_2122 → T_Inverse_2122 Source #
d__'8846''45'cong__94 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → T_Kind_6 → AgdaAny → AgdaAny → AgdaAny Source #