Documentation

d_putStrLn_12 :: T_String_6 -> T_IO_8 () T_'8868'_6 #

d_IOMonad_14 :: T_Monad_246 #

type T_FilePath_16 = Format -> TypecheckOptions #

check_TCOpts_32 :: T_Input_16 -> T_Format_14 -> T_TypecheckOptions_30 #

cover_TypecheckOptions_30 :: TypecheckOptions -> () #

d_Command_36 :: p -> () #

type T_Command_36 a0 = Command a0 #

pattern C_Eval_40 :: EvalOptions a -> Command a #

pattern C_Typecheck_42 :: TypecheckOptions -> Command a #

check_Eval_40 :: forall xA. T_EvalOptions_24 xA -> T_Command_36 xA #

check_Typecheck_42 :: forall xA. T_TypecheckOptions_30 -> T_Command_36 xA #

cover_Command_36 :: Command a1 -> () #

d_execP_44 :: T_IO_8 () (T_Command_36 (T__'215'__426 T_HCekMachineCosts_4 (T_List_444 (T__'215'__426 T_String_6 T_CpuAndMemoryModel_192)))) #

d_parse_46 :: T_Format_14 -> T_Input_16 -> T_IO_8 () T_ProgramN_18 #

d_parseU_48 :: T_Format_14 -> T_Input_16 -> T_IO_8 () T_ProgramNU_26 #

d_evalInput_50 :: T_EvalMode_46 -> T_BudgetMode_36 (T__'215'__426 T_HCekMachineCosts_4 (T_List_444 (T__'215'__426 T_String_6 T_CpuAndMemoryModel_192))) -> T_Format_14 -> T_Input_16 -> T_IO_8 AgdaAny (T_Either_6 T_ERROR_12 T_String_6) #

d_tcInput_64 :: T_Format_14 -> T_Input_16 -> T_IO_8 AgdaAny (T_Either_6 T_ERROR_12 T_String_6) #

d_main''_70 :: T_Command_36 (T__'215'__426 T_HCekMachineCosts_4 (T_List_444 (T__'215'__426 T_String_6 T_CpuAndMemoryModel_192))) -> T_IO_8 AgdaAny T_'8868'_6 #

main :: b #

d_main_96 :: T_IO_8 AgdaAny T_'8868'_6 #