Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Data.Tuple.Compat
Description
This uses the OneTuple
compatibility library to backport Solo
to old
versions of GHC. Note that OneTuple
makes use of pattern synonyms, which
cannot be defined on pre-7.8 versions of GHC. As such, it is not feasible
to backport the Solo
data constructor on pre-7.8 versions of GHC, as
OneTuple
defines this as a pattern synonym.
Documentation
Constructors
MkSolo a |
Bundled Patterns
pattern Solo :: a -> (a) |
Instances
Foldable Solo | |
Defined in Data.Foldable Methods fold :: Monoid m => Solo m -> m foldMap :: Monoid m => (a -> m) -> Solo a -> m foldMap' :: Monoid m => (a -> m) -> Solo a -> m foldr :: (a -> b -> b) -> b -> Solo a -> b foldr' :: (a -> b -> b) -> b -> Solo a -> b foldl :: (b -> a -> b) -> b -> Solo a -> b foldl' :: (b -> a -> b) -> b -> Solo a -> b foldr1 :: (a -> a -> a) -> Solo a -> a foldl1 :: (a -> a -> a) -> Solo a -> a elem :: Eq a => a -> Solo a -> Bool maximum :: Ord a => Solo a -> a | |
Foldable1 Solo | |
Defined in Data.Foldable1 Methods fold1 :: Semigroup m => Solo m -> m foldMap1 :: Semigroup m => (a -> m) -> Solo a -> m foldMap1' :: Semigroup m => (a -> m) -> Solo a -> m toNonEmpty :: Solo a -> NonEmpty a maximum :: Ord a => Solo a -> a minimum :: Ord a => Solo a -> a foldrMap1 :: (a -> b) -> (a -> b -> b) -> Solo a -> b foldlMap1' :: (a -> b) -> (b -> a -> b) -> Solo a -> b foldlMap1 :: (a -> b) -> (b -> a -> b) -> Solo a -> b foldrMap1' :: (a -> b) -> (a -> b -> b) -> Solo a -> b | |
Traversable Solo | |
Applicative Solo | |
Functor Solo | |
Monad Solo | |
Monoid a => Monoid (a) | |
Semigroup a => Semigroup (a) | |
Bounded a => Bounded (a) | |
Enum a => Enum (a) | |
Defined in GHC.Enum Methods succ :: (a) -> (a) pred :: (a) -> (a) toEnum :: Int -> (a) fromEnum :: (a) -> Int enumFrom :: (a) -> [(a)] enumFromThen :: (a) -> (a) -> [(a)] enumFromTo :: (a) -> (a) -> [(a)] enumFromThenTo :: (a) -> (a) -> (a) -> [(a)] | |
Read a => Read (a) | |
Defined in GHC.Read Methods readsPrec :: Int -> ReadS (a) readList :: ReadS [(a)] readPrec :: ReadPrec (a) readListPrec :: ReadPrec [(a)] | |
Show a => Show (a) | |
Eq a => Eq (a) | |
Defined in GHC.Classes | |
Ord a => Ord (a) | |