Documentation

fromColist :: AgdaColist a -> [a] Source #

toColist :: [a] -> AgdaColist a Source #

d_getContents_6 :: T_IO_8 () (T_Colist_20 () T_Char_6) Source #

d_readFile_8 :: T_String_6 -> T_IO_8 () (T_Colist_20 () T_Char_6) Source #

d_writeFile_10 :: T_String_6 -> T_Colist_20 () T_Char_6 -> T_IO_8 () T_'8868'_6 Source #

d_appendFile_12 :: T_String_6 -> T_Colist_20 () T_Char_6 -> T_IO_8 () T_'8868'_6 Source #

d_putStr_14 :: T_Colist_20 () T_Char_6 -> T_IO_8 () T_'8868'_6 Source #

d_putStrLn_16 :: T_Colist_20 () T_Char_6 -> T_IO_8 () T_'8868'_6 Source #