Data.Both

The Both type and operations. Like Maybe, but not.

Documentation

newtype Both a

Constructors

Both

Fields

getBoth :: Maybe a

Instances

Monad Both

Functor Both

Applicative Both

Foldable Both

Traversable Both

Generic1 Both

Alternative Both

MonadPlus Both

Eq a => Eq (Both a)

Data a => Data (Both a)

Ord a => Ord (Both a)

Read a => Read (Both a)

Show a => Show (Both a)

Generic (Both a)

(Monoid a, Semigroup a) => Monoid (Both a)

Semigroup a => Semigroup (Both a)

The '(<>)' for Maybe is Just if either of the operands are, whereas here both must be.

Semigroup a => Zero (Both a)

type Rep1 Both

type Rep (Both a)

both :: b -> (a -> b) -> Both a -> b

The both function takes a default value, a function, and a Both value. If the inner Maybe value is Nothing, the function returns the default value. Otherwise, it applies the function to the value inside the Just and returns the result.

fromBoth :: a -> Both a -> a

The fromBoth function takes a default value and a Both value. If the inner Maybe is Nothing, it returns the default value; otherwise, it returns the value contained within.