Streamly.Internal.Data.Tuple.Strict

| Strict data types to be used as accumulator for strict left folds and scans. For more comprehensive strict data types see https://hackage.haskell.org/package/strict-base-types . The names have been suffixed by a prime so that programmers can easily distinguish the strict versions from the lazy ones.

One major advantage of strict data structures as accumulators in folds and scans is that it helps the compiler optimize the code much better by unboxing. In a big tight loop the difference could be huge.

Documentation

data Tuple' a b

A strict (,)

Constructors

Tuple' !a !b

Instances

(Show a, Show b) => Show (Tuple' a b)

Defined in Streamly.Internal.Data.Tuple.Strict

Methods

showsPrec :: Int -> Tuple' a b -> ShowS

show :: Tuple' a b -> String

showList :: [Tuple' a b] -> ShowS

data Tuple3' a b c

A strict (,,)

Constructors

Tuple3' !a !b !c

Instances

(Show a, Show b, Show c) => Show (Tuple3' a b c)

Defined in Streamly.Internal.Data.Tuple.Strict

Methods

showsPrec :: Int -> Tuple3' a b c -> ShowS

show :: Tuple3' a b c -> String

showList :: [Tuple3' a b c] -> ShowS

data Tuple3Fused' a b c

A strict (,,)

Constructors

Tuple3Fused' !a !b !c

Instances

(Show a, Show b, Show c) => Show (Tuple3Fused' a b c)

Defined in Streamly.Internal.Data.Tuple.Strict

Methods

showsPrec :: Int -> Tuple3Fused' a b c -> ShowS

show :: Tuple3Fused' a b c -> String

showList :: [Tuple3Fused' a b c] -> ShowS

data Tuple4' a b c d

A strict (,,,)

Constructors

Tuple4' !a !b !c !d

Instances

(Show a, Show b, Show c, Show d) => Show (Tuple4' a b c d)

Defined in Streamly.Internal.Data.Tuple.Strict

Methods

showsPrec :: Int -> Tuple4' a b c d -> ShowS

show :: Tuple4' a b c d -> String

showList :: [Tuple4' a b c d] -> ShowS