Documentation

d_getContents_6 :: T_IO_16 Source #

d_writeFile_8 :: T_Level_14 -> T_String_6 -> T_Colist_20 AgdaAny T_Char_6 -> T_IO_16 Source #

d_appendFile_14 :: T_Level_14 -> T_String_6 -> T_Colist_20 AgdaAny T_Char_6 -> T_IO_16 Source #

d_putStr_20 :: T_Level_14 -> T_Colist_20 AgdaAny T_Char_6 -> T_IO_16 Source #

d_putStrLn_24 :: T_Level_14 -> T_Colist_20 AgdaAny T_Char_6 -> T_IO_16 Source #