| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Relation.Nullary.Decidable.Core
Documentation
d_isYes_16 ∷ T_Level_18 → () → T_Dec_32 → Bool Source #
du_isYes_16 ∷ T_Dec_32 → Bool Source #
d_isYes'8791'does_20 ∷ T_Level_18 → () → T_Dec_32 → T__'8801'__12 Source #
d_'8970'_'8971'_22 ∷ T_Level_18 → () → T_Dec_32 → Bool Source #
du_isNo_24 ∷ T_Dec_32 → Bool Source #
d_True_26 ∷ T_Level_18 → () → T_Dec_32 → () Source #
d_False_30 ∷ T_Level_18 → () → T_Dec_32 → () Source #
d_toWitness_36 ∷ T_Level_18 → () → T_Dec_32 → AgdaAny → AgdaAny Source #
d_fromWitness_42 ∷ T_Level_18 → () → T_Dec_32 → AgdaAny → AgdaAny Source #
d_toWitnessFalse_48 ∷ T_Level_18 → () → T_Dec_32 → AgdaAny → AgdaAny → T_'8869'_4 Source #
d_fromWitnessFalse_54 ∷ T_Level_18 → () → T_Dec_32 → (AgdaAny → T_'8869'_4) → AgdaAny Source #
du_fromWitnessFalse_54 ∷ T_Dec_32 → (AgdaAny → T_'8869'_4) → AgdaAny Source #
d_From'45'yes_66 ∷ T_Level_18 → () → T_Dec_32 → () Source #
d_from'45'yes_70 ∷ T_Level_18 → () → T_Dec_32 → AgdaAny Source #
d_From'45'no_74 ∷ T_Level_18 → () → T_Dec_32 → () Source #
d_from'45'no_78 ∷ T_Level_18 → () → T_Dec_32 → AgdaAny Source #
d_dec'45'true_84 ∷ T_Level_18 → () → T_Dec_32 → AgdaAny → T__'8801'__12 Source #
d_dec'45'false_94 ∷ T_Level_18 → () → T_Dec_32 → (AgdaAny → T_'8869'_4) → T__'8801'__12 Source #
d_dec'45'yes_106 ∷ T_Level_18 → () → T_Dec_32 → AgdaAny → T_Σ_14 Source #
d_dec'45'no_124 ∷ T_Level_18 → () → T_Dec_32 → (AgdaAny → T_'8869'_4) → T_Σ_14 Source #
d_dec'45'yes'45'irr_142 ∷ T_Level_18 → () → T_Dec_32 → (AgdaAny → AgdaAny → T__'8801'__12) → AgdaAny → T__'8801'__12 Source #
d_map'8242'_168 ∷ T_Level_18 → () → T_Level_18 → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → T_Dec_32 → T_Dec_32 Source #