Safe Haskell | None |
---|
Documentation
class CanMap f i o whereSource
CanMapFunc ci co i o => CanMap (ci -> co) i o |
class CanMapFunc ci co i o | ci -> i, co -> o, ci o -> co, co i -> ci whereSource
CanMapFunc Text Text Char Char | |
CanMapFunc ByteString ByteString Word8 Word8 | |
CanMapFunc LByteString LByteString Word8 Word8 | |
CanMapFunc LText LText Char Char | |
CanMapFunc [a] [b] a b | |
CanMapFunc (Vector a) (Vector b) a b | |
(Ord a, Ord b) => CanMapFunc (Set a) (Set b) a b | |
(Eq b, Hashable b) => CanMapFunc (Set a) (Set b) a b | |
CanMapFunc (Map k v1) (Map k v2) v1 v2 | |
CanMapFunc (Map k v1) (Map k v2) v1 v2 |
class CanConcatMap f i o whereSource
CanConcatMapFunc ci co i o => CanConcatMap (ci -> co) i o |
class CanConcatMapFunc ci co i o | ci -> i, co -> o, ci o -> co, co i -> ci whereSource
concatMapFunc :: (i -> o) -> ci -> coSource
CanConcatMapFunc Text Text Char Text | |
CanConcatMapFunc ByteString ByteString Word8 ByteString | |
CanConcatMapFunc LByteString LByteString Word8 LByteString | |
CanConcatMapFunc LText LText Char LText | |
CanConcatMapFunc [a] [b] a [b] | |
CanConcatMapFunc (Vector a) (Vector b) a (Vector b) |
class CanFilter f i whereSource
CanFilterFunc ci co i => CanFilter (ci -> co) i |
class CanFilterFunc ci co i | ci -> i co whereSource
filterFunc :: (i -> Bool) -> ci -> coSource
CanFilterFunc Text Text Char | |
CanFilterFunc ByteString ByteString Word8 | |
CanFilterFunc LByteString LByteString Word8 | |
CanFilterFunc LText LText Char | |
CanFilterFunc [a] [a] a | |
CanFilterFunc (Vector a) (Vector a) a | |
Ord k => CanFilterFunc (Map k v) (Map k v) (k, v) | |
Hashable k => CanFilterFunc (Map k v) (Map k v) (k, v) |
class CanSingleton c i | c -> i whereSource
CanSingleton Text Char | |
CanSingleton ByteString Word8 | |
CanSingleton LByteString Word8 | |
CanSingleton LText Char | |
CanSingleton [a] a | |
CanSingleton (Vector a) a | |
CanSingleton (Set x) x | |
Hashable x => CanSingleton (Set x) x | |
(Eq k, Hashable k, ~ * v' v) => CanSingleton (v' -> Map k v) k | |
~ * v' v => CanSingleton (v' -> Map k v) k |
class CanPack c i | c -> i whereSource
CanPack FilePath Char | |
CanPack Text Char | |
CanPack ByteString Word8 | |
CanPack LByteString Word8 | |
CanPack LText Char | |
CanPack [a] a | |
CanPack (Maybe a) a | |
CanPack (Vector a) a | |
Ord x => CanPack (Set x) x | |
(Hashable x, Eq x) => CanPack (Set x) x | |
Ord k => CanPack (Map k v) (k, v) | |
(Eq k, Hashable k) => CanPack (Map k v) (k, v) |
class Monad m => CanMapM f m i o whereSource
(Monad m, CanMapMFunc ci mco m i o) => CanMapM (ci -> mco) m i o |
class Monad m => CanMapMFunc ci mco m i o | ci -> i, mco -> m o, ci o m -> mco, mco i -> ci whereSource
Monad m => CanMapMFunc [i] (m [o]) m i o | |
Monad m => CanMapMFunc (Vector i) (m (Vector o)) m i o |
class Monad m => CanMapM_ f m i whereSource
(Monad m, CanMapM_Func ci i, ~ * r (m ())) => CanMapM_ (ci -> r) m i |
class CanMapM_Func ci i | ci -> i whereSource
CanMapM_Func [a] a | |
CanMapM_Func (Vector a) a |
class CanInsertVal c k v | c -> k v whereSource
Eq k => CanInsertVal [(k, v)] k v | |
Ord k => CanInsertVal (Map k v) k v | |
(Eq k, Hashable k) => CanInsertVal (Map k v) k v |
class CanReadFile a whereSource
MonadIO m => CanReadFile (m ByteString) | |
MonadIO m => CanReadFile (m LByteString) |
class CanWriteFile a whereSource
(MonadIO m, ~ * b (), CanWriteFileFunc a) => CanWriteFile (a -> m b) |
class CanWriteFileFunc a whereSource
writeFileFunc :: MonadIO m => FilePath -> a -> m ()Source
CanWriteFileFunc ByteString | |
CanWriteFileFunc LByteString |
class CanStripPrefix a whereSource
stripPrefix :: a -> a -> Maybe aSource
isPrefixOf :: a -> a -> BoolSource
CanStripPrefix FilePath | |
CanStripPrefix Text | |
CanStripPrefix LText | |
Eq a => CanStripPrefix [a] |
class CanSplitAt c i | c -> i whereSource
CanSplitAt Text Int | |
CanSplitAt ByteString Int | |
CanSplitAt LByteString Int64 | |
CanSplitAt LText Int64 | |
CanSplitAt [c] Int | |
CanSplitAt (Vector a) Int |
take :: CanSplitAt c i => i -> c -> cSource
drop :: CanSplitAt c i => i -> c -> cSource
class CanFold f i accum whereSource
(CanFoldFunc c i accum, ~ * accum result) => CanFold (c -> result) i accum |
class CanFoldFunc c i accum | c -> i whereSource
CanFoldFunc Text Char accum | |
CanFoldFunc ByteString Word8 accum | |
CanFoldFunc LByteString Word8 accum | |
CanFoldFunc LText Char accum | |
CanFoldFunc [a] a accum | |
CanFoldFunc (Vector a) a accum | |
CanFoldFunc (Set a) a accum | |
CanFoldFunc (Set a) a accum |
class CanStripSuffix a whereSource
stripSuffix :: a -> a -> Maybe aSource
isSuffixOf :: a -> a -> BoolSource
CanStripSuffix Text | |
CanStripSuffix LText |
class CanIsInfixOf a whereSource
CanIsInfixOf Text | |
CanIsInfixOf LText | |
Eq a => CanIsInfixOf [a] |
class CanReverse a whereSource
CanReverse Text | |
CanReverse ByteString | |
CanReverse LByteString | |
CanReverse LText | |
CanReverse [a] | |
CanReverse (Vector a) |
class CanReplicate a i len | a -> i len whereSource
CanReplicate Text Text Int | |
CanReplicate ByteString Word8 Int | |
CanReplicate LByteString Word8 Int64 | |
CanReplicate LText LText Int64 | |
CanReplicate [i] i Int | |
CanReplicate (Vector a) a Int |
class CanToChunks c i | c -> i, i -> c whereSource
fromChunks :: [i] -> cSource
CanToChunks LByteString ByteString | |
CanToChunks LText Text |