| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.VerifiedCompilation
Documentation
d_IsTransformation_30 ∷ p → p → p → p → () Source #
data T_IsTransformation_30 Source #
Constructors
| C_isCoC_40 T_CoC_4 | |
| C_isFD_50 T_FD_84 |
d_isTrace'63'_58 ∷ () → T_DecEq_6 → (() → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → ()) → (T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T_List_382 (T__'215'__364 T__'8866'_14 T__'8866'_14) → T_Dec_32 Source #
du_isTrace'63'_58 ∷ (T__'8866'_14 → T__'8866'_14 → T_Dec_32) → T_List_382 (T__'215'__364 T__'8866'_14 T__'8866'_14) → T_Dec_32 Source #
d_isTransformation'63'_162 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32 Source #
d_showTranslation_228 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Translation_16 → T_String_6 Source #
d_showTrace_254 ∷ () → T_DecEq_6 → T_List_382 (T__'215'__364 T__'8866'_14 T__'8866'_14) → T_Trace_8 → T_String_6 Source #
du_showTrace_254 ∷ T_List_382 (T__'215'__364 T__'8866'_14 T__'8866'_14) → T_Trace_8 → T_String_6 Source #
d_serializeTraceProof_266 ∷ () → T_DecEq_6 → T_List_382 (T__'215'__364 T__'8866'_14 T__'8866'_14) → T_Dec_32 → T_String_6 Source #
du_serializeTraceProof_266 ∷ T_List_382 (T__'215'__364 T__'8866'_14 T__'8866'_14) → T_Dec_32 → T_String_6 Source #
type T_FileHandle_272 = Handle Source #
d_FileHandle_272 ∷ a Source #
d_writeFile_274 ∷ T_String_6 → T_String_6 → T_IO_8 () T_'8868'_6 Source #
d_buildPairs_282 ∷ () → T_List_382 T__'8866'_14 → T_List_382 (T__'215'__364 T__'8866'_14 T__'8866'_14) Source #
du_buildPairs_282 ∷ T_List_382 T__'8866'_14 → T_List_382 (T__'215'__364 T__'8866'_14 T__'8866'_14) Source #
d_traverseEitherList_298 ∷ () → () → () → (AgdaAny → T_Either_6 AgdaAny AgdaAny) → T_List_382 AgdaAny → T_Either_6 AgdaAny (T_List_382 AgdaAny) Source #
du_traverseEitherList_298 ∷ (AgdaAny → T_Either_6 AgdaAny AgdaAny) → T_List_382 AgdaAny → T_Either_6 AgdaAny (T_List_382 AgdaAny) Source #
d_certifier_354 ∷ () → T_DecEq_6 → T_List_382 T_Untyped_146 → (T_List_382 (T__'215'__364 T__'8866'_14 T__'8866'_14) → T_Dec_32) → T_Either_6 T_ScopeError_576 T_String_6 Source #