Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
d_putStrLn_12 ∷ T_String_6 → T_IO_8 () T_'8868'_6 Source #
type T_FilePath_16 = FilePath Source #
d_FilePath_16 ∷ a Source #
d_EvalOptions_24 ∷ p → () Source #
type T_EvalOptions_24 a0 = EvalOptions a0 Source #
pattern C_EvalOpts_28 ∷ Input → Format → EvalMode → BudgetMode a → EvalOptions a Source #
check_EvalOpts_28 ∷ ∀ xA. T_Input_16 → T_Format_14 → T_EvalMode_46 → T_BudgetMode_36 xA → T_EvalOptions_24 xA Source #
cover_EvalOptions_24 ∷ EvalOptions a1 → () Source #
d_TypecheckOptions_30 ∷ () Source #
pattern C_TCOpts_32 ∷ Input → Format → TypecheckOptions Source #
d_Command_36 ∷ p → () Source #
type T_Command_36 a0 = Command a0 Source #
pattern C_Eval_40 ∷ EvalOptions a → Command a Source #
pattern C_Typecheck_42 ∷ TypecheckOptions → Command a Source #
check_Eval_40 ∷ ∀ xA. T_EvalOptions_24 xA → T_Command_36 xA Source #
check_Typecheck_42 ∷ ∀ xA. T_TypecheckOptions_30 → T_Command_36 xA Source #
cover_Command_36 ∷ Command a1 → () Source #
d_execP_44 ∷ T_IO_8 () (T_Command_36 (T__'215'__364 T_HCekMachineCosts_4 (T_List_382 (T__'215'__364 T_String_6 T_CpuAndMemoryModel_146)))) Source #
d_parse_46 ∷ T_Format_14 → T_Input_16 → T_IO_8 () T_ProgramN_18 Source #
d_parseU_48 ∷ T_Format_14 → T_Input_16 → T_IO_8 () T_ProgramNU_26 Source #
d_evalInput_50 ∷ T_EvalMode_46 → T_BudgetMode_36 (T__'215'__364 T_HCekMachineCosts_4 (T_List_382 (T__'215'__364 T_String_6 T_CpuAndMemoryModel_146))) → T_Format_14 → T_Input_16 → T_IO_8 AgdaAny (T_Either_6 T_ERROR_12 T_String_6) Source #
d_tcInput_64 ∷ T_Format_14 → T_Input_16 → T_IO_8 AgdaAny (T_Either_6 T_ERROR_12 T_String_6) Source #