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

MAlonzo.Code.Reflection.Argument.Modality

Documentation

d_relevance_14 ∷ T_Modality_68 → T_Relevance_56 Source #

d_quantity_18 ∷ T_Modality_68 → T_Quantity_62 Source #

d_modality'45'injective'8321'_22 ∷ T_Relevance_56 → T_Quantity_62 → T_Relevance_56 → T_Quantity_62 → T__'8801'__12 → T__'8801'__12 Source #

d_modality'45'injective'8322'_24 ∷ T_Relevance_56 → T_Quantity_62 → T_Relevance_56 → T_Quantity_62 → T__'8801'__12 → T__'8801'__12 Source #

d_modality'45'injective_26 ∷ T_Relevance_56 → T_Quantity_62 → T_Relevance_56 → T_Quantity_62 → T__'8801'__12 → T_Σ_14 Source #

du_modality'45'injective_26 ∷ T__'8801'__12 → T_Σ_14 Source #

d__'8799'__28 ∷ T_Modality_68 → T_Modality_68 → T_Dec_32 Source #