Safe Haskell | None |
---|
- 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
- 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
module CorePrelude
Standard
Monoid
Monad
module Control.Monad
Non-standard
List-like classes
concatMap :: CanConcatMap f i o => (i -> o) -> fSource
singleton :: CanSingleton c i => i -> cSource
repack :: (CanPack a i, CanPack b i) => a -> bSource
Repack from one type to another, dropping to a list in the middle.
repack = pack . unpack
.
forM :: CanMapMFunc ci mco m i o => ci -> (i -> m o) -> mcoSource
forM_ :: (Monad m, CanMapM_Func ci i) => ci -> (i -> m o) -> m ()Source
replicateM :: (CanReplicateM c i len, Monad m) => len -> m i -> m cSource
stripPrefix :: CanStripPrefix a => a -> a -> Maybe aSource
isPrefixOf :: CanStripPrefix a => a -> a -> BoolSource
stripSuffix :: CanStripSuffix a => a -> a -> Maybe aSource
isSuffixOf :: CanStripSuffix a => a -> a -> BoolSource
isInfixOf :: CanIsInfixOf a => a -> a -> BoolSource
splitAt :: CanSplitAt c i => i -> c -> (c, c)Source
take :: CanSplitAt c i => i -> c -> cSource
drop :: CanSplitAt c i => i -> c -> cSource
unlines :: CanUnlines t => [t] -> tSource
reverse :: CanReverse a => a -> aSource
replicate :: CanReplicate a i len => len -> i -> aSource
encodeUtf8 :: CanEncodeUtf8 f => fSource
decodeUtf8 :: CanDecodeUtf8 f => fSource
Map-like
Set-like
Text-like
Files
readFile :: CanReadFile a => FilePath -> aSource
writeFile :: CanWriteFile a => FilePath -> aSource
Chunking
toChunks :: CanToChunks c i => c -> [i]Source
fromChunks :: CanToChunks c i => [i] -> cSource