strict-0.2: Strict data typesSource codeContentsIndex
Data.Strict.Tuple
Portabilityportable
Stabilityexperimental
MaintainerRoman Leshchinskiy <rl@cse.unsw.edu.au>
Description

Strict pairs.

Same as regular Haskell pairs, but (x :*: _|_) = (_|_ :*: y) = _|_

Synopsis
data Pair a b = !a :!: !b
type :!: = Pair
fst :: Pair a b -> a
snd :: Pair a b -> b
curry :: (Pair a b -> c) -> a -> b -> c
uncurry :: (a -> b -> c) -> Pair a b -> c
Documentation
data Pair a b Source
The type of strict pairs.
Constructors
!a :!: !b
show/hide Instances
(Bounded a, Bounded b) => Bounded (Pair a b)
(Eq a, Eq b) => Eq (Pair a b)
(Ord a, Ord b) => Ord (Pair a b)
(Read a, Read b) => Read (Pair a b)
(Show a, Show b) => Show (Pair a b)
(Ix a, Ix b) => Ix (Pair a b)
type :!: = PairSource
fst :: Pair a b -> aSource
Extract the first component of a strict pair.
snd :: Pair a b -> bSource
Extract the second component of a strict pair.
curry :: (Pair a b -> c) -> a -> b -> cSource
Curry a function on strict pairs.
uncurry :: (a -> b -> c) -> Pair a b -> cSource
Convert a curried function to a function on strict pairs.
Produced by Haddock version 2.1.0