Safe Haskell | None |
---|---|
Language | GHC2021 |
A strict pair
Synopsis
- data StrictPair a b = !a :*: !b
- toPair :: StrictPair a b -> (a, b)
Documentation
data StrictPair a b Source #
The same as a regular Haskell pair, but
(x :*: _|_) = (_|_ :*: y) = _|_
!a :*: !b infixr 1 |
toPair :: StrictPair a b -> (a, b) Source #
Convert a strict pair to a standard pair.