Protolude

Documentation

module Base

identity :: a -> a

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

(&) :: a -> (a -> b) -> b infixl 1

uncons :: [a] -> Maybe (a, [a])

unsnoc :: [x] -> Maybe ([x], x)

applyN :: Int -> (a -> a) -> a -> a

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

throwIO :: (MonadIO m, Exception e) => e -> m a

throwTo :: (MonadIO m, Exception e) => ThreadId -> e -> m ()

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

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

pass :: Applicative f => f ()

guarded :: Alternative f => (a -> Bool) -> a -> f a

guardedA :: (Functor f, Alternative t) => (a -> f Bool) -> a -> f (t a)

type LText = Text

type LByteString = ByteString