grisette-0.6.0.0: Symbolic evaluation as a library
Safe HaskellSafe-Inferred
LanguageHaskell2010

Grisette.Lib.Data.Tuple

Documentation

mrgUnit :: forall m. (Mergeable (), Applicative m, TryMerge m) => m () Source #

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

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 #

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 #

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 #

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 #

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 #

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 #