| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Data.List.Membership.Propositional.Properties.Core
Documentation
d_map'8728'find_30 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → (AgdaAny → T__'8801'__12 → AgdaAny) → T__'8801'__12 → T__'8801'__12 Source #
d_find'8728'map_50 ∷ T_Level_18 → () → T_Level_18 → T_Level_18 → (AgdaAny → ()) → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → (AgdaAny → AgdaAny → AgdaAny) → T__'8801'__12 Source #
d_find'45''8712'_70 ∷ T_Level_18 → () → AgdaAny → [AgdaAny] → T_Any_34 → T__'8801'__12 Source #
d_lose'8728'find_84 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → T__'8801'__12 Source #
d_find'8728'lose_98 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → [AgdaAny] → T_Any_34 → AgdaAny → T__'8801'__12 Source #
d_'8707''8712''45'Any_128 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Σ_14 → T_Any_34 Source #
d_Any'8596'_134 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Inverse_58 Source #
d_from'8728'to_142 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Σ_14 → T__'8801'__12 Source #