Safe Haskell	Safe
Language	Haskell98

Data.Tuple.OneTuple

Description

OneTuple fills the tuple gap with a singleton tuple.

OneTuple does not support the usual parenthesized tuple syntax.

OneTuple

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

Synopsis

data OneTuple a = OneTuple a
only :: OneTuple a -> a

Documentation

data OneTuple a Source #

OneTuple is the singleton tuple data type.

Constructors

OneTuple a

singleton tuple constructor

Instances

Instances details

Monad OneTuple Source #
Instance details Defined in Data.Tuple.OneTuple Methods (>>=) :: OneTuple a -> (a -> OneTuple b) -> OneTuple b (>>) :: OneTuple a -> OneTuple b -> OneTuple b return :: a -> OneTuple a
Functor OneTuple Source #
Instance details Defined in Data.Tuple.OneTuple Methods fmap :: (a -> b) -> OneTuple a -> OneTuple b (<$) :: a -> OneTuple b -> OneTuple a
MonadFix OneTuple Source #
Instance details Defined in Data.Tuple.OneTuple Methods mfix :: (a -> OneTuple a) -> OneTuple a
Applicative OneTuple Source #
Instance details Defined in Data.Tuple.OneTuple Methods pure :: a -> OneTuple a (<>) :: OneTuple (a -> b) -> OneTuple a -> OneTuple b liftA2 :: (a -> b -> c) -> OneTuple a -> OneTuple b -> OneTuple c (>) :: OneTuple a -> OneTuple b -> OneTuple b (<*) :: OneTuple a -> OneTuple b -> OneTuple a
Foldable OneTuple Source #
Instance details Defined in Data.Tuple.OneTuple Methods fold :: Monoid m => OneTuple m -> m foldMap :: Monoid m => (a -> m) -> OneTuple a -> m foldMap' :: Monoid m => (a -> m) -> OneTuple a -> m foldr :: (a -> b -> b) -> b -> OneTuple a -> b foldr' :: (a -> b -> b) -> b -> OneTuple a -> b foldl :: (b -> a -> b) -> b -> OneTuple a -> b foldl' :: (b -> a -> b) -> b -> OneTuple a -> b foldr1 :: (a -> a -> a) -> OneTuple a -> a foldl1 :: (a -> a -> a) -> OneTuple a -> a toList :: OneTuple a -> [a] null :: OneTuple a -> Bool length :: OneTuple a -> Int elem :: Eq a => a -> OneTuple a -> Bool maximum :: Ord a => OneTuple a -> a minimum :: Ord a => OneTuple a -> a sum :: Num a => OneTuple a -> a product :: Num a => OneTuple a -> a
Traversable OneTuple Source #
Instance details Defined in Data.Tuple.OneTuple Methods traverse :: Applicative f => (a -> f b) -> OneTuple a -> f (OneTuple b) sequenceA :: Applicative f => OneTuple (f a) -> f (OneTuple a) mapM :: Monad m => (a -> m b) -> OneTuple a -> m (OneTuple b) sequence :: Monad m => OneTuple (m a) -> m (OneTuple a)
Bounded a => Bounded (OneTuple a) Source #
Instance details Defined in Data.Tuple.OneTuple Methods minBound :: OneTuple a maxBound :: OneTuple a
Enum a => Enum (OneTuple a) Source #
Instance details Defined in Data.Tuple.OneTuple Methods succ :: OneTuple a -> OneTuple a pred :: OneTuple a -> OneTuple a toEnum :: Int -> OneTuple a fromEnum :: OneTuple a -> Int enumFrom :: OneTuple a -> [OneTuple a] enumFromThen :: OneTuple a -> OneTuple a -> [OneTuple a] enumFromTo :: OneTuple a -> OneTuple a -> [OneTuple a] enumFromThenTo :: OneTuple a -> OneTuple a -> OneTuple a -> [OneTuple a]
Eq a => Eq (OneTuple a) Source #
Instance details Defined in Data.Tuple.OneTuple Methods (==) :: OneTuple a -> OneTuple a -> Bool (/=) :: OneTuple a -> OneTuple a -> Bool
Ord a => Ord (OneTuple a) Source #
Instance details Defined in Data.Tuple.OneTuple Methods compare :: OneTuple a -> OneTuple a -> Ordering (<) :: OneTuple a -> OneTuple a -> Bool (<=) :: OneTuple a -> OneTuple a -> Bool (>) :: OneTuple a -> OneTuple a -> Bool (>=) :: OneTuple a -> OneTuple a -> Bool max :: OneTuple a -> OneTuple a -> OneTuple a min :: OneTuple a -> OneTuple a -> OneTuple a
Read a => Read (OneTuple a) Source #
Instance details Defined in Data.Tuple.OneTuple Methods readsPrec :: Int -> ReadS (OneTuple a) readList :: ReadS [OneTuple a] readPrec :: ReadPrec (OneTuple a) readListPrec :: ReadPrec [OneTuple a]
Show a => Show (OneTuple a) Source #
Instance details Defined in Data.Tuple.OneTuple Methods showsPrec :: Int -> OneTuple a -> ShowS show :: OneTuple a -> String showList :: [OneTuple a] -> ShowS
Ix a => Ix (OneTuple a) Source #
Instance details Defined in Data.Tuple.OneTuple Methods range :: (OneTuple a, OneTuple a) -> [OneTuple a] index :: (OneTuple a, OneTuple a) -> OneTuple a -> Int unsafeIndex :: (OneTuple a, OneTuple a) -> OneTuple a -> Int inRange :: (OneTuple a, OneTuple a) -> OneTuple a -> Bool rangeSize :: (OneTuple a, OneTuple a) -> Int unsafeRangeSize :: (OneTuple a, OneTuple a) -> Int
Semigroup a => Semigroup (OneTuple a) Source #
Instance details Defined in Data.Tuple.OneTuple Methods (<>) :: OneTuple a -> OneTuple a -> OneTuple a sconcat :: NonEmpty (OneTuple a) -> OneTuple a stimes :: Integral b => b -> OneTuple a -> OneTuple a
Monoid a => Monoid (OneTuple a) Source #
Instance details Defined in Data.Tuple.OneTuple Methods mempty :: OneTuple a mappend :: OneTuple a -> OneTuple a -> OneTuple a mconcat :: [OneTuple a] -> OneTuple a

only Source #

Arguments

:: OneTuple a	takes a singleton tuple argument
-> a	returns the only element in the tuple

The only function extracts the OneTuple's only member. (Compare to fst and snd.)