-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | OneTuple, the Singleton Tuple
--   
--   OneTuple, the Singleton Tuple
@package OneTuple
@version 0.1.0


-- | OneTuple fills the <i>tuple gap</i> with a singleton tuple.
--   
--   OneTuple <i>does not support</i> the usual parenthesized tuple syntax.
--   
--   OneTuple
--   
--   <ul>
--   <li>has the expected laziness properties</li>
--   <li>can be pattern-matched</li>
--   <li>ships with instances for several standard type classes, including
--   all those supported by H98-standard tuples</li>
--   <li>requires no language extensions, except for hierarchical
--   modules</li>
--   </ul>
module Data.Tuple.OneTuple

-- | OneTuple is the singleton tuple data type.
data OneTuple a

-- | singleton tuple constructor
OneTuple :: a -> OneTuple a

-- | The <a>only</a> function extracts the OneTuple's only member. (Compare
--   to <a>fst</a> and <a>snd</a>.)
only :: OneTuple a -> a
instance (Eq a) => Eq (OneTuple a)
instance (Ord a) => Ord (OneTuple a)
instance (Bounded a) => Bounded (OneTuple a)
instance (Show a) => Show (OneTuple a)
instance (Read a) => Read (OneTuple a)
instance (Monoid a) => Monoid (OneTuple a)
instance Monad OneTuple
instance Applicative OneTuple
instance Functor OneTuple
instance Traversable OneTuple
instance Foldable OneTuple
instance (Ix a) => Ix (OneTuple a)
instance (Enum a) => Enum (OneTuple a)