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.Functor.Sum

Description

Synopsis

mrgInR :: forall (k :: Type) (f :: k -> Type) (g :: k -> Type) (a :: k) m. (Mergeable (Sum f g a), Applicative m, TryMerge m) => g a -> m (Sum f g a)
mrgInL :: forall (k :: Type) (f :: k -> Type) (g :: k -> Type) (a :: k) m. (Mergeable (Sum f g a), Applicative m, TryMerge m) => f a -> m (Sum f g a)

Documentation

mrgInR :: forall (k :: Type) (f :: k -> Type) (g :: k -> Type) (a :: k) m. (Mergeable (Sum f g a), Applicative m, TryMerge m) => g a -> m (Sum f g a) Source #

Smart constructor for InR to construct values wrapped and possibly merged in a container.

mrgInL :: forall (k :: Type) (f :: k -> Type) (g :: k -> Type) (a :: k) m. (Mergeable (Sum f g a), Applicative m, TryMerge m) => f a -> m (Sum f g a) Source #

Smart constructor for InL to construct values wrapped and possibly merged in a container.