Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
type T_Format_14 = Format Source #
d_Format_14 ∷ a Source #
type T_Input_16 = Input Source #
d_Input_16 ∷ a Source #
d_ProgramN_18 ∷ a Source #
d_Program_20 ∷ a Source #
d_ProgramNU_26 ∷ a Source #
type T_ProgramU_28 = Program NamedDeBruijn DefaultUni DefaultFun () Source #
d_ProgramU_28 ∷ a Source #
d_BudgetMode_36 ∷ p → () Source #
type T_BudgetMode_36 a0 = BudgetMode a0 Source #
pattern C_Silent_40 ∷ BudgetMode a Source #
pattern C_Counting_42 ∷ a → BudgetMode a Source #
pattern C_Tallying_44 ∷ a → BudgetMode a Source #
check_Silent_40 ∷ ∀ xA. T_BudgetMode_36 xA Source #
check_Counting_42 ∷ ∀ xA. xA → T_BudgetMode_36 xA Source #
check_Tallying_44 ∷ ∀ xA. xA → T_BudgetMode_36 xA Source #
cover_BudgetMode_36 ∷ BudgetMode a1 → () Source #
d_EvalMode_46 ∷ () Source #
type T_EvalMode_46 = EvalMode Source #
cover_EvalMode_46 ∷ EvalMode → () Source #
d_checkError_76 ∷ T__'8866'Nf'8902'__4 → T__'8866'__168 → T_Either_6 T_ERROR_12 T__'8866'__168 Source #
d_executeUPLCwithMP_144 ∷ () → T__'215'__364 T_HCekMachineCosts_4 (T_List_382 (T__'215'__364 T_String_6 T_CpuAndMemoryModel_146)) → (T__'215'__364 T_HCekMachineCosts_4 (T_Builtin_2 → T_BuiltinModel_60) → T_MachineParameters_46) → (AgdaAny → T_String_6) → T__'8866'_14 → T_Either_6 T_ERROR_12 T_String_6 Source #
du_executeUPLCwithMP_144 ∷ T__'215'__364 T_HCekMachineCosts_4 (T_List_382 (T__'215'__364 T_String_6 T_CpuAndMemoryModel_146)) → (T__'215'__364 T_HCekMachineCosts_4 (T_Builtin_2 → T_BuiltinModel_60) → T_MachineParameters_46) → (AgdaAny → T_String_6) → T__'8866'_14 → T_Either_6 T_ERROR_12 T_String_6 Source #
d_executeUPLC_192 ∷ T_BudgetMode_36 (T__'215'__364 T_HCekMachineCosts_4 (T_List_382 (T__'215'__364 T_String_6 T_CpuAndMemoryModel_146))) → T__'8866'_14 → T_Either_6 T_ERROR_12 T_String_6 Source #