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_forceCaseDelayT_10 ∷ SimplifierStage Source #

pattern C_caseOfCaseT_12 ∷ SimplifierStage Source #

pattern C_caseReduceT_14 ∷ SimplifierStage Source #

pattern C_inlineT_16 ∷ SimplifierStage Source #

pattern C_cseT_18 ∷ SimplifierStage Source #

check_floatDelayT_6 ∷ T_SimplifierTag_4 Source #

check_forceDelayT_8 ∷ T_SimplifierTag_4 Source #

check_forceCaseDelayT_10 ∷ T_SimplifierTag_4 Source #

check_caseOfCaseT_12 ∷ T_SimplifierTag_4 Source #

check_caseReduceT_14 ∷ T_SimplifierTag_4 Source #

check_inlineT_16 ∷ T_SimplifierTag_4 Source #

check_cseT_18 ∷ T_SimplifierTag_4 Source #

cover_SimplifierTag_4 ∷ SimplifierStage → () Source #

d_ProofOrCE_28 ∷ p → p → () Source #

data T_ProofOrCE_28 Source #

d_decToPCE_52 ∷ () → () → T_SimplifierTag_4 → T_Dec_20 → AgdaAny → AgdaAny → T_ProofOrCE_28 Source #

du_decToPCE_52 ∷ T_SimplifierTag_4 → T_Dec_20 → AgdaAny → AgdaAny → T_ProofOrCE_28 Source #

d_pceToDec_66 ∷ () → T_ProofOrCE_28 → T_Dec_20 Source #

du_pceToDec_66 ∷ T_ProofOrCE_28 → T_Dec_20 Source #

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

d_matchOrCE_100 ∷ () → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → T_SimplifierTag_4 → (AgdaAny → AgdaAny → T_Dec_20) → AgdaAny → AgdaAny → T_ProofOrCE_28 Source #

du_matchOrCE_100 ∷ T_SimplifierTag_4 → (AgdaAny → AgdaAny → T_Dec_20) → AgdaAny → AgdaAny → T_ProofOrCE_28 Source #

d_pcePointwise_142 ∷ () → () → T_Level_18 → (AgdaAny → AgdaAny → ()) → T_SimplifierTag_4 → (AgdaAny → AgdaAny → T_ProofOrCE_28) → [AgdaAny] → [AgdaAny] → T_ProofOrCE_28 Source #

du_pcePointwise_142 ∷ T_SimplifierTag_4 → (AgdaAny → AgdaAny → T_ProofOrCE_28) → [AgdaAny] → [AgdaAny] → T_ProofOrCE_28 Source #