Copyright | (c) Roman Leshchinskiy 2008, (c) Bryan O'Sullivan 2009 |
---|---|

License | BSD-style |

Maintainer | bos@serpentine.com |

Stability | experimental |

Portability | portable |

Safe Haskell | Safe-Inferred |

Language | Haskell98 |

*Warning*: this is an internal module, and does not have a stable
API or name. Functions in this module may not check or enforce
preconditions expected by public modules. Use at your own risk!

Size hints.

- data Size
- exactly :: Size -> Maybe Int
- exactSize :: Int -> Size
- maxSize :: Int -> Size
- betweenSize :: Int -> Int -> Size
- unknownSize :: Size
- smaller :: Size -> Size -> Size
- larger :: Size -> Size -> Size
- upperBound :: Int -> Size -> Int
- lowerBound :: Int -> Size -> Int
- compareSize :: Size -> Int -> Maybe Ordering
- isEmpty :: Size -> Bool

# Documentation

betweenSize :: Int -> Int -> Size Source

upperBound :: Int -> Size -> Int Source

Compute the maximum size from a size hint, if possible.

lowerBound :: Int -> Size -> Int Source

Compute the maximum size from a size hint, if possible.