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

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

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.)