Safe Haskell | None |
---|
- class CanMap f i o where
- map :: (i -> o) -> f
- class CanMapFunc ci co i o | ci -> i, co -> o, ci o -> co, co i -> ci where
- mapFunc :: (i -> o) -> ci -> co
- class CanConcatMap f i o where
- concatMap :: (i -> o) -> f
- class CanConcatMapFunc ci co i o | ci -> i, co -> o, ci o -> co, co i -> ci where
- concatMapFunc :: (i -> o) -> ci -> co
- class CanFilter f i where
- class CanFilterFunc ci co i | ci -> i co where
- filterFunc :: (i -> Bool) -> ci -> co
- class CanFilterM f m i where
- class CanFilterMFunc c i | c -> i where
- filterMFunc :: Monad m => (i -> m Bool) -> c -> m c
- class CanLength c len | c -> len where
- length :: c -> len
- class CanSingleton c i | c -> i where
- singleton :: i -> c
- class CanNull c where
- class CanPack c i | c -> i where
- class Monad m => CanMapM f m i o where
- mapM :: (i -> m o) -> f
- class Monad m => CanMapMFunc ci mco m i o | ci -> i, mco -> m o, ci o m -> mco, mco i -> ci where
- mapMFunc :: (i -> m o) -> ci -> mco
- class Monad m => CanMapM_ f m i where
- mapM_ :: (i -> m o) -> f
- class CanMapM_Func ci i | ci -> i where
- class CanReplicateM c i len | c -> i len where
- replicateM :: Monad m => len -> m i -> m c
- class CanLookup c k v | c -> k v where
- class CanInsert f where
- insert :: f
- class CanInsertVal c k v | c -> k v where
- insertVal :: k -> v -> c -> c
- class CanDelete f where
- delete :: f
- class CanDeleteVal c k | c -> k where
- deleteVal :: k -> c -> c
- class CanMember c k | c -> k where
- class CanReadFile a where
- class CanWriteFile a where
- class CanWriteFileFunc a where
- writeFileFunc :: MonadIO m => FilePath -> a -> m ()
- class CanStripPrefix a where
- stripPrefix :: a -> a -> Maybe a
- isPrefixOf :: a -> a -> Bool
- class CanBreak c i | c -> i where
- class CanAny c i | c -> i where
- class CanSplitAt c i | c -> i where
- splitAt :: i -> c -> (c, c)
- take :: CanSplitAt c i => i -> c -> c
- drop :: CanSplitAt c i => i -> c -> c
- class CanFold f i accum where
- fold :: (accum -> i -> accum) -> accum -> f
- class CanFoldFunc c i accum | c -> i where
- foldFunc :: (accum -> i -> accum) -> accum -> c -> accum
- class CanWords t where
- class CanLines f where
- lines :: f
- class CanLinesFunc t where
- linesFunc :: t -> [t]
- class CanUnlines t where
- unlines :: [t] -> t
- class CanSplit c i | c -> i where
- class CanStripSuffix a where
- stripSuffix :: a -> a -> Maybe a
- isSuffixOf :: a -> a -> Bool
- class CanIsInfixOf a where
- class CanReverse a where
- reverse :: a -> a
- class CanReplicate a i len | a -> i len where
- replicate :: len -> i -> a
- class CanToChunks c i | c -> i, i -> c where
- toChunks :: c -> [i]
- fromChunks :: [i] -> c
- class CanEncodeUtf8 f where
- encodeUtf8 :: f
- class CanEncodeUtf8Func ci co | co -> ci, ci -> co where
- encodeUtf8Func :: ci -> co
- class CanDecodeUtf8 f where
- decodeUtf8 :: f
- class CanDecodeUtf8Func ci co | co -> ci, ci -> co where
- decodeUtf8Func :: ci -> co
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, ~ * ci co) => 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 CanFilterM f m i whereSource
(CanFilterMFunc ci i, ~ * (m ci) mco, Monad m) => CanFilterM (ci -> mco) m i |
class CanFilterMFunc c i | c -> i whereSource
filterMFunc :: Monad m => (i -> m Bool) -> c -> m cSource
CanFilterMFunc [a] a | |
CanFilterMFunc (Vector a) a |
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 | |
(Eq a, Hashable a) => CanMapM_Func (HashSet a) a | |
Ord a => CanMapM_Func (Set a) a |
class CanReplicateM c i len | c -> i len whereSource
replicateM :: Monad m => len -> m i -> m cSource
CanReplicateM [a] a Int | |
CanReplicateM (Vector a) a Int |
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 |
(CanDeleteVal c' k, ~ * c c') => CanDelete (k -> c -> c') |
class CanDeleteVal c k | c -> k whereSource
Eq k => CanDeleteVal [(k, v)] k | |
Ord k => CanDeleteVal (Map k v) k | |
(Eq k, Hashable k) => CanDeleteVal (Map k v) k |
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 CanLinesFunc t whereSource
CanLinesFunc Text | |
CanLinesFunc LText | |
~ * c Char => CanLinesFunc [c] |
class CanUnlines t whereSource
CanUnlines Text | |
CanUnlines LText | |
~ * c Char => CanUnlines [c] |
class CanStripSuffix a whereSource
stripSuffix :: a -> a -> Maybe aSource
isSuffixOf :: a -> a -> BoolSource
CanStripSuffix Text | |
CanStripSuffix ByteString | |
CanStripSuffix LByteString | |
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 |
class CanEncodeUtf8 f whereSource
encodeUtf8 :: fSource
CanEncodeUtf8Func ci co => CanEncodeUtf8 (ci -> co) |
class CanEncodeUtf8Func ci co | co -> ci, ci -> co whereSource
encodeUtf8Func :: ci -> coSource
class CanDecodeUtf8 f whereSource
decodeUtf8 :: fSource
CanDecodeUtf8Func ci co => CanDecodeUtf8 (ci -> co) |
class CanDecodeUtf8Func ci co | co -> ci, ci -> co whereSource
Note: implementations should ensure that decodeUtf8Func
is a total
function. As such, the standard decodeUtf8
provided by the text package
should not be used, but instead decodeUtf8With lenientDecode
.
decodeUtf8Func :: ci -> coSource