ClassyPrelude

CorePrelude

module CorePrelude

Non-standard

List-like classes

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

Repack from one type to another, dropping to a list in the middle.

repack = pack . unpack.

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

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

Strict left fold.

words :: CanWords t => t -> [t]

unwords :: CanWords t => [t] -> t

lines :: CanWords t => t -> [t]

unlines :: CanWords 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

Map-like

lookup :: CanLookup c k v => k -> c -> Maybe v

insert :: CanInsert f => f

delete :: CanDelete c k => k -> c -> c

Set-like

member :: CanMember c k => k -> c -> Bool

Text-like

show :: (Show a, CanPack c Char) => a -> c

Files

readFile :: CanReadFile a => FilePath -> a

writeFile :: CanWriteFile a => FilePath -> a