| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Data.List.Relation.Unary.All
Documentation
Constructors
| C_'91''93'_50 | |
| C__'8759'__60 AgdaAny T_All_44 |
d__'91'_'93''61'__74 ∷ p → p → p → p → p → p → p → p → p → () Source #
data T__'91'_'93''61'__74 Source #
Constructors
| C_here_88 | |
| C_there_104 T__'91'_'93''61'__74 |
d_Null_106 ∷ T_Level_18 → () → [AgdaAny] → () Source #
d_uncons_110 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → [AgdaAny] → T_All_44 → T_Σ_14 Source #
d_head_116 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → [AgdaAny] → T_All_44 → AgdaAny Source #
d_tail_118 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → AgdaAny → [AgdaAny] → T_All_44 → T_All_44 Source #
d_reduce_124 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → [AgdaAny] → (AgdaAny → AgdaAny → AgdaAny) → T_All_44 → [AgdaAny] Source #
d_construct_138 ∷ T_Level_18 → () → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Σ_14) → [AgdaAny] → T_Σ_14 Source #
d_fromList_150 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [T_Σ_14] → T_All_44 Source #
du_fromList_150 ∷ [T_Σ_14] → T_All_44 Source #
d_toList_158 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_All_44 → [T_Σ_14] Source #
d_map_166 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → T_All_44 → T_All_44 Source #
d_zipWith_176 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Σ_14 → AgdaAny) → [AgdaAny] → T_Σ_14 → T_All_44 Source #
d_unzipWith_190 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → (AgdaAny → AgdaAny → T_Σ_14) → [AgdaAny] → T_All_44 → T_Σ_14 Source #
d_zip_200 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Σ_14 → T_All_44 Source #
d_unzip_202 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_All_44 → T_Σ_14 Source #
d__'8712'__242 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → (AgdaAny → ()) → AgdaAny → [AgdaAny] → () Source #
d_tabulate'8347'_262 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → (AgdaAny → ()) → [AgdaAny] → (AgdaAny → T_Any_34 → AgdaAny) → T_All_44 Source #
du_tabulate'8347'_262 ∷ T_Setoid_44 → [AgdaAny] → (AgdaAny → T_Any_34 → AgdaAny) → T_All_44 Source #
d_tabulate_274 ∷ T_Level_18 → () → [AgdaAny] → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Any_34 → AgdaAny) → T_All_44 Source #
d_self_278 ∷ T_Level_18 → () → [AgdaAny] → T_All_44 Source #
du_self_278 ∷ [AgdaAny] → T_All_44 Source #
d_updateAt_284 ∷ T_Level_18 → () → AgdaAny → [AgdaAny] → T_Level_18 → (AgdaAny → ()) → T_Any_34 → (AgdaAny → AgdaAny) → T_All_44 → T_All_44 Source #
d__'91'_'93''37''61'__302 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → [AgdaAny] → AgdaAny → T_All_44 → T_Any_34 → (AgdaAny → AgdaAny) → T_All_44 Source #
du__'91'_'93''37''61'__302 ∷ [AgdaAny] → T_All_44 → T_Any_34 → (AgdaAny → AgdaAny) → T_All_44 Source #
d__'91'_'93''8788'__310 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → [AgdaAny] → AgdaAny → T_All_44 → T_Any_34 → AgdaAny → T_All_44 Source #
d_sequenceA_358 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → (() → ()) → T_RawIApplicative_38 → [AgdaAny] → T_All_44 → AgdaAny Source #
d_mapA_366 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → (() → ()) → T_RawIApplicative_38 → T_Level_18 → (AgdaAny → ()) → (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → T_All_44 → AgdaAny Source #
du_mapA_366 ∷ T_RawIApplicative_38 → (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → T_All_44 → AgdaAny Source #
d_forA_372 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → (() → ()) → T_RawIApplicative_38 → T_Level_18 → [AgdaAny] → (AgdaAny → ()) → T_All_44 → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny Source #
du_forA_372 ∷ T_RawIApplicative_38 → [AgdaAny] → T_All_44 → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny Source #
d_App_394 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → (() → ()) → T_RawIMonad_32 → T_RawIApplicative_38 Source #
d_sequenceM_396 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → (() → ()) → T_RawIMonad_32 → [AgdaAny] → T_All_44 → AgdaAny Source #
du_sequenceM_396 ∷ T_RawIMonad_32 → [AgdaAny] → T_All_44 → AgdaAny Source #
d_mapM_400 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → (() → ()) → T_RawIMonad_32 → T_Level_18 → (AgdaAny → ()) → (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → T_All_44 → AgdaAny Source #
du_mapM_400 ∷ T_RawIMonad_32 → (AgdaAny → AgdaAny → AgdaAny) → [AgdaAny] → T_All_44 → AgdaAny Source #
d_forM_404 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → (() → ()) → T_RawIMonad_32 → T_Level_18 → [AgdaAny] → (AgdaAny → ()) → T_All_44 → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny Source #
du_forM_404 ∷ T_RawIMonad_32 → [AgdaAny] → T_All_44 → (AgdaAny → AgdaAny → AgdaAny) → AgdaAny Source #
d_lookupAny_408 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Level_18 → (AgdaAny → ()) → T_All_44 → T_Any_34 → T_Σ_14 Source #
d_lookupWith_424 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → (AgdaAny → AgdaAny → AgdaAny → AgdaAny) → T_All_44 → T_Any_34 → AgdaAny Source #
du_lookupWith_424 ∷ [AgdaAny] → (AgdaAny → AgdaAny → AgdaAny → AgdaAny) → T_All_44 → T_Any_34 → AgdaAny Source #
d_lookup_434 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → [AgdaAny] → T_All_44 → AgdaAny → T_Any_34 → AgdaAny Source #
d_'46'extendedlambda0_438 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → ()) → [AgdaAny] → T_All_44 → AgdaAny → AgdaAny → AgdaAny → T__'8801'__12 → AgdaAny Source #
d__'8776'__458 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → (AgdaAny → ()) → AgdaAny → AgdaAny → () Source #
d__'8712'__480 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → (AgdaAny → ()) → AgdaAny → [AgdaAny] → () Source #
d_lookup'8347'_500 ∷ T_Level_18 → T_Level_18 → T_Level_18 → T_Setoid_44 → (AgdaAny → ()) → [AgdaAny] → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → T_All_44 → AgdaAny → T_Any_34 → AgdaAny Source #
du_lookup'8347'_500 ∷ T_Setoid_44 → [AgdaAny] → (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) → T_All_44 → AgdaAny → T_Any_34 → AgdaAny Source #
d_all'63'_510 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_32) → [AgdaAny] → T_Dec_32 Source #
d_universal_520 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → AgdaAny) → [AgdaAny] → T_All_44 Source #
d_irrelevant_530 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → AgdaAny → AgdaAny → T__'8801'__12) → [AgdaAny] → T_All_44 → T_All_44 → T__'8801'__12 Source #
d_satisfiable_544 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Σ_14 Source #
d_all_546 ∷ T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAny → T_Dec_32) → [AgdaAny] → T_Dec_32 Source #