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

MAlonzo.Code.Algebra.Construct.NaturalChoice.MinOp

Documentation

d__'8776'__22 :: T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> () #

d__'8818'__24 :: T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> () #

d_Associative_118 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> (AgdaAny -> AgdaAny -> AgdaAny) -> () #

d_Commutative_122 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> (AgdaAny -> AgdaAny -> AgdaAny) -> () #

d_Congruent'8321'_124 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> (AgdaAny -> AgdaAny) -> () #

d_Congruent'8322'_126 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> (AgdaAny -> AgdaAny -> AgdaAny) -> () #

d_Idempotent_132 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> (AgdaAny -> AgdaAny -> AgdaAny) -> () #

d_Identity_138 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () #

d_LeftIdentity_164 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () #

d_LeftZero_172 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () #

d_RightIdentity_194 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () #

d_RightZero_202 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () #

d_Selective_204 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> (AgdaAny -> AgdaAny -> AgdaAny) -> () #

d_Zero_222 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> () #

d_IsBand_230 :: p -> p -> p -> p -> p -> p -> () #

d_IsCommutativeSemigroup_242 :: p -> p -> p -> p -> p -> p -> () #

d_IsMagma_270 :: p -> p -> p -> p -> p -> p -> () #

d_IsMonoid_276 :: p -> p -> p -> p -> p -> p -> p -> () #

d_IsSelectiveMagma_296 :: p -> p -> p -> p -> p -> p -> () #

d_IsSemigroup_298 :: p -> p -> p -> p -> p -> p -> () #

d_idem_412 :: T_IsBand_508 -> AgdaAny -> AgdaAny #

d_isSemigroup_420 :: T_IsBand_508 -> T_IsSemigroup_472 #

d_comm_776 :: T_IsCommutativeSemigroup_548 -> AgdaAny -> AgdaAny -> AgdaAny #

d_isSemigroup_786 :: T_IsCommutativeSemigroup_548 -> T_IsSemigroup_472 #

d_isEquivalence_1570 :: T_IsMagma_176 -> T_IsEquivalence_26 #

d_'8729''45'cong_1584 :: T_IsMagma_176 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_identity_1680 :: T_IsMonoid_686 -> T_Σ_14 #

d_isSemigroup_1692 :: T_IsMonoid_686 -> T_IsSemigroup_472 #

d_isMagma_2400 :: T_IsSelectiveMagma_436 -> T_IsMagma_176 #

d_sel_2408 :: T_IsSelectiveMagma_436 -> AgdaAny -> AgdaAny -> T__'8846'__30 #

d_assoc_2424 :: T_IsSemigroup_472 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_isMagma_2428 :: T_IsSemigroup_472 -> T_IsMagma_176 #

d_x'8851'y'8804'x_2808 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny #

du_x'8851'y'8804'x_2808 :: T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny #

d_x'8851'y'8804'y_2834 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny #

du_x'8851'y'8804'y_2834 :: T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny #

d_'8851''45'comm_2856 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny #

du_'8851''45'comm_2856 :: T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny #

d_'8851''45'cong'737'_2882 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

du_'8851''45'cong'737'_2882 :: T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_'8851''45'cong'691'_2920 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

du_'8851''45'cong'691'_2920 :: T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_'8851''45'cong_2930 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

du_'8851''45'cong_2930 :: T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_'8851''45'assoc_2944 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

du_'8851''45'assoc_2944 :: T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_'8851''45'idem_2984 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny #

du_'8851''45'idem_2984 :: T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny #

d_'8851''45'sel_2988 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> T__'8846'__30 #

du_'8851''45'sel_2988 :: T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> T__'8846'__30 #

d_'8851''45'identity'737'_2996 :: T_MinOperator_98 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d_'8851''45'identity'691'_3002 :: T_MinOperator_98 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d_'8851''45'identity_3008 :: T_MinOperator_98 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 #

d_'8851''45'zero'737'_3014 :: T_MinOperator_98 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d_'8851''45'zero'691'_3020 :: T_MinOperator_98 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d_'8851''45'zero_3026 :: T_MinOperator_98 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Σ_14 #

d_'8851''45'isMagma_3030 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> T_IsMagma_176 #

du_'8851''45'isMagma_3030 :: T_TotalPreorder_222 -> T_MinOperator_98 -> T_IsMagma_176 #

d_'8851''45'isSemigroup_3032 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> T_IsSemigroup_472 #

du_'8851''45'isSemigroup_3032 :: T_TotalPreorder_222 -> T_MinOperator_98 -> T_IsSemigroup_472 #

d_'8851''45'isBand_3034 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> T_IsBand_508 #

du_'8851''45'isBand_3034 :: T_TotalPreorder_222 -> T_MinOperator_98 -> T_IsBand_508 #

d_'8851''45'isCommutativeSemigroup_3036 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> T_IsCommutativeSemigroup_548 #

du_'8851''45'isCommutativeSemigroup_3036 :: T_TotalPreorder_222 -> T_MinOperator_98 -> T_IsCommutativeSemigroup_548 #

d_'8851''45'isSelectiveMagma_3038 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> T_IsSelectiveMagma_436 #

du_'8851''45'isSelectiveMagma_3038 :: T_TotalPreorder_222 -> T_MinOperator_98 -> T_IsSelectiveMagma_436 #

d_'8851''45'isMonoid_3042 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_IsMonoid_686 #

du_'8851''45'isMonoid_3042 :: T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_IsMonoid_686 #

d_'8851''45'rawMagma_3046 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> T_RawMagma_36 #

du_'8851''45'rawMagma_3046 :: T_MinOperator_98 -> T_RawMagma_36 #

d_'8851''45'magma_3048 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> T_Magma_68 #

du_'8851''45'magma_3048 :: T_TotalPreorder_222 -> T_MinOperator_98 -> T_Magma_68 #

d_'8851''45'semigroup_3050 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> T_Semigroup_536 #

du_'8851''45'semigroup_3050 :: T_TotalPreorder_222 -> T_MinOperator_98 -> T_Semigroup_536 #

d_'8851''45'band_3052 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> T_Band_596 #

du_'8851''45'band_3052 :: T_TotalPreorder_222 -> T_MinOperator_98 -> T_Band_596 #

d_'8851''45'commutativeSemigroup_3054 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> T_CommutativeSemigroup_662 #

du_'8851''45'commutativeSemigroup_3054 :: T_TotalPreorder_222 -> T_MinOperator_98 -> T_CommutativeSemigroup_662 #

d_'8851''45'selectiveMagma_3056 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> T_SelectiveMagma_122 #

du_'8851''45'selectiveMagma_3056 :: T_TotalPreorder_222 -> T_MinOperator_98 -> T_SelectiveMagma_122 #

d_'8851''45'monoid_3060 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Monoid_882 #

du_'8851''45'monoid_3060 :: T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> (AgdaAny -> AgdaAny) -> T_Monoid_882 #

d_x'8851'y'8776'x'8658'x'8804'y_3068 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

du_x'8851'y'8776'x'8658'x'8804'y_3068 :: T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_x'8851'y'8776'y'8658'y'8804'x_3100 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

du_x'8851'y'8776'y'8658'y'8804'x_3100 :: T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_mono'45''8804''45'distrib'45''8851'_3114 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

du_mono'45''8804''45'distrib'45''8851'_3114 :: T_TotalPreorder_222 -> T_MinOperator_98 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

d_x'8804'y'8658'x'8851'z'8804'y_3160 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

du_x'8804'y'8658'x'8851'z'8804'y_3160 :: T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_x'8804'y'8658'z'8851'x'8804'y_3172 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

du_x'8804'y'8658'z'8851'x'8804'y_3172 :: T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_x'8804'y'8851'z'8658'x'8804'y_3184 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

du_x'8804'y'8851'z'8658'x'8804'y_3184 :: T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_x'8804'y'8851'z'8658'x'8804'z_3198 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

du_x'8804'y'8851'z'8658'x'8804'z_3198 :: T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_'8851''45'mono'45''8804'_3206 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

du_'8851''45'mono'45''8804'_3206 :: T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_'8851''45'mono'737''45''8804'_3256 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

du_'8851''45'mono'737''45''8804'_3256 :: T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_'8851''45'mono'691''45''8804'_3266 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

du_'8851''45'mono'691''45''8804'_3266 :: T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_'8851''45'glb_3278 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

du_'8851''45'glb_3278 :: T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

d_'8851''45'triangulate_3292 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #

du_'8851''45'triangulate_3292 :: T_TotalPreorder_222 -> T_MinOperator_98 -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny #