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

MAlonzo.Code.Relation.Binary.Structures.Biased

Documentation

d_IsEquivalence_46 ∷ p → p → p → p → () Source #

d_IsStrictTotalOrder_66 ∷ p → p → p → p → p → p → () Source #

d_refl_356 ∷ T_IsEquivalence_28 → AgdaAny → AgdaAny Source #

d_sym_360 ∷ T_IsEquivalence_28 → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

d_trans_362 ∷ T_IsEquivalence_28 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

d_compare_484 ∷ T_IsStrictTotalOrder_624 → AgdaAny → AgdaAny → T_Tri_158 Source #

d_isStrictPartialOrder_494 ∷ T_IsStrictTotalOrder_624 → T_IsStrictPartialOrder_370 Source #

d_IsStrictTotalOrder'7580'_604 ∷ p → p → p → p → p → p → () Source #

data T_IsStrictTotalOrder'7580'_604 Source #

Constructors

C_constructor_638 T_IsEquivalence_28 (AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny) (AgdaAny → AgdaAny → T_Tri_158) 

d_isEquivalence_614 ∷ T_IsStrictTotalOrder'7580'_604 → T_IsEquivalence_28 Source #

d_trans_616 ∷ T_IsStrictTotalOrder'7580'_604 → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny → AgdaAny Source #

d_compare_618 ∷ T_IsStrictTotalOrder'7580'_604 → AgdaAny → AgdaAny → T_Tri_158 Source #

d_isStrictTotalOrder'7580'_620 ∷ T_Level_18 → T_Level_18 → () → (AgdaAny → AgdaAny → ()) → T_Level_18 → (AgdaAny → AgdaAny → ()) → T_IsStrictTotalOrder'7580'_604 → T_IsStrictTotalOrder_624 Source #

du_isStrictTotalOrder'7580'_620 ∷ T_IsStrictTotalOrder'7580'_604 → T_IsStrictTotalOrder_624 Source #