Documentation

d_SimplifierTag_4 ∷ () Source #

type T_SimplifierTag_4 = SimplifierStage Source #

pattern C_floatDelayT_6 ∷ SimplifierStage Source #

pattern C_forceDelayT_8 ∷ SimplifierStage Source #

pattern C_caseOfCaseT_10 ∷ SimplifierStage Source #

pattern C_caseReduceT_12 ∷ SimplifierStage Source #

pattern C_inlineT_14 ∷ SimplifierStage Source #

pattern C_cseT_16 ∷ SimplifierStage Source #

check_floatDelayT_6 ∷ T_SimplifierTag_4 Source #

check_forceDelayT_8 ∷ T_SimplifierTag_4 Source #

check_caseOfCaseT_10 ∷ T_SimplifierTag_4 Source #

check_caseReduceT_12 ∷ T_SimplifierTag_4 Source #

check_inlineT_14 ∷ T_SimplifierTag_4 Source #

check_cseT_16 ∷ T_SimplifierTag_4 Source #

cover_SimplifierTag_4 ∷ SimplifierStage → () Source #

d_ProofOrCE_26 ∷ p → p → () Source #

data T_ProofOrCE_26 Source #

d_decToPCE_50 ∷ () → () → T_SimplifierTag_4 → T_Dec_20 → AgdaAny → AgdaAny → T_ProofOrCE_26 Source #

du_decToPCE_50 ∷ T_SimplifierTag_4 → T_Dec_20 → AgdaAny → AgdaAny → T_ProofOrCE_26 Source #

d_pceToDec_64 ∷ () → T_ProofOrCE_26 → T_Dec_20 Source #

du_pceToDec_64 ∷ T_ProofOrCE_26 → T_Dec_20 Source #

d_MatchOrCE_78 ∷ () → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → () Source #

d_matchOrCE_98 ∷ () → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → T_SimplifierTag_4 → (AgdaAny → AgdaAny → T_Dec_20) → AgdaAny → AgdaAny → T_ProofOrCE_26 Source #

du_matchOrCE_98 ∷ T_SimplifierTag_4 → (AgdaAny → AgdaAny → T_Dec_20) → AgdaAny → AgdaAny → T_ProofOrCE_26 Source #

d_pcePointwise_140 ∷ () → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → T_SimplifierTag_4 → (AgdaAny → AgdaAny → T_ProofOrCE_26) → [AgdaAny] → [AgdaAny] → T_ProofOrCE_26 Source #

du_pcePointwise_140 ∷ T_SimplifierTag_4 → (AgdaAny → AgdaAny → T_ProofOrCE_26) → [AgdaAny] → [AgdaAny] → T_ProofOrCE_26 Source #