Copyright	(c) Sirui Lu 2021-2023
License	BSD-3-Clause (see the LICENSE file)
Maintainer	siruilu@cs.washington.edu
Stability	Experimental
Portability	GHC only
Safe Haskell	None
Language	Haskell2010

Grisette.Lib.Data.Tuple

Description

Synopsis

mrgUnit :: (Mergeable (), Applicative m, TryMerge m) => m ()
mrgTuple2 :: (Mergeable (a, b), Applicative m, TryMerge m) => a -> b -> m (a, b)
mrgTuple3 :: (Mergeable (a, b, c), Applicative m, TryMerge m) => a -> b -> c -> m (a, b, c)
mrgTuple4 :: (Mergeable (a, b, c, d), Applicative m, TryMerge m) => a -> b -> c -> d -> m (a, b, c, d)
mrgTuple5 :: (Mergeable (a, b, c, d, e), Applicative m, TryMerge m) => a -> b -> c -> d -> e -> m (a, b, c, d, e)
mrgTuple6 :: (Mergeable (a, b, c, d, e, f), Applicative m, TryMerge m) => a -> b -> c -> d -> e -> f -> m (a, b, c, d, e, f)
mrgTuple7 :: (Mergeable (a, b, c, d, e, f, g), Applicative m, TryMerge m) => a -> b -> c -> d -> e -> f -> g -> m (a, b, c, d, e, f, g)
mrgTuple8 :: (Mergeable (a, b, c, d, e, f, g, h), Applicative m, TryMerge m) => a -> b -> c -> d -> e -> f -> g -> h -> m (a, b, c, d, e, f, g, h)

Documentation

Smart constructor for v'GHC.Tuple.()' to construct values wrapped and possibly merged in a container.

mrgTuple2 :: (Mergeable (a, b), Applicative m, TryMerge m) => a -> b -> m (a, b) Source #

Smart constructor for v'GHC.Tuple.(,)' to construct values wrapped and possibly merged in a container.

mrgTuple3 :: (Mergeable (a, b, c), Applicative m, TryMerge m) => a -> b -> c -> m (a, b, c) Source #

Smart constructor for v'GHC.Tuple.(,,)' to construct values wrapped and possibly merged in a container.

mrgTuple4 :: (Mergeable (a, b, c, d), Applicative m, TryMerge m) => a -> b -> c -> d -> m (a, b, c, d) Source #

Smart constructor for v'GHC.Tuple.(,,,)' to construct values wrapped and possibly merged in a container.

mrgTuple5 :: (Mergeable (a, b, c, d, e), Applicative m, TryMerge m) => a -> b -> c -> d -> e -> m (a, b, c, d, e) Source #

Smart constructor for v'GHC.Tuple.(,,,,)' to construct values wrapped and possibly merged in a container.

mrgTuple6 :: (Mergeable (a, b, c, d, e, f), Applicative m, TryMerge m) => a -> b -> c -> d -> e -> f -> m (a, b, c, d, e, f) Source #

Smart constructor for v'GHC.Tuple.(,,,,,)' to construct values wrapped and possibly merged in a container.

mrgTuple7 :: (Mergeable (a, b, c, d, e, f, g), Applicative m, TryMerge m) => a -> b -> c -> d -> e -> f -> g -> m (a, b, c, d, e, f, g) Source #

Smart constructor for v'GHC.Tuple.(,,,,,,)' to construct values wrapped and possibly merged in a container.

mrgTuple8 :: (Mergeable (a, b, c, d, e, f, g, h), Applicative m, TryMerge m) => a -> b -> c -> d -> e -> f -> g -> h -> m (a, b, c, d, e, f, g, h) Source #

Smart constructor for v'GHC.Tuple.(,,,,,,,)' to construct values wrapped and possibly merged in a container.