Portability | portable |
---|---|

Stability | experimental |

Maintainer | Roman Leshchinskiy <rl@cse.unsw.edu.au> |

Strict pairs.

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

# Documentation

The type of strict pairs.

!a :!: !b |

Portability | portable |
---|---|

Stability | experimental |

Maintainer | Roman Leshchinskiy <rl@cse.unsw.edu.au> |

Strict pairs.

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

The type of strict pairs.

!a :!: !b |