Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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 #
d_Transformation_16 ∷ p → p → p → p → p → () Source #
data T_Transformation_16 Source #
d_Trace_82 ∷ p → p → p → () Source #
d_isTransformation'63'_114 ∷ () → T_DecEq_6 → T_SimplifierTag_2 → T__'8866'_14 → T__'8866'_14 → T_Dec_32 Source #
du_isTransformation'63'_114 ∷ T_DecEq_6 → T_SimplifierTag_2 → T__'8866'_14 → T__'8866'_14 → T_Dec_32 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_32 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_32 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_buildPairs_342 ∷ () → T_List_382 T__'8866'_14 → T_List_382 (T__'215'__364 T__'8866'_14 T__'8866'_14) Source #
du_buildPairs_342 ∷ T_List_382 T__'8866'_14 → T_List_382 (T__'215'__364 T__'8866'_14 T__'8866'_14) Source #
d_traverseEitherList_358 ∷ () → () → () → (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_358 ∷ (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_466 ∷ () Source #
data T_Proof_466 Source #