Intro

Documentation

type LText = Text

type LByteString = ByteString

(.:) :: (c -> d) -> (a -> b -> c) -> a -> b -> d infixr 8

(<>^) :: (Applicative f, Semigroup a) => f a -> f a -> f a infixr 6

skip :: Applicative m => m ()

panic :: HasCallStack => a

map :: Functor f => (a -> b) -> f a -> f b

print :: (MonadIO m, Show a) => a -> m ()

getContents :: MonadIO m => m Text

getLine :: MonadIO m => m Text

getChar :: MonadIO m => m Char

putChar :: MonadIO m => Char -> m ()

putStr :: MonadIO m => Text -> m ()

putStrLn :: MonadIO m => Text -> m ()

show :: (Show a, ConvertibleStrings String b) => a -> b

showS :: Show a => a -> String

readMaybe :: (Read b, ConvertibleStrings a String) => a -> Maybe b

undefined :: HasCallStack => a

Warning: undefined remains in code

readFile :: MonadIO m => FilePath -> m ByteString

writeFile :: MonadIO m => FilePath -> ByteString -> m ()

appendFile :: MonadIO m => FilePath -> ByteString -> m ()

readFileUtf8 :: MonadIO m => FilePath -> m Text

writeFileUtf8 :: MonadIO m => FilePath -> Text -> m ()

appendFileUtf8 :: MonadIO m => FilePath -> Text -> m ()