-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Strict tuples
--   
--   Strict tuples.
@package strict-tuple
@version 0.1.4


-- | Strict tuples.
module Data.Tuple.Strict
newtype T1 a
T1 :: a -> T1 a
data T2 a b
T2 :: a -> b -> T2 a b

-- | A strict, <a>T2</a>-based analog to <a>fst</a>
sfst :: T2 a b -> a

-- | A strict, <a>T2</a>-based analog to <a>snd</a>
ssnd :: T2 a b -> b

-- | A strict, <a>T2</a>-based analog to <a>curry</a>
scurry :: (T2 a b -> c) -> a -> b -> c

-- | A strict, <a>T2</a>-based analog to <a>uncurry</a>
suncurry :: (a -> b -> c) -> T2 a b -> c

-- | A strict, <a>T2</a>-based analog to <tt>swap</tt>
sswap :: T2 a b -> T2 b a
data T3 a b c
T3 :: a -> b -> c -> T3 a b c
data T4 a b c d
T4 :: a -> b -> c -> d -> T4 a b c d
data T5 a b c d e
T5 :: a -> b -> c -> d -> e -> T5 a b c d e
data T6 a b c d e f
T6 :: a -> b -> c -> d -> e -> f -> T6 a b c d e f
data T7 a b c d e f g
T7 :: a -> b -> c -> d -> e -> f -> g -> T7 a b c d e f g
data T8 a b c d e f g h
T8 :: a -> b -> c -> d -> e -> f -> g -> h -> T8 a b c d e f g h
data T9 a b c d e f g h i
T9 :: a -> b -> c -> d -> e -> f -> g -> h -> i -> T9 a b c d e f g h i
data T10 a b c d e f g h i j
T10 :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> T10 a b c d e f g h i j
data T11 a b c d e f g h i j k
T11 :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> T11 a b c d e f g h i j k
data T12 a b c d e f g h i j k l
T12 :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> T12 a b c d e f g h i j k l
data T13 a b c d e f g h i j k l m
T13 :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> T13 a b c d e f g h i j k l m
data T14 a b c d e f g h i j k l m n
T14 :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> T14 a b c d e f g h i j k l m n
data T15 a b c d e f g h i j k l m n o
T15 :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> T15 a b c d e f g h i j k l m n o
data T16 a b c d e f g h i j k l m n o p
T16 :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p -> T16 a b c d e f g h i j k l m n o p
data T17 a b c d e f g h i j k l m n o p q
T17 :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p -> q -> T17 a b c d e f g h i j k l m n o p q
data T18 a b c d e f g h i j k l m n o p q r
T18 :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p -> q -> r -> T18 a b c d e f g h i j k l m n o p q r
data T19 a b c d e f g h i j k l m n o p q r s
T19 :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> m -> n -> o -> p -> q -> r -> s -> T19 a b c d e f g h i j k l m n o p q r s