| 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 | Safe-Inferred |
| Language | Haskell2010 |
Grisette.Lib.Data.Tuple
Description
Synopsis
- mrgUnit :: forall m. (Mergeable (), Applicative m, TryMerge m) => m ()
- mrgTuple2 :: forall (a :: Type) (b :: Type) m. (Mergeable ((,) a b), Applicative m, TryMerge m) => a -> b -> m ((,) a b)
- mrgTuple3 :: forall (a :: Type) (b :: Type) (c :: Type) m. (Mergeable ((,,) a b c), Applicative m, TryMerge m) => a -> b -> c -> m ((,,) a b c)
- mrgTuple4 :: forall (a :: Type) (b :: Type) (c :: Type) (d :: Type) m. (Mergeable ((,,,) a b c d), Applicative m, TryMerge m) => a -> b -> c -> d -> m ((,,,) a b c d)
- mrgTuple5 :: forall (a :: Type) (b :: Type) (c :: Type) (d :: Type) (e :: Type) m. (Mergeable ((,,,,) a b c d e), Applicative m, TryMerge m) => a -> b -> c -> d -> e -> m ((,,,,) a b c d e)
- mrgTuple6 :: forall (a :: Type) (b :: Type) (c :: Type) (d :: Type) (e :: Type) (f :: Type) m. (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 :: forall (a :: Type) (b :: Type) (c :: Type) (d :: Type) (e :: Type) (f :: Type) (g :: Type) m. (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 :: forall (a :: Type) (b :: Type) (c :: Type) (d :: Type) (e :: Type) (f :: Type) (g :: Type) (h :: Type) m. (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
mrgUnit :: forall m. (Mergeable (), Applicative m, TryMerge m) => m () Source #
Smart constructor for v'GHC.Tuple.Prim.()' to construct values wrapped and possibly merged in a container.
mrgTuple2 :: forall (a :: Type) (b :: Type) m. (Mergeable ((,) a b), Applicative m, TryMerge m) => a -> b -> m ((,) a b) Source #
Smart constructor for v'GHC.Tuple.Prim.(,)' to construct values wrapped and possibly merged in a container.
mrgTuple3 :: forall (a :: Type) (b :: Type) (c :: Type) m. (Mergeable ((,,) a b c), Applicative m, TryMerge m) => a -> b -> c -> m ((,,) a b c) Source #
Smart constructor for v'GHC.Tuple.Prim.(,,)' to construct values wrapped and possibly merged in a container.
mrgTuple4 :: forall (a :: Type) (b :: Type) (c :: Type) (d :: Type) m. (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.Prim.(,,,)' to construct values wrapped and possibly merged in a container.
mrgTuple5 :: forall (a :: Type) (b :: Type) (c :: Type) (d :: Type) (e :: Type) m. (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.Prim.(,,,,)' to construct values wrapped and possibly merged in a container.
mrgTuple6 :: forall (a :: Type) (b :: Type) (c :: Type) (d :: Type) (e :: Type) (f :: Type) m. (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.Prim.(,,,,,)' to construct values wrapped and possibly merged in a container.
mrgTuple7 :: forall (a :: Type) (b :: Type) (c :: Type) (d :: Type) (e :: Type) (f :: Type) (g :: Type) m. (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.Prim.(,,,,,,)' to construct values wrapped and possibly merged in a container.
mrgTuple8 :: forall (a :: Type) (b :: Type) (c :: Type) (d :: Type) (e :: Type) (f :: Type) (g :: Type) (h :: Type) m. (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.Prim.(,,,,,,,)' to construct values wrapped and possibly merged in a container.