plutus-metatheory-0.1.0.0: Command line tool for running plutus core programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

MAlonzo.Code.Data.List.Relation.Unary.Any.Properties

Documentation

d__'62''62''61'__32T_Level_18 → () → () → T_'8868'_6T_'8868'_6T_'8868'_6 → [AgdaAny] → (AgdaAny → [AgdaAny]) → [AgdaAny] Source #

du__'62''62''61'__32 ∷ () → () → T_'8868'_6T_'8868'_6T_'8868'_6 → [AgdaAny] → (AgdaAny → [AgdaAny]) → [AgdaAny] Source #

d__'8855'__34T_Level_18 → () → () → T_'8868'_6T_'8868'_6T_'8868'_6 → [AgdaAny] → [AgdaAny] → [T_Σ_14] Source #

du__'8855'__34 ∷ () → () → T_'8868'_6T_'8868'_6T_'8868'_6 → [AgdaAny] → [AgdaAny] → [T_Σ_14] Source #

d__'8859'__36T_Level_18 → () → () → T_'8868'_6T_'8868'_6T_'8868'_6 → [AgdaAnyAgdaAny] → [AgdaAny] → [AgdaAny] Source #

du__'8859'__36 ∷ () → () → T_'8868'_6T_'8868'_6T_'8868'_6 → [AgdaAnyAgdaAny] → [AgdaAny] → [AgdaAny] Source #

d_lift'45'resp_90T_Level_18 → () → T_Level_18T_Level_18 → (AgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → [AgdaAny] → [AgdaAny] → T_Pointwise_48T_Any_34T_Any_34 Source #

d_Any'45'cong_128T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Kind_52 → (AgdaAnyAgdaAny) → (AgdaAnyAgdaAny) → AgdaAny Source #

d_map'45'id_158T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → (AgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyT__'8801'__12) → T_Any_34T__'8801'__12 Source #

d_map'45''8728'_178T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → (AgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAny) → T_Any_34T__'8801'__12 Source #

d_swap_214T_Level_18 → () → T_Level_18 → () → T_Level_18 → [AgdaAny] → [AgdaAny] → (AgdaAnyAgdaAny → ()) → T_Any_34T_Any_34 Source #

d_swap'45'there_226T_Level_18 → () → T_Level_18 → () → T_Level_18 → [AgdaAny] → [AgdaAny] → AgdaAny → (AgdaAnyAgdaAny → ()) → T_Any_34T__'8801'__12 Source #

d_swap'45'invol_238T_Level_18 → () → T_Level_18 → () → T_Level_18 → [AgdaAny] → [AgdaAny] → (AgdaAnyAgdaAny → ()) → T_Any_34T__'8801'__12 Source #

d_swap'8596'_252T_Level_18 → () → T_Level_18 → () → T_Level_18 → [AgdaAny] → [AgdaAny] → (AgdaAnyAgdaAny → ()) → T_Inverse_58 Source #

d_from_260T_Level_18 → () → [AgdaAny] → T_Level_18 → () → [AgdaAny] → T_Level_18 → () → T_Any_34AgdaAny Source #

d_'8846''8596'_356T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Level_18 → (AgdaAny → ()) → T_Inverse_58 Source #

d_from'8728'to_368T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T__'8846'__30T__'8801'__12 Source #

d_to'8728'from_390T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34T__'8801'__12 Source #

d_Any'45''215''8314'_410T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Σ_14T_Any_34 Source #

d_Any'45''215''8315'_424T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Any_34T_Σ_14 Source #

d_'215''8596'_454T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Inverse_58 Source #

d_from'8728'to_470T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Σ_14T__'8801'__12 Source #

d_to'8728'from_558T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Any_34T__'8801'__12 Source #

d_helper_624T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → AgdaAnyAgdaAnyT_Any_34AgdaAnyAgdaAnyT_Any_34T_Any_34 → ((AgdaAnyT__'8801'__12T_Σ_14) → T__'8801'__12T__'8801'__12) → T_Any_34 → ((AgdaAnyT__'8801'__12T_Any_34) → T__'8801'__12T__'8801'__12) → T__'8801'__12 Source #

d_Any'45'Σ'8314''691'_654T_Level_18 → () → T_Level_18 → () → T_Level_18 → (AgdaAnyAgdaAny → ()) → [AgdaAny] → T_Σ_14T_Any_34 Source #

d_Any'45'Σ'8315''691'_668T_Level_18 → () → T_Level_18 → () → T_Level_18 → (AgdaAnyAgdaAny → ()) → [AgdaAny] → T_Any_34T_Σ_14 Source #

d_map'8314'_694T_Level_18 → () → T_Level_18 → () → (AgdaAnyAgdaAny) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34T_Any_34 Source #

d_map'8315'_700T_Level_18 → () → T_Level_18 → () → (AgdaAnyAgdaAny) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34T_Any_34 Source #

d_map'8596'_744T_Level_18 → () → T_Level_18 → () → (AgdaAnyAgdaAny) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Inverse_58 Source #

d_gmap_746T_Level_18 → () → T_Level_18 → () → (AgdaAnyAgdaAny) → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAny) → [AgdaAny] → T_Any_34T_Any_34 Source #

d_mapMaybe'8314'_762T_Level_18 → () → T_Level_18 → () → (AgdaAnyMaybe AgdaAny) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34T_Any_34 Source #

d_concat'8314'_1052T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [[AgdaAny]] → T_Any_34T_Any_34 Source #

d_concat'8315'_1062T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [[AgdaAny]] → T_Any_34T_Any_34 Source #

d_cartesianProductWith'8314'_1242T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAnyAgdaAnyAgdaAny) → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Any_34T_Any_34T_Any_34 Source #

d_cartesianProductWith'8315'_1264T_Level_18 → () → T_Level_18 → () → T_Level_18 → () → (AgdaAnyAgdaAnyAgdaAny) → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAnyT_Σ_14) → [AgdaAny] → [AgdaAny] → T_Any_34T_Σ_14 Source #

d_cartesianProduct'8314'_1342T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34T_Any_34T_Any_34 Source #

d_cartesianProduct'8315'_1348T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Any_34T_Σ_14 Source #

d_filter'8314'_1532T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAnyT_Dec_32) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34T__'8846'__30 Source #

d_filter'8315'_1568T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAnyT_Dec_32) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34T_Any_34 Source #

d_derun'8314''45'aux_1620T_Level_18 → () → T_Level_18 → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyT_Dec_32) → T_Level_18 → (AgdaAny → ()) → AgdaAny → [AgdaAny] → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyT_Any_34 Source #

d_derun'8314'_1664T_Level_18 → () → T_Level_18 → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyT_Dec_32) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Any_34T_Any_34 Source #

d_deduplicate'8314'_1710T_Level_18 → () → T_Level_18 → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyT_Dec_32) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Any_34T_Any_34 Source #

d_derun'8315''45'aux_1768T_Level_18 → () → T_Level_18 → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyT_Dec_32) → T_Level_18 → (AgdaAny → ()) → AgdaAny → [AgdaAny] → T_Any_34T_Any_34 Source #

d_derun'8315'_1808T_Level_18 → () → T_Level_18 → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyT_Dec_32) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34T_Any_34 Source #

d_deduplicate'8315'_1816T_Level_18 → () → T_Level_18 → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyT_Dec_32) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34T_Any_34 Source #

d_from'8728'to_1914T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → [AgdaAny] → (AgdaAnyT_Any_34AgdaAny) → T_Level_18 → () → [AgdaAny] → (AgdaAnyT_Any_34AgdaAny) → T_Σ_14T__'8801'__12 Source #

d_to'8728'from_1938T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → [AgdaAny] → (AgdaAnyT_Any_34AgdaAny) → T_Level_18 → () → [AgdaAny] → (AgdaAnyT_Any_34AgdaAny) → T_Any_34T__'8801'__12 Source #

d_'62''62''61''8596'_2144T_Level_18T_Level_18 → () → () → (AgdaAny → ()) → (AgdaAny → [AgdaAny]) → [AgdaAny] → T_Inverse_58 Source #

d_'8859''8596'_2160T_Level_18 → () → T_Level_18 → () → (AgdaAny → ()) → [AgdaAnyAgdaAny] → [AgdaAny] → T_Inverse_58 Source #

d_'8859''8314''8242'_2192T_Level_18 → () → T_Level_18 → () → (AgdaAny → ()) → (AgdaAny → ()) → [AgdaAnyAgdaAny] → [AgdaAny] → T_Any_34T_Any_34T_Any_34 Source #

d_'8855''8596'_2212T_Level_18 → () → () → T_Level_18 → (T_Σ_14 → ()) → [AgdaAny] → [AgdaAny] → T_Inverse_58 Source #

d_'8855''8596''8242'_2244T_Level_18 → () → T_Level_18 → () → (AgdaAny → ()) → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Inverse_58 Source #