ghc-9.15: The GHC API
Safe HaskellNone
LanguageGHC2024

GHC.Data.Pair

Documentation

data Pair a Source #

Constructors

Pair 

Fields

Instances

Instances details
Foldable1 Pair Source # 
Instance details

Defined in GHC.Data.Pair

Methods

fold1 :: Semigroup m => Pair m -> m Source #

foldMap1 :: Semigroup m => (a -> m) -> Pair a -> m Source #

foldMap1' :: Semigroup m => (a -> m) -> Pair a -> m Source #

toNonEmpty :: Pair a -> NonEmpty a Source #

maximum :: Ord a => Pair a -> a Source #

minimum :: Ord a => Pair a -> a Source #

head :: Pair a -> a Source #

last :: Pair a -> a Source #

foldrMap1 :: (a -> b) -> (a -> b -> b) -> Pair a -> b Source #

foldlMap1' :: (a -> b) -> (b -> a -> b) -> Pair a -> b Source #

foldlMap1 :: (a -> b) -> (b -> a -> b) -> Pair a -> b Source #

foldrMap1' :: (a -> b) -> (a -> b -> b) -> Pair a -> b Source #

Applicative Pair Source # 
Instance details

Defined in GHC.Data.Pair

Methods

pure :: a -> Pair a Source #

(<*>) :: Pair (a -> b) -> Pair a -> Pair b Source #

liftA2 :: (a -> b -> c) -> Pair a -> Pair b -> Pair c Source #

(*>) :: Pair a -> Pair b -> Pair b Source #

(<*) :: Pair a -> Pair b -> Pair a Source #

Functor Pair Source # 
Instance details

Defined in GHC.Data.Pair

Methods

fmap :: (a -> b) -> Pair a -> Pair b Source #

(<$) :: a -> Pair b -> Pair a Source #

Foldable Pair Source # 
Instance details

Defined in GHC.Data.Pair

Methods

fold :: Monoid m => Pair m -> m Source #

foldMap :: Monoid m => (a -> m) -> Pair a -> m Source #

foldMap' :: Monoid m => (a -> m) -> Pair a -> m Source #

foldr :: (a -> b -> b) -> b -> Pair a -> b Source #

foldr' :: (a -> b -> b) -> b -> Pair a -> b Source #

foldl :: (b -> a -> b) -> b -> Pair a -> b Source #

foldl' :: (b -> a -> b) -> b -> Pair a -> b Source #

foldr1 :: (a -> a -> a) -> Pair a -> a Source #

foldl1 :: (a -> a -> a) -> Pair a -> a Source #

toList :: Pair a -> [a] Source #

null :: Pair a -> Bool Source #

length :: Pair a -> Int Source #

elem :: Eq a => a -> Pair a -> Bool Source #

maximum :: Ord a => Pair a -> a Source #

minimum :: Ord a => Pair a -> a Source #

sum :: Num a => Pair a -> a Source #

product :: Num a => Pair a -> a Source #

Traversable Pair Source # 
Instance details

Defined in GHC.Data.Pair

Methods

traverse :: Applicative f => (a -> f b) -> Pair a -> f (Pair b) Source #

sequenceA :: Applicative f => Pair (f a) -> f (Pair a) Source #

mapM :: Monad m => (a -> m b) -> Pair a -> m (Pair b) Source #

sequence :: Monad m => Pair (m a) -> m (Pair a) Source #

Outputable a => Outputable (Pair a) Source # 
Instance details

Defined in GHC.Data.Pair

Methods

ppr :: Pair a -> SDoc Source #

Monoid a => Monoid (Pair a) Source # 
Instance details

Defined in GHC.Data.Pair

Methods

mempty :: Pair a Source #

mappend :: Pair a -> Pair a -> Pair a Source #

mconcat :: [Pair a] -> Pair a Source #

Semigroup a => Semigroup (Pair a) Source # 
Instance details

Defined in GHC.Data.Pair

Methods

(<>) :: Pair a -> Pair a -> Pair a Source #

sconcat :: NonEmpty (Pair a) -> Pair a Source #

stimes :: Integral b => b -> Pair a -> Pair a Source #

Generic (Pair a) Source # 
Instance details

Defined in GHC.Data.Pair

Associated Types

type Rep (Pair a) 
Instance details

Defined in GHC.Data.Pair

type Rep (Pair a) = D1 ('MetaData "Pair" "GHC.Data.Pair" "ghc-9.15-inplace" 'False) (C1 ('MetaCons "Pair" 'PrefixI 'True) (S1 ('MetaSel ('Just "pFst") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "pSnd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

Methods

from :: Pair a -> Rep (Pair a) x Source #

to :: Rep (Pair a) x -> Pair a Source #

type Rep (Pair a) Source # 
Instance details

Defined in GHC.Data.Pair

type Rep (Pair a) = D1 ('MetaData "Pair" "GHC.Data.Pair" "ghc-9.15-inplace" 'False) (C1 ('MetaCons "Pair" 'PrefixI 'True) (S1 ('MetaSel ('Just "pFst") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "pSnd") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

unPair :: Pair a -> (a, a) Source #

toPair :: (a, a) -> Pair a Source #

swap :: Pair a -> Pair a Source #

pLiftFst :: (a -> a) -> Pair a -> Pair a Source #

pLiftSnd :: (a -> a) -> Pair a -> Pair a Source #

unzipPairs :: [Pair a] -> ([a], [a]) Source #