| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Data.List.Membership.DecSetoid
Documentation
d__'8712'__44 ∷ T_Level_18 → T_Level_18 → T_DecSetoid_84 → AgdaAny → [AgdaAny] → () Source #
d__'8713'__46 ∷ T_Level_18 → T_Level_18 → T_DecSetoid_84 → AgdaAny → [AgdaAny] → () Source #
d_find_48 ∷ T_Level_18 → T_Level_18 → T_DecSetoid_84 → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → T_Σ_14 Source #
du_find_48 ∷ T_DecSetoid_84 → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → T_Σ_14 Source #
d_lose_50 ∷ T_Level_18 → T_Level_18 → T_DecSetoid_84 → T_Level_18 → (AgdaAny → ()) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → T_Any_34 → AgdaAny → T_Any_34 Source #
du_lose_50 ∷ T_Level_18 → (AgdaAny → ()) → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → AgdaAny → [AgdaAny] → T_Any_34 → AgdaAny → T_Any_34 Source #
d_map'45'with'45''8712'_52 ∷ T_Level_18 → T_Level_18 → T_DecSetoid_84 → T_Level_18 → () → [AgdaAny] → (AgdaAny → T_Any_34 → AgdaAny) → [AgdaAny] Source #
du_map'45'with'45''8712'_52 ∷ T_DecSetoid_84 → T_Level_18 → () → [AgdaAny] → (AgdaAny → T_Any_34 → AgdaAny) → [AgdaAny] Source #
d_mapWith'8712'_54 ∷ T_Level_18 → T_Level_18 → T_DecSetoid_84 → T_Level_18 → () → [AgdaAny] → (AgdaAny → T_Any_34 → AgdaAny) → [AgdaAny] Source #
du_mapWith'8712'_54 ∷ T_DecSetoid_84 → T_Level_18 → () → [AgdaAny] → (AgdaAny → T_Any_34 → AgdaAny) → [AgdaAny] Source #
d__'8759''61'__58 ∷ T_DecSetoid_84 → T_Level_18 → () → T_Level_18 → [AgdaAny] → (AgdaAny → ()) → T_Any_34 → AgdaAny → [AgdaAny] Source #
du__'8759''61'__58 ∷ T_Level_18 → () → T_Level_18 → [AgdaAny] → (AgdaAny → ()) → T_Any_34 → AgdaAny → [AgdaAny] Source #
d__'9472'__60 ∷ T_DecSetoid_84 → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → [AgdaAny] Source #
du__'9472'__60 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34 → [AgdaAny] Source #
d__'8712''63'__62 ∷ T_Level_18 → T_Level_18 → T_DecSetoid_84 → AgdaAny → [AgdaAny] → T_Dec_32 Source #
du__'8712''63'__62 ∷ T_DecSetoid_84 → AgdaAny → [AgdaAny] → T_Dec_32 Source #
d__'8713''63'__70 ∷ T_Level_18 → T_Level_18 → T_DecSetoid_84 → AgdaAny → [AgdaAny] → T_Dec_32 Source #
du__'8713''63'__70 ∷ T_DecSetoid_84 → AgdaAny → [AgdaAny] → T_Dec_32 Source #