Safe Haskell | Trustworthy |
---|

- data StrictPair a b = !a :*: !b
- toPair :: StrictPair a b -> (a, b)

# Documentation

data StrictPair a b Source

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

!a :*: !b |

toPair :: StrictPair a b -> (a, b)Source