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_Irrelevant_20 Source #

d_'60''8658''8817'_50T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyT_Σ_14AgdaAnyT_Irrelevant_20 Source #

d_'8804''8658''8815'_64T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyAgdaAnyT_Σ_14T_Irrelevant_20 Source #

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

d_'8814''8658''8805'_126T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyT_Dec_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyT__'8846'__30) → AgdaAnyAgdaAny → (T_Σ_14T_Irrelevant_20) → AgdaAny Source #

d_'60''45'irrefl_196T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → AgdaAnyAgdaAnyAgdaAnyT_Σ_14T_Irrelevant_20 Source #

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

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

d_'60''45'asym_290T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → AgdaAnyAgdaAnyT_Σ_14T_Σ_14T_Irrelevant_20 Source #

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

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

d_'60''45'trichotomous_352T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyT_Dec_20) → (AgdaAnyAgdaAnyAgdaAnyAgdaAnyAgdaAny) → (AgdaAnyAgdaAnyT__'8846'__30) → AgdaAnyAgdaAnyT_Tri_158 Source #

d_'60''45'decidable_434T_Level_18T_Level_18T_Level_18 → () → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAny → ()) → (AgdaAnyAgdaAnyT_Dec_20) → (AgdaAnyAgdaAnyT_Dec_20) → AgdaAnyAgdaAnyT_Dec_20 Source #