| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.VerifiedCompilation
Documentation
d_IsTransformation_24 ∷ p → p → p → () Source #
data T_IsTransformation_24 Source #
Constructors
| C_isCoC_32 T_CoC_4 | |
| C_isFD_40 T_FD_48 |
d_isTrace'63'_46 ∷ () → (() → 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'_46 ∷ (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'_150 ∷ () → T_DecEq_6 → T__'8866'_14 → T__'8866'_14 → T_Dec_32 Source #
d_showTrace_238 ∷ () → T_List_382 (T__'215'__364 T__'8866'_14 T__'8866'_14) → T_Trace_6 → T_String_6 Source #
du_showTrace_238 ∷ T_List_382 (T__'215'__364 T__'8866'_14 T__'8866'_14) → T_Trace_6 → T_String_6 Source #
d_serializeTraceProof_248 ∷ () → T_List_382 (T__'215'__364 T__'8866'_14 T__'8866'_14) → T_Dec_32 → T_String_6 Source #
du_serializeTraceProof_248 ∷ T_List_382 (T__'215'__364 T__'8866'_14 T__'8866'_14) → T_Dec_32 → T_String_6 Source #
type T_FileHandle_254 = Handle Source #
d_FileHandle_254 ∷ a Source #
d_writeFile_256 ∷ T_String_6 → T_String_6 → T_IO_8 () T_'8868'_6 Source #
d_buildPairs_264 ∷ () → T_List_382 T__'8866'_14 → T_List_382 (T__'215'__364 T__'8866'_14 T__'8866'_14) Source #
du_buildPairs_264 ∷ T_List_382 T__'8866'_14 → T_List_382 (T__'215'__364 T__'8866'_14 T__'8866'_14) Source #
d_traverseEitherList_280 ∷ () → () → () → (AgdaAny → T_Either_6 AgdaAny AgdaAny) → T_List_382 AgdaAny → T_Either_6 AgdaAny (T_List_382 AgdaAny) Source #
du_traverseEitherList_280 ∷ (AgdaAny → T_Either_6 AgdaAny AgdaAny) → T_List_382 AgdaAny → T_Either_6 AgdaAny (T_List_382 AgdaAny) Source #
d_certifier_334 ∷ () → 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 #