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'__38T_Level_18 → () → () → [AgdaAny] → (AgdaAny → [AgdaAny]) → [AgdaAny] Source #

d__'8855'__40T_Level_18 → () → () → [AgdaAny] → [AgdaAny] → [T_Σ_14] Source #

du__'8855'__40 ∷ () → () → [AgdaAny] → [AgdaAny] → [T_Σ_14] Source #

d__'8859'__42T_Level_18 → () → () → [AgdaAnyAgdaAny] → [AgdaAny] → [AgdaAny] Source #

du__'8859'__42 ∷ () → () → [AgdaAnyAgdaAny] → [AgdaAny] → [AgdaAny] Source #

du_pure_50 ∷ () → AgdaAny → [AgdaAny] Source #

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

d_Any'45'cong_140T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Kind_6 → (AgdaAnyAgdaAny) → (AgdaAnyAgdaAny) → AgdaAny Source #

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

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

d_map'45''8728'_218T_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_264T_Level_18 → () → T_Level_18 → () → T_Level_18 → (AgdaAnyAgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Any_34T_Any_34 Source #

d_swap'45'there_274T_Level_18 → () → T_Level_18 → () → T_Level_18 → (AgdaAnyAgdaAny → ()) → [AgdaAny] → [AgdaAny] → AgdaAnyT_Any_34T__'8801'__12 Source #

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

d_swap'8596'_320T_Level_18 → () → T_Level_18 → () → T_Level_18 → (AgdaAnyAgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Inverse_1960 Source #

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

d_'8846''8596'_424T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Level_18 → (AgdaAny → ()) → T_Inverse_1960 Source #

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

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

d_Any'45''215''8314'_482T_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'_496T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Any_34T_Σ_14 Source #

d_'215''8596'_522T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Inverse_1960 Source #

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

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

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

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

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

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

d_map'8596'_780T_Level_18 → () → T_Level_18 → () → (AgdaAnyAgdaAny) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Inverse_1960 Source #

d_gmap_782T_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'_798T_Level_18 → () → T_Level_18 → () → (AgdaAnyMaybe AgdaAny) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34T_Any_34 Source #

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

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

d_cartesianProductWith'8314'_1276T_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'_1298T_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'_1344T_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'_1350T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Any_34T_Σ_14 Source #

d_filter'8314'_1500T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAnyT_Dec_20) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34T__'8846'__30 Source #

d_filter'8315'_1536T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → (AgdaAnyT_Dec_20) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34T_Any_34 Source #

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

d_derun'8314'_1632T_Level_18 → () → T_Level_18 → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyT_Dec_20) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Any_34T_Any_34 Source #

d_deduplicate'8314'_1678T_Level_18 → () → T_Level_18 → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyT_Dec_20) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → T_Any_34T_Any_34 Source #

d_derun'8315''45'aux_1722T_Level_18 → () → T_Level_18 → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyT_Dec_20) → T_Level_18 → (AgdaAny → ()) → AgdaAny → [AgdaAny] → T_Any_34T_Any_34 Source #

d_derun'8315'_1762T_Level_18 → () → T_Level_18 → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyT_Dec_20) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34T_Any_34 Source #

d_deduplicate'8315'_1770T_Level_18 → () → T_Level_18 → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyT_Dec_20) → T_Level_18 → (AgdaAny → ()) → [AgdaAny] → T_Any_34T_Any_34 Source #

d_mapWith'8712''8314'_1800T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → [AgdaAny] → (AgdaAnyT_Any_34AgdaAny) → T_Σ_14T_Any_34 Source #

d_mapWith'8712''8315'_1822T_Level_18 → () → T_Level_18 → (AgdaAny → ()) → T_Level_18 → () → [AgdaAny] → (AgdaAnyT_Any_34AgdaAny) → T_Any_34T_Σ_14 Source #

d_from'8728'to_1868T_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_1892T_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'_2062T_Level_18T_Level_18 → () → () → (AgdaAny → ()) → (AgdaAny → [AgdaAny]) → [AgdaAny] → T_Inverse_1960 Source #

d_'8859''8596'_2078T_Level_18 → () → T_Level_18 → () → (AgdaAny → ()) → [AgdaAnyAgdaAny] → [AgdaAny] → T_Inverse_1960 Source #

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

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

d_'8855''8596''8242'_2168T_Level_18 → () → T_Level_18 → () → (AgdaAny → ()) → (AgdaAny → ()) → [AgdaAny] → [AgdaAny] → T_Inverse_1960 Source #