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


-- | Like Maybe, but with a different Monoid instance.
--   
@package both
@version 0.1.0.0


-- | The <a>Both</a> type and operations. Like <a>Maybe</a>, but not.
module Data.Both
newtype Both a
Both :: Maybe a -> Both a
getBoth :: Both a -> Maybe a

-- | The <a>mappend</a> for <a>Maybe</a> is <a>Just</a> if <i>either</i> of
--   the operands are, whereas here <i>both</i> must be.

-- | The <a>both</a> function takes a default value, a function, and a
--   <a>Both</a> value. If the inner <a>Maybe</a> value is <a>Nothing</a>,
--   the function returns the default value. Otherwise, it applies the
--   function to the value inside the <a>Just</a> and returns the result.
both :: b -> (a -> b) -> Both a -> b

-- | The <a>fromBoth</a> function takes a default value and a <a>Both</a>
--   value. If the inner <a>Maybe</a> is <a>Nothing</a>, it returns the
--   default value; otherwise, it returns the value contained within.
fromBoth :: a -> Both a -> a
instance Typeable Both
instance Eq a => Eq (Both a)
instance Ord a => Ord (Both a)
instance Read a => Read (Both a)
instance Show a => Show (Both a)
instance Data a => Data (Both a)
instance Generic (Both a)
instance Generic1 Both
instance Functor Both
instance Applicative Both
instance Alternative Both
instance Monad Both
instance MonadPlus Both
instance Foldable Both
instance Traversable Both
instance Datatype D1Both
instance Constructor C1_0Both
instance Selector S1_0_0Both
instance Monoid a => Monoid (Both a)