Safe Haskell | None |
---|
This module provides the first-class version of the ClassyPrelude module.
- data ClassyModule = Classy {
- map :: CanMap f i o => (i -> o) -> f
- concatMap :: CanConcatMap f i o => (i -> o) -> f
- filter :: CanFilter f a => (a -> Bool) -> f
- length :: CanLength c i => c -> i
- singleton :: CanSingleton c i => i -> c
- null :: CanNull c => c -> Bool
- pack :: CanPack c i => [i] -> c
- unpack :: CanPack c i => c -> [i]
- mapM :: CanMapM f m i o => (i -> m o) -> f
- mapM_ :: CanMapM_ f m i => (i -> m o) -> 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
- readFile :: CanReadFile a => FilePath -> a
- writeFile :: CanWriteFile a => FilePath -> a
- stripPrefix :: CanStripPrefix a => a -> a -> Maybe a
- 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 a accum => (accum -> a -> accum) -> accum -> f
- 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]
- stripSuffix :: CanStripSuffix a => a -> a -> Maybe a
- isSuffixOf :: CanStripSuffix a => a -> a -> Bool
- isInfixOf :: CanIsInfixOf a => a -> a -> Bool
- reverse :: CanReverse a => a -> a
- replicate :: CanReplicate a i l => l -> i -> a
- fromList :: CanPack c i => [i] -> c
- toList :: CanPack c i => c -> [i]
- empty :: Monoid w => w
- show :: (Show a, CanPack c Char) => a -> c
- readMay :: (Read b, CanPack a Char) => a -> Maybe b
- repack :: (CanPack a i, CanPack b i) => a -> b
- class ClassyPreludeImplements interface where
- _ClassyPrelude_ :: interface
Module interface
data ClassyModule Source
Classy | |
|
Module contents
class ClassyPreludeImplements interface whereSource
_ClassyPrelude_ :: interfaceSource