Data.Vector.Fusion.Bundle.Size

Size hints for streams.

Documentation

data Size

Size hint

Constructors

Exact Int

Exact size

Max Int

Upper bound on the size

Unknown

Unknown size

Instances

Eq Size

Defined in Data.Vector.Fusion.Bundle.Size

Methods

(==) :: Size -> Size -> Bool

(/=) :: Size -> Size -> Bool

Num Size

Defined in Data.Vector.Fusion.Bundle.Size

Methods

(+) :: Size -> Size -> Size

(-) :: Size -> Size -> Size

(*) :: Size -> Size -> Size

negate :: Size -> Size

abs :: Size -> Size

signum :: Size -> Size

fromInteger :: Integer -> Size

Show Size

Defined in Data.Vector.Fusion.Bundle.Size

Methods

showsPrec :: Int -> Size -> ShowS

show :: Size -> String

showList :: [Size] -> ShowS

clampedSubtract :: Size -> Size -> Size

Subtract two sizes with clamping to 0, for drop-like things

smaller :: Size -> Size -> Size

Minimum of two size hints

smallerThan :: Int -> Size -> Size

Select a safe smaller than known size.

larger :: Size -> Size -> Size

Maximum of two size hints

toMax :: Size -> Size

Convert a size hint to an upper bound

upperBound :: Size -> Maybe Int

Compute the maximum size from a size hint if possible

lowerBound :: Size -> Int

Compute the minimum size from a size hint