| Safe Haskell | None |
|---|
ModularPrelude.Classy
Description
This module provides the core type classes from ClassyPrelude necessary to conveniently interact with the standard modules provided with modular-prelude-classy.
It is recommended that you always import this module -- *as well as ModularPrelude* -- when using other modules from modular-prelude-classy.
Documentation
class CanMap f i o
Instances
| CanMapFunc ci co i o => CanMap (ci -> co) i o |
class CanConcatMap f i o
Instances
| CanConcatMapFunc ci co i o => CanConcatMap (ci -> co) i o |
class CanFilter f i
Instances
| CanFilterFunc ci co i => CanFilter (ci -> co) i |
class CanLength c len | c -> len
class CanSingleton c i | c -> i
Instances
| CanSingleton Text Char | |
| CanSingleton ByteString Word8 | |
| CanSingleton LText Char | |
| CanSingleton LByteString Word8 | |
| CanSingleton [a] a | |
| CanSingleton (Vector a) a | |
| CanSingleton (Set x) x | |
| Hashable x => CanSingleton (Set x) x | |
| ~ * v' v => CanSingleton (v' -> Map k v) k | |
| (Eq k, Hashable k, ~ * v' v) => CanSingleton (v' -> Map k v) k |
class CanNull c
class CanPack c i | c -> i
Instances
| CanPack FilePath Char | |
| CanPack Text Char | |
| CanPack ByteString Word8 | |
| CanPack LText Char | |
| CanPack LByteString Word8 | |
| 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
Instances
| CanMapMFunc ci mco m i o => CanMapM (ci -> mco) m i o |
class Monad m => CanMapM_ f m i
Instances
| (Monad m, CanMapM_Func ci i, ~ * r (m ())) => CanMapM_ (ci -> r) m i |
class CanLookup c k v | c -> k v
class CanInsert f
class CanDelete c k | c -> k
class CanMember c k | c -> k
class CanReadFile a
Instances
| MonadIO m => CanReadFile (m LByteString) | |
| MonadIO m => CanReadFile (m ByteString) |
class CanWriteFile a
Instances
| (MonadIO m, ~ * b (), CanWriteFileFunc a) => CanWriteFile (a -> m b) |
class CanStripPrefix a
Instances
| CanStripPrefix FilePath | |
| CanStripPrefix Text | |
| CanStripPrefix LText | |
| Eq a => CanStripPrefix [a] |
class CanBreak c i | c -> i
class CanAny c i | c -> i
class CanSplitAt c i | c -> i
Instances
| CanSplitAt Text Int | |
| CanSplitAt ByteString Int | |
| CanSplitAt LText Int64 | |
| CanSplitAt LByteString Int64 | |
| CanSplitAt [c] Int | |
| CanSplitAt (Vector a) Int |
class CanFold f i accum
Instances
| (CanFoldFunc c i accum, ~ * accum result) => CanFold (c -> result) i accum |
class CanStripSuffix a
Instances
| CanStripSuffix Text | |
| CanStripSuffix LText |
class CanIsInfixOf a
Instances
| CanIsInfixOf Text | |
| CanIsInfixOf LText | |
| Eq a => CanIsInfixOf [a] |
class CanReverse a
Instances
| CanReverse Text | |
| CanReverse ByteString | |
| CanReverse LText | |
| CanReverse LByteString | |
| CanReverse [a] | |
| CanReverse (Vector a) |
class CanReplicate a i len | a -> i len
Instances
| CanReplicate Text Text Int | |
| CanReplicate ByteString Word8 Int | |
| CanReplicate LText LText Int64 | |
| CanReplicate LByteString Word8 Int64 | |
| CanReplicate [i] i Int | |
| CanReplicate (Vector a) a Int |