ClassyPrelude

Contents

• CorePrelude
• Standard
  • Monoid
  • Monad
• Non-standard
  • List-like classes
  • Map-like
  • Set-like
  • Text-like
  • Files
  • Chunking
  • Force types

Synopsis

• module CorePrelude
• concat :: Monoid m => [m] -> m
• empty :: Monoid m => m
• append :: Monoid m => m -> m -> m
• (++) :: Monoid m => m -> m -> m
• module Control.Monad
• map :: CanMap f i o => (i -> o) -> f
• concatMap :: CanConcatMap f i o => (i -> o) -> f
• filter :: CanFilter f i => (i -> Bool) -> f
• length :: CanLength c len => c -> len
• singleton :: CanSingleton c i => i -> c
• null :: CanNull c => c -> Bool
• pack :: CanPack c i => [i] -> c
• unpack :: CanPack c i => c -> [i]
• repack :: (CanPack a i, CanPack b i) => a -> b
• fromList :: CanPack c i => [i] -> c
• toList :: CanPack c i => c -> [i]
• mapM :: CanMapM f m i o => (i -> m o) -> f
• mapM_ :: CanMapM_ f m i => (i -> m o) -> f
• forM :: CanMapMFunc ci mco m i o => ci -> (i -> m o) -> mco
• forM_ :: (Monad m, CanMapM_Func ci i) => ci -> (i -> m o) -> m ()
• replicateM :: (CanReplicateM c i len, Monad m) => len -> m i -> m c
• stripPrefix :: CanStripPrefix a => a -> a -> Maybe a
• isPrefixOf :: CanStripPrefix a => a -> a -> Bool
• stripSuffix :: CanStripSuffix a => a -> a -> Maybe a
• isSuffixOf :: CanStripSuffix a => a -> a -> Bool
• isInfixOf :: CanIsInfixOf a => a -> a -> Bool
• break :: CanBreak c i => (i -> Bool) -> c -> (c, c)
• span :: CanBreak c i => (i -> Bool) -> c -> (c, c)
• dropWhile :: CanBreak c i => (i -> Bool) -> c -> c
• takeWhile :: CanBreak c i => (i -> Bool) -> c -> c
• any :: CanAny c i => (i -> Bool) -> c -> Bool
• all :: CanAny c i => (i -> Bool) -> c -> Bool
• splitAt :: CanSplitAt c i => i -> c -> (c, c)
• take :: CanSplitAt c i => i -> c -> c
• drop :: CanSplitAt c i => i -> c -> c
• fold :: CanFold f i accum => (accum -> i -> accum) -> accum -> f
• words :: CanWords t => t -> [t]
• unwords :: CanWords t => [t] -> t
• lines :: CanLines f => f
• unlines :: CanUnlines t => [t] -> t
• split :: CanSplit c i => (i -> Bool) -> c -> [c]
• reverse :: CanReverse a => a -> a
• readMay :: (Read b, CanPack a Char) => a -> Maybe b
• replicate :: CanReplicate a i len => len -> i -> a
• encodeUtf8 :: CanEncodeUtf8 f => f
• decodeUtf8 :: CanDecodeUtf8 f => f
• lookup :: CanLookup c k v => k -> c -> Maybe v
• insert :: CanInsert f => f
• delete :: CanDelete c k => k -> c -> c
• member :: CanMember c k => k -> c -> Bool
• elem :: CanMember c k => k -> c -> Bool
• show :: (Show a, CanPack c Char) => a -> c
• readFile :: CanReadFile a => FilePath -> a
• writeFile :: CanWriteFile a => FilePath -> a
• toChunks :: CanToChunks c i => c -> [i]
• fromChunks :: CanToChunks c i => [i] -> c
• asByteString :: ByteString -> ByteString
• asLByteString :: LByteString -> LByteString
• asHashMap :: HashMap k v -> HashMap k v
• asHashSet :: HashSet a -> HashSet a
• asText :: Text -> Text
• asLText :: LText -> LText
• asList :: [a] -> [a]
• asMap :: Map k v -> Map k v
• asSet :: Set a -> Set a
• asVector :: Vector a -> Vector a

CorePrelude

Standard

Monoid

Monad

Non-standard

List-like classes

Map-like

Set-like

Text-like

Files

Chunking

Force types