Documentation

d_Transformation_2 ∷ p → p → p → p → () Source #

data T_Transformation_2 Source #

d_Trace_68 ∷ p → p → () Source #

data T_Trace_68 Source #

d_isTransformation'63'_98 ∷ Integer → T_SimplifierTag_4 → T_Hints_50 → T__'8866'_14 → T__'8866'_14 → T_CertResult_64 Source #

d_isTrace'63'_378 ∷ Integer → T_List_414 (T__'215'__396 T_SimplifierTag_4 (T__'215'__396 T_Hints_50 (T__'215'__396 T__'8866'_14 T__'8866'_14))) → T_CertResult_64 Source #

type T_FileHandle_522 = Handle Source #

d_FileHandle_522 ∷ a Source #

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

d_stderr_526 ∷ T_FileHandle_522 Source #

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

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

d_buildPairs_534 ∷ Integer → T_List_414 T__'8866'_14 → T_List_414 (T__'215'__396 T__'8866'_14 T__'8866'_14) Source #

du_buildPairs_534 ∷ T_List_414 T__'8866'_14 → T_List_414 (T__'215'__396 T__'8866'_14 T__'8866'_14) Source #

d_traverseEitherList_550 ∷ () → () → () → (AgdaAny → T_Either_6 AgdaAny AgdaAny) → T_List_414 (T__'215'__396 T_SimplifierTag_4 (T__'215'__396 T_Hints_50 (T__'215'__396 AgdaAny AgdaAny))) → T_Either_6 AgdaAny (T_List_414 (T__'215'__396 T_SimplifierTag_4 (T__'215'__396 T_Hints_50 (T__'215'__396 AgdaAny AgdaAny)))) Source #

du_traverseEitherList_550 ∷ (AgdaAny → T_Either_6 AgdaAny AgdaAny) → T_List_414 (T__'215'__396 T_SimplifierTag_4 (T__'215'__396 T_Hints_50 (T__'215'__396 AgdaAny AgdaAny))) → T_Either_6 AgdaAny (T_List_414 (T__'215'__396 T_SimplifierTag_4 (T__'215'__396 T_Hints_50 (T__'215'__396 AgdaAny AgdaAny)))) Source #

d_Cert_672 ∷ () Source #

data T_Cert_672 Source #

d_getCE_688 ∷ () → () → Maybe T_Cert_672 → Maybe T_Σ_14 Source #

du_getCE_688 ∷ Maybe T_Cert_672 → Maybe T_Σ_14 Source #

d_passed'63'_700 ∷ Maybe T_Cert_672 → Bool Source #