Documentation

d_SimplifierTag_2 ∷ () Source #

type T_SimplifierTag_2 = SimplifierStage Source #

pattern C_floatDelayT_4 ∷ SimplifierStage Source #

pattern C_forceDelayT_6 ∷ SimplifierStage Source #

pattern C_caseOfCaseT_8 ∷ SimplifierStage Source #

pattern C_caseReduceT_10 ∷ SimplifierStage Source #

pattern C_inlineT_12 ∷ SimplifierStage Source #

pattern C_cseT_14 ∷ SimplifierStage Source #

check_floatDelayT_4 ∷ T_SimplifierTag_2 Source #

check_forceDelayT_6 ∷ T_SimplifierTag_2 Source #

check_caseOfCaseT_8 ∷ T_SimplifierTag_2 Source #

check_caseReduceT_10 ∷ T_SimplifierTag_2 Source #

check_inlineT_12 ∷ T_SimplifierTag_2 Source #

check_cseT_14 ∷ T_SimplifierTag_2 Source #

cover_SimplifierTag_2 ∷ SimplifierStage → () Source #

d_Transformation_16 ∷ p → p → p → p → p → () Source #

data T_Transformation_16 Source #

d_Trace_82 ∷ p → p → p → () Source #

data T_Trace_82 Source #

d_isTransformation'63'_114 ∷ () → T_DecEq_6 → T_SimplifierTag_2 → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

du_isTransformation'63'_114 ∷ T_DecEq_6 → T_SimplifierTag_2 → T__'8866'_14 → T__'8866'_14 → T_Dec_20 Source #

d_isTrace'63'_262 ∷ () → T_DecEq_6 → T_List_382 (T__'215'__364 T_SimplifierTag_2 (T__'215'__364 T__'8866'_14 T__'8866'_14)) → T_Dec_20 Source #

du_isTrace'63'_262 ∷ T_DecEq_6 → T_List_382 (T__'215'__364 T_SimplifierTag_2 (T__'215'__364 T__'8866'_14 T__'8866'_14)) → T_Dec_20 Source #

type T_FileHandle_332 = Handle Source #

d_FileHandle_332 ∷ a Source #

d_writeFile_334 ∷ T_String_6 → T_String_6 → T_IO_8 () T_'8868'_6 Source #

d_stderr_336 ∷ T_FileHandle_332 Source #

d_hPutStrLn_338 ∷ T_FileHandle_332 → T_String_6 → T_IO_8 () T_'8868'_6 Source #

d_putStrLn_340 ∷ T_String_6 → T_IO_8 () T_'8868'_6 Source #

d_buildPairs_344 ∷ () → T_List_382 T__'8866'_14 → T_List_382 (T__'215'__364 T__'8866'_14 T__'8866'_14) Source #

du_buildPairs_344 ∷ T_List_382 T__'8866'_14 → T_List_382 (T__'215'__364 T__'8866'_14 T__'8866'_14) Source #

d_traverseEitherList_360 ∷ () → () → () → (AgdaAny → T_Either_6 AgdaAny AgdaAny) → T_List_382 (T__'215'__364 T_SimplifierTag_2 (T__'215'__364 AgdaAny AgdaAny)) → T_Either_6 AgdaAny (T_List_382 (T__'215'__364 T_SimplifierTag_2 (T__'215'__364 AgdaAny AgdaAny))) Source #

du_traverseEitherList_360 ∷ (AgdaAny → T_Either_6 AgdaAny AgdaAny) → T_List_382 (T__'215'__364 T_SimplifierTag_2 (T__'215'__364 AgdaAny AgdaAny)) → T_Either_6 AgdaAny (T_List_382 (T__'215'__364 T_SimplifierTag_2 (T__'215'__364 AgdaAny AgdaAny))) Source #

d_Proof_468 ∷ () Source #

data T_Proof_468 Source #

d_runCertifier_478 ∷ T_List_382 (T__'215'__364 T_SimplifierTag_2 (T__'215'__364 T_Untyped_146 T_Untyped_146)) → Maybe T_Proof_468 Source #

d_passed'63'_492 ∷ Maybe T_Proof_468 → Bool Source #

runCertifierMain ∷ T_List_382 (T__'215'__364 T_SimplifierTag_2 (T__'215'__364 T_Untyped_146 T_Untyped_146)) → T_IO_8 () T_'8868'_6 Source #

d_runCertifierMain_498 ∷ T_List_382 (T__'215'__364 T_SimplifierTag_2 (T__'215'__364 T_Untyped_146 T_Untyped_146)) → T_IO_8 AgdaAny T_'8868'_6 Source #