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

MAlonzo.Code.Relation.Binary.Construct.NonStrictToStrict

Documentation

d__'8777'__20T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → AgdaAnyAgdaAny → () Source #

d__'60'__26T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → AgdaAnyAgdaAny → () Source #

d_'60''8658''8804'_32T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → AgdaAnyAgdaAnyT_Σ_14AgdaAny Source #

d_'60''8658''8777'_38T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → AgdaAnyAgdaAnyT_Σ_14AgdaAnyT_'8869'_4 Source #

d_'60''8658''8817'_50T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyT_Σ_14AgdaAnyT_'8869'_4 Source #

d_'8804''8658''8815'_64T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyAgdaAnyT_Σ_14T_'8869'_4 Source #

d_'8816''8658''62'_76T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyT__'8846'__30) → AgdaAnyAgdaAny → (AgdaAnyT_'8869'_4) → T_Σ_14 Source #

d_'8814''8658''8805'_126T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyT_Dec_32) → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyT__'8846'__30) → AgdaAnyAgdaAny → (T_Σ_14T_'8869'_4) → AgdaAny Source #

d_'60''45'irrefl_196T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → AgdaAnyAgdaAnyAgdaAnyT_Σ_14T_'8869'_4 Source #

d_'60''45''8804''45'trans_250T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyAgdaAnyT_Σ_14AgdaAnyT_Σ_14 Source #

d_'8804''45''60''45'trans_268T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Σ_14T_Σ_14 Source #

d_'60''45'asym_284T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyT_Σ_14T_Σ_14T_'8869'_4 Source #

d_'60''45'resp'737''45''8776'_294T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Σ_14T_Σ_14 Source #

d_'60''45'resp'691''45''8776'_306T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyAgdaAnyAgdaAnyT_Σ_14T_Σ_14 Source #

d_'60''45'trichotomous_346T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyT_Dec_32) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyT__'8846'__30) → AgdaAnyAgdaAnyT_Tri_136 Source #

d_'60''45'decidable_428T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyT_Dec_32) → (AgdaAnyAgdaAnyT_Dec_32) → AgdaAnyAgdaAnyT_Dec_32 Source #

d_irrefl_638T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → AgdaAnyAgdaAnyAgdaAnyT_Σ_14T_'8869'_4 Source #

d_trans_640T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → T_IsPartialOrder_162AgdaAnyAgdaAnyAgdaAnyT_Σ_14T_Σ_14T_Σ_14 Source #

d_antisym'10230'asym_642T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyT_Σ_14T_Σ_14T_'8869'_4 Source #

d_decidable_644T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyT_Dec_32) → (AgdaAnyAgdaAnyT_Dec_32) → AgdaAnyAgdaAnyT_Dec_32 Source #

d_trichotomous_646T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyT_Dec_32) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyT__'8846'__30) → AgdaAnyAgdaAnyT_Tri_136 Source #