Safe Haskell	None
Language	Haskell2010

UVMHS.Core.Data.Pair

Contents

Orphan instances

Documentation

fst :: (a ∧ b) -> a Source #

snd :: (a ∧ b) -> b Source #

swap :: (a ∧ b) -> b ∧ a Source #

mapPair :: (a₁ -> a₂) -> (b₁ -> b₂) -> (a₁ ∧ b₁) -> a₂ ∧ b₂ Source #

mapBoth :: (a -> a') -> (a ∧ a) -> a' ∧ a' Source #

mapFst :: (a₁ -> a₂) -> (a₁ ∧ b) -> a₂ ∧ b Source #

mapSnd :: (b₁ -> b₂) -> (a ∧ b₁) -> a ∧ b₂ Source #

mapMPair :: Monad m => (a -> m a') -> (b -> m b') -> (a ∧ b) -> m (a' ∧ b') Source #

mapMBoth :: Monad m => (a -> m a) -> (a ∧ a) -> m (a ∧ a) Source #

mapMFst :: Monad m => (a -> m a') -> (a ∧ b) -> m (a' ∧ b) Source #

mapMSnd :: Monad m => (b -> m b') -> (a ∧ b) -> m (a ∧ b') Source #

Orphan instances

Append a => Bind ((∧) a) Source #
Instance details Methods (≫=) :: (a ∧ a0) -> (a0 -> a ∧ b) -> a ∧ b Source #
Functor ((∧) a) Source #
Instance details Methods map :: (a0 -> b) -> (a ∧ a0) -> a ∧ b Source #
FunctorM ((∧) a) Source #
Instance details Methods mapM :: Monad m => (a0 -> m b) -> (a ∧ a0) -> m (a ∧ b) Source #
Monoid a => Monad ((∧) a) Source #
Instance details
Null a => Return ((∧) a) Source #
Instance details Methods return :: a0 -> a ∧ a0 Source #
(Bot a, Bot b) => Bot (a ∧ b) Source #
Instance details Methods bot :: a ∧ b Source #
(Difference a, Difference b) => Difference (a ∧ b) Source #
Instance details Methods (⊟) :: (a ∧ b) -> (a ∧ b) -> a ∧ b Source #
(Dual a, Dual b) => Dual (a ∧ b) Source #
Instance details Methods dual :: (a ∧ b) -> a ∧ b Source #
(Join a, Join b) => Join (a ∧ b) Source #
Instance details Methods (⊔) :: (a ∧ b) -> (a ∧ b) -> a ∧ b Source #
(JoinLattice a, JoinLattice b) => JoinLattice (a ∧ b) Source #
Instance details
(Lattice a, Lattice b) => Lattice (a ∧ b) Source #
Instance details
(Meet a, Meet b) => Meet (a ∧ b) Source #
Instance details Methods (⊓) :: (a ∧ b) -> (a ∧ b) -> a ∧ b Source #
(MeetLattice a, MeetLattice b) => MeetLattice (a ∧ b) Source #
Instance details
(POrd a, POrd b) => POrd (a ∧ b) Source #
Instance details Methods (⊑) :: (a ∧ b) -> (a ∧ b) -> 𝔹 Source #
(Top a, Top b) => Top (a ∧ b) Source #
Instance details Methods top :: a ∧ b Source #
(Append a, Append b) => Append (a ∧ b) Source #
Instance details Methods (⧺) :: (a ∧ b) -> (a ∧ b) -> a ∧ b Source #
(Monoid a, Monoid b) => Monoid (a ∧ b) Source #
Instance details
(Null a, Null b) => Null (a ∧ b) Source #
Instance details Methods null :: a ∧ b Source #