| Safe Haskell | None |
|---|
MAlonzo.Code.Relation.Nullary.Decidable.Core
Documentation
d_isYes_16 :: T_Level_14 -> () -> T_Dec_32 -> Bool Source #
du_isYes_16 :: T_Dec_32 -> Bool Source #
d_isYes'8791'does_20 :: T_Level_14 -> () -> T_Dec_32 -> T__'8801'__12 Source #
d_'8970'_'8971'_22 :: T_Level_14 -> () -> T_Dec_32 -> Bool Source #
d_isNo_24 :: T_Level_14 -> () -> T_Dec_32 -> Bool Source #
du_isNo_24 :: T_Dec_32 -> Bool Source #
d_True_26 :: T_Level_14 -> () -> T_Dec_32 -> () Source #
d_False_30 :: T_Level_14 -> () -> T_Dec_32 -> () Source #
d_toWitness_36 :: T_Level_14 -> () -> T_Dec_32 -> AgdaAny -> AgdaAny Source #
du_toWitness_36 :: T_Dec_32 -> AgdaAny Source #
d_fromWitness_42 :: T_Level_14 -> () -> T_Dec_32 -> AgdaAny -> AgdaAny Source #
d_toWitnessFalse_48 :: T_Level_14 -> () -> T_Dec_32 -> AgdaAny -> AgdaAny -> T_'8869'_4 Source #
d_fromWitnessFalse_54 :: T_Level_14 -> () -> 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_14 -> () -> T_Dec_32 -> () Source #
d_from'45'yes_70 :: T_Level_14 -> () -> T_Dec_32 -> AgdaAny Source #
du_from'45'yes_70 :: T_Dec_32 -> AgdaAny Source #
d_From'45'no_74 :: T_Level_14 -> () -> T_Dec_32 -> () Source #
d_from'45'no_78 :: T_Level_14 -> () -> T_Dec_32 -> AgdaAny Source #
du_from'45'no_78 :: T_Dec_32 -> AgdaAny Source #
d_dec'45'true_84 :: T_Level_14 -> () -> T_Dec_32 -> AgdaAny -> T__'8801'__12 Source #
d_dec'45'false_94 :: T_Level_14 -> () -> T_Dec_32 -> (AgdaAny -> T_'8869'_4) -> T__'8801'__12 Source #
d_dec'45'yes_106 :: T_Level_14 -> () -> T_Dec_32 -> AgdaAny -> T_Σ_14 Source #
du_dec'45'yes_106 :: T_Dec_32 -> T_Σ_14 Source #
d_dec'45'no_124 :: T_Level_14 -> () -> T_Dec_32 -> (AgdaAny -> T_'8869'_4) -> T_Σ_14 Source #
du_dec'45'no_124 :: T_Dec_32 -> T_Σ_14 Source #
d_dec'45'yes'45'irr_142 :: T_Level_14 -> () -> T_Dec_32 -> (AgdaAny -> AgdaAny -> T__'8801'__12) -> AgdaAny -> T__'8801'__12 Source #
d_map'8242'_168 :: T_Level_14 -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> T_Dec_32 -> T_Dec_32 Source #