Data.Parameterized.Pair

nDescription : A 2-tuple with identically parameterized elements Copyright : (c) Galois, Inc 2017-2019

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 (Pair a :: (k -> Type) -> Type)

Defined in Data.Parameterized.Pair

Methods

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

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

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

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

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

toListF :: (forall (tp :: k0). f tp -> a0) -> Pair a f -> [a0]

FunctorF (Pair a :: (k -> Type) -> Type)

Defined in Data.Parameterized.Pair

Methods

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

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

Defined in Data.Parameterized.Pair

Methods

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

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

IsBinTree (MapF k2 a) (Pair k2 a)

Defined in Data.Parameterized.Map

Methods

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

tip :: MapF k2 a

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

size :: MapF 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.