FunctorCombo.Pair

Pair functor

Documentation

data Pair a

Uniform pairs

Constructors

a :# a infixl 1

Instances

Monad Pair

Functor Pair

Applicative Pair

Foldable Pair

Traversable Pair

EncodeF Pair

Scan Pair

Eq a => Eq (Pair a)

Data a => Data (Pair a)

Show a => Show (Pair a)

HasTrie a => HasTrie (Pair a)

Typeable (* -> *) Pair

type Enc Pair = (:*:) Id Id

type Trie (Pair a) = Trie (a, a)

fstP :: Pair a -> a

sndP :: Pair a -> a

swapP :: Unop (Pair a)

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

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

inP :: Unop (a, a) -> Unop (Pair a)

firstP :: Unop a -> Unop (Pair a)

secondP :: Unop a -> Unop (Pair a)

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

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

inZipA :: Applicative f => Unop (f (Pair a)) -> Unop (Pair (f a))

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

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

preScanP :: (Functor f, Monoid o) => Pair (f o, o) -> (Pair (f o), o)

sufScanP :: (Functor f, Monoid o) => Pair (o, f o) -> (o, Pair (f o))