NumHask.Pair

Documentation

newtype Pair a

A Pair

>>> fmap (+1) (Pair 1 2)
Pair 2 3

>>> pure one :: Pair Int
Pair 1 1

>>> (*) <$> Pair 1 2 <*> pure 2
Pair 2 4

>>> foldr (++) [] (Pair [1,2] [3])
[1,2,3]

>>> Pair "a" "pair" <> pure " " <> Pair "string" "mappend"
Pair "a string" "pair mappend"

| numerics >>> Pair 0 1 + zero Pair 0 1

>>> Pair 0 1 + Pair 2 3
Pair 2 4

>>> Pair 1 1 - one
Pair 0 0

>>> Pair 0 1 * one
Pair 0 1

>>> Pair 0 1 / one
Pair 0.0 1.0

>>> Pair 11 12 `mod` (pure 6)
Pair 5 0

| module >>> Pair 1 2 .+ 3 Pair 4 5

| representations >>> distribute [Pair 1 2, Pair 3 4] Pair [1,3] [2,4]

>>> index (Pair 'l' 'r') LPair
'l'

A pair of a's, implemented as a tuple, but api represented as a Pair of a's.

Constructors

Pair' (a, a)

Instances

Monad Pair

Methods

(>>=) :: Pair a -> (a -> Pair b) -> Pair b

(>>) :: Pair a -> Pair b -> Pair b

return :: a -> Pair a

fail :: String -> Pair a

Functor Pair

Methods

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

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

Applicative Pair

Methods

pure :: a -> Pair a

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

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

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

Foldable Pair

Methods

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

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

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

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

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

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

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

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

toList :: Pair a -> [a]

null :: Pair a -> Bool

length :: Pair a -> Int

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

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

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

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

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

Traversable Pair

Methods

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

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

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

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

Distributive Pair

Methods

distribute :: Functor f => f (Pair a) -> Pair (f a)

collect :: Functor f => (a -> Pair b) -> f a -> Pair (f b)

distributeM :: Monad m => m (Pair a) -> Pair (m a)

collectM :: Monad m => (a -> Pair b) -> m a -> Pair (m b)

Representable Pair

Associated Types

type Rep (Pair :: * -> *) :: *

Methods

tabulate :: (Rep Pair -> a) -> Pair a

index :: Pair a -> Rep Pair -> a

Eq1 Pair

Methods

liftEq :: (a -> b -> Bool) -> Pair a -> Pair b -> Bool

Show1 Pair

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Pair a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Pair a] -> ShowS

Traversable1 Pair

Methods

traverse1 :: Apply f => (a -> f b) -> Pair a -> f (Pair b)

sequence1 :: Apply f => Pair (f b) -> f (Pair b)

Apply Pair

Methods

(<.>) :: Pair (a -> b) -> Pair a -> Pair b

(.>) :: Pair a -> Pair b -> Pair b

(<.) :: Pair a -> Pair b -> Pair a

Foldable1 Pair

Methods

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

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

toNonEmpty :: Pair a -> NonEmpty a

Eq a => Eq (Pair a)

Methods

(==) :: Pair a -> Pair a -> Bool

(/=) :: Pair a -> Pair a -> Bool

Ord a => Ord (Pair a)

Methods

compare :: Pair a -> Pair a -> Ordering

(<) :: Pair a -> Pair a -> Bool

(<=) :: Pair a -> Pair a -> Bool

(>) :: Pair a -> Pair a -> Bool

(>=) :: Pair a -> Pair a -> Bool

max :: Pair a -> Pair a -> Pair a

min :: Pair a -> Pair a -> Pair a

Show a => Show (Pair a)

Methods

showsPrec :: Int -> Pair a -> ShowS

show :: Pair a -> String

showList :: [Pair a] -> ShowS

Generic (Pair a)

Associated Types

type Rep (Pair a) :: * -> *

Methods

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

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

Monoid a => Monoid (Pair a)

Methods

mempty :: Pair a

mappend :: Pair a -> Pair a -> Pair a

mconcat :: [Pair a] -> Pair a

Arbitrary a => Arbitrary (Pair a)

Methods

arbitrary :: Gen (Pair a)

shrink :: Pair a -> [Pair a]

NFData a => NFData (Pair a)

Methods

rnf :: Pair a -> ()

Integral a => Integral (Pair a)

integral instance

Methods

div :: Pair a -> Pair a -> Pair a

mod :: Pair a -> Pair a -> Pair a

divMod :: Pair a -> Pair a -> (Pair a, Pair a)

Signed a => Signed (Pair a)

Methods

sign :: Pair a -> Pair a

abs :: Pair a -> Pair a

Epsilon a => Epsilon (Pair a)

Methods

nearZero :: Pair a -> Bool

aboutEqual :: Pair a -> Pair a -> Bool

Field a => Field (Pair a)

ExpField a => ExpField (Pair a)

Methods

exp :: Pair a -> Pair a

log :: Pair a -> Pair a

logBase :: Pair a -> Pair a -> Pair a

(**) :: Pair a -> Pair a -> Pair a

sqrt :: Pair a -> Pair a

BoundedField a => BoundedField (Pair a)

Methods

maxBound :: Pair a

minBound :: Pair a

nan :: Pair a

isNaN :: Pair a -> Bool

(AdditiveGroup a, Semiring a) => Semiring (Pair a)

Ring a => Ring (Pair a)

CRing a => CRing (Pair a)

(AdditiveGroup a, Distribution a) => Distribution (Pair a)

ring instances

MultiplicativeMagma a => MultiplicativeMagma (Pair a)

Methods

times :: Pair a -> Pair a -> Pair a

MultiplicativeUnital a => MultiplicativeUnital (Pair a)

Methods

one :: Pair a

MultiplicativeMagma a => MultiplicativeAssociative (Pair a)

MultiplicativeMagma a => MultiplicativeCommutative (Pair a)

MultiplicativeInvertible a => MultiplicativeInvertible (Pair a)

Methods

recip :: Pair a -> Pair a

MultiplicativeUnital a => Multiplicative (Pair a)

Methods

(*) :: Pair a -> Pair a -> Pair a

(MultiplicativeUnital a, MultiplicativeInvertible a) => MultiplicativeGroup (Pair a)

Methods

(/) :: Pair a -> Pair a -> Pair a

AdditiveMagma a => AdditiveMagma (Pair a)

Methods

plus :: Pair a -> Pair a -> Pair a

AdditiveUnital a => AdditiveUnital (Pair a)

Methods

zero :: Pair a

AdditiveMagma a => AdditiveAssociative (Pair a)

AdditiveMagma a => AdditiveCommutative (Pair a)

AdditiveInvertible a => AdditiveInvertible (Pair a)

Methods

negate :: Pair a -> Pair a

AdditiveUnital a => Additive (Pair a)

Methods

(+) :: Pair a -> Pair a -> Pair a

(AdditiveUnital a, AdditiveInvertible a) => AdditiveGroup (Pair a)

Methods

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

(ExpField a, AdditiveGroup a, MultiplicativeUnital a) => Normed (Pair a) a

Methods

size :: Pair a -> a

ExpField a => Metric (Pair a) a

Methods

distance :: Pair a -> Pair a -> a

AdditiveGroup a => Normed (Rect a) (Pair a)

Methods

size :: Rect a -> Pair a

type Rep Pair

type Rep Pair = Bool

type Rep (Pair a)

type Rep (Pair a) = D1 (MetaData "Pair" "NumHask.Pair" "numhask-range-0.1.0-I1DWEepfHM8IinfnHaT18f" True) (C1 (MetaCons "Pair'" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (a, a))))

pattern Pair :: forall a. a -> a -> Pair a