Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Data.Tuple.Solo
Description
Solo
fills the tuple gap with a singleton tuple.
Solo
does not support the usual parenthesized tuple syntax.
- has the expected laziness properties
- can be pattern-matched
- ships with instances for several standard type classes, including all those supported by H98-standard tuples
- requires no language extensions, except for hierarchical modules
Note: on GHC-9.0 getSolo
is not a record selector.
Documentation
Constructors
MkSolo a |
Instances
MonadZip Solo | |
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 | |
Eq1 Solo | |
Defined in Data.Functor.Classes | |
Ord1 Solo | |
Defined in Data.Functor.Classes Methods liftCompare :: (a -> b -> Ordering) -> Solo a -> Solo b -> Ordering | |
Read1 Solo | |
Defined in Data.Functor.Classes Methods liftReadsPrec :: (Int -> ReadS a) -> ReadS [a] -> Int -> ReadS (Solo a) liftReadList :: (Int -> ReadS a) -> ReadS [a] -> ReadS [Solo a] liftReadPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec (Solo a) liftReadListPrec :: ReadPrec a -> ReadPrec [a] -> ReadPrec [Solo a] | |
Show1 Solo | |
Defined in Data.Functor.Classes Methods liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Solo a -> ShowS liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Solo a] -> ShowS | |
Applicative Solo | |
Functor Solo | |
Monad Solo | |
Monoid a => Monoid (Solo a) | |
Semigroup a => Semigroup (Solo a) | |
Eq a => Eq (Solo a) | |
Ord a => Ord (Solo a) | |