Data.Parameterized.Pair

This module defines a 2-tuple where both elements are parameterized over the same existentially quantified parameter.

Documentation

data Pair (a :: k -> *) (b :: k -> *) where

Like a 2-tuple, but with an existentially quantified parameter that both of the elements share.

Constructors

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

Instances

FoldableF k (Pair k a)

Methods

foldMapF :: Monoid m => (forall (s :: Pair k a). e s -> m) -> t e -> m

foldrF :: (forall (s :: Pair k a). e s -> b -> b) -> b -> t e -> b

foldlF :: (forall (s :: Pair k a). b -> e s -> b) -> b -> t e -> b

foldrF' :: (forall (s :: Pair k a). e s -> b -> b) -> b -> t e -> b

foldlF' :: (forall (s :: Pair k a). b -> e s -> b) -> b -> t e -> b

toListF :: (forall (tp :: Pair k a). f tp -> a) -> t f -> [a]

FunctorF k (Pair k a)

Methods

fmapF :: (forall (x :: Pair k a). f x -> g x) -> m f -> m g

(TestEquality k a, EqF k b) => Eq (Pair k a b)

Methods

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

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

IsBinTree (MapF k1 k2 a) (Pair k1 k2 a)

Methods

asBin :: MapF k1 k2 a -> TreeApp (Pair k1 k2 a) (MapF k1 k2 a)

tip :: MapF k1 k2 a

bin :: Pair k1 k2 a -> MapF k1 k2 a -> MapF k1 k2 a -> MapF k1 k2 a

size :: MapF k1 k2 a -> Int

fstPair :: Pair a b -> Some a

Extract the first element of a pair.

sndPair :: Pair a b -> Some b

Extract the second element of a pair.

viewPair :: (forall tp. a tp -> b tp -> c) -> Pair a b -> c

Project out of Pair.