Data.UniformPair

Uniform pairs. Because these pairs memoize functions (from Bool)--i.e., they're representable functors--these instances provided are fully determined by the corresponding instances for functions, thanks to the type class morphism principle.

Documentation

data Pair a

Uniform pairs

Constructors

a :# a

Instances

Monad Pair

Functor Pair

Applicative Pair

Foldable Pair

Traversable Pair

ShowF Pair

Show a => Show (Pair a)

Monoid a => Monoid (Pair a)

fstP :: Pair a -> a

sndP :: Pair a -> a

firstP :: (a -> a) -> Pair a -> Pair a

secondP :: (a -> a) -> Pair a -> Pair a

compareSwap :: Ord a => Pair a -> Pair a