Documentation

d_putStrLn_12 ∷ T_String_6 → T_IO_8 () T_'8868'_6 Source #

d_IOMonad_14 ∷ T_Monad_186 Source #

type T_FilePath_16 = FilePath Source #

d_FilePath_16 ∷ a Source #

d_exitFailure_18 ∷ T_IO_8 () T_'8868'_6 Source #

d_exitSuccess_20 ∷ T_IO_8 () T_'8868'_6 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 #

type T_TypecheckOptions_30 = TypecheckOptions Source #

pattern C_TCOpts_32 ∷ Input → Format → TypecheckOptions Source #

check_TCOpts_32 ∷ T_Input_16 → T_Format_14 → T_TypecheckOptions_30 Source #

cover_TypecheckOptions_30 ∷ 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 #

d_main''_70 ∷ T_Command_36 (T__'215'__364 T_HCekMachineCosts_4 (T_List_382 (T__'215'__364 T_String_6 T_CpuAndMemoryModel_146))) → T_IO_8 AgdaAny T_'8868'_6 Source #

main ∷ b Source #

d_main_96 ∷ T_IO_8 AgdaAny T_'8868'_6 Source #