Unison.Merge.ThreeWay
data ThreeWay a Source #
Constructors
Fields
Defined in Unison.Merge.ThreeWay
Methods
fold :: Monoid m => ThreeWay m -> m #
foldMap :: Monoid m => (a -> m) -> ThreeWay a -> m #
foldMap' :: Monoid m => (a -> m) -> ThreeWay a -> m #
foldr :: (a -> b -> b) -> b -> ThreeWay a -> b #
foldr' :: (a -> b -> b) -> b -> ThreeWay a -> b #
foldl :: (b -> a -> b) -> b -> ThreeWay a -> b #
foldl' :: (b -> a -> b) -> b -> ThreeWay a -> b #
foldr1 :: (a -> a -> a) -> ThreeWay a -> a #
foldl1 :: (a -> a -> a) -> ThreeWay a -> a #
toList :: ThreeWay a -> [a] #
null :: ThreeWay a -> Bool #
length :: ThreeWay a -> Int #
elem :: Eq a => a -> ThreeWay a -> Bool #
maximum :: Ord a => ThreeWay a -> a #
minimum :: Ord a => ThreeWay a -> a #
sum :: Num a => ThreeWay a -> a #
product :: Num a => ThreeWay a -> a #
traverse :: Applicative f => (a -> f b) -> ThreeWay a -> f (ThreeWay b) #
sequenceA :: Applicative f => ThreeWay (f a) -> f (ThreeWay a) #
mapM :: Monad m => (a -> m b) -> ThreeWay a -> m (ThreeWay b) #
sequence :: Monad m => ThreeWay (m a) -> m (ThreeWay a) #
pure :: a -> ThreeWay a #
(<*>) :: ThreeWay (a -> b) -> ThreeWay a -> ThreeWay b #
liftA2 :: (a -> b -> c) -> ThreeWay a -> ThreeWay b -> ThreeWay c #
(*>) :: ThreeWay a -> ThreeWay b -> ThreeWay b #
(<*) :: ThreeWay a -> ThreeWay b -> ThreeWay a #
fmap :: (a -> b) -> ThreeWay a -> ThreeWay b #
(<$) :: a -> ThreeWay b -> ThreeWay a #
align :: ThreeWay a -> ThreeWay b -> ThreeWay (These a b) #
alignWith :: (These a b -> c) -> ThreeWay a -> ThreeWay b -> ThreeWay c #
unzipWith :: (c -> (a, b)) -> ThreeWay c -> (ThreeWay a, ThreeWay b) #
unzip :: ThreeWay (a, b) -> (ThreeWay a, ThreeWay b) #
zip :: ThreeWay a -> ThreeWay b -> ThreeWay (a, b) #
zipWith :: (a -> b -> c) -> ThreeWay a -> ThreeWay b -> ThreeWay c #
Associated Types
type Rep (ThreeWay a) :: Type -> Type #
from :: ThreeWay a -> Rep (ThreeWay a) x #
to :: Rep (ThreeWay a) x -> ThreeWay a #
forgetLca :: ThreeWay a -> TwoWay a Source #