ModularPrelude.Module.Classy

Contents

• Module interface
• Module contents

Description

Synopsis

• 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

Module contents