Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Documentation

class Typeable mode => UnifiedBranching (mode :: EvalModeTag) m where

A class that provides a unified branching operation.

We use this type class to help resolve the constraints for SymBranching.

Methods

withBaseBranching :: (If (IsConMode mode) (TryMerge m) (SymBranching m) => r) -> r

Instances

(Typeable mode, If (IsConMode mode) (TryMerge m) (SymBranching m)) => UnifiedBranching mode m

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseBranching :: (If (IsConMode mode) (TryMerge m) (SymBranching m) => r) -> r

(Typeable mode, UnifiedBranching mode m) => UnifiedBranching mode (FreshT m)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseBranching :: (If (IsConMode mode) (TryMerge (FreshT m)) (SymBranching (FreshT m)) => r) -> r

(Typeable mode, UnifiedBranching mode m) => UnifiedBranching mode (MaybeT m)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseBranching :: (If (IsConMode mode) (TryMerge (MaybeT m)) (SymBranching (MaybeT m)) => r) -> r

(Typeable mode, Mergeable e, UnifiedBranching mode m) => UnifiedBranching mode (ExceptT e m)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseBranching :: (If (IsConMode mode) (TryMerge (ExceptT e m)) (SymBranching (ExceptT e m)) => r) -> r

(Typeable mode, UnifiedBranching mode m) => UnifiedBranching mode (IdentityT m)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseBranching :: (If (IsConMode mode) (TryMerge (IdentityT m)) (SymBranching (IdentityT m)) => r) -> r

(Typeable mode, UnifiedBranching mode m) => UnifiedBranching mode (ReaderT r m)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseBranching :: (If (IsConMode mode) (TryMerge (ReaderT r m)) (SymBranching (ReaderT r m)) => r0) -> r0

(Typeable mode, UnifiedBranching mode m, Mergeable s) => UnifiedBranching mode (StateT s m)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseBranching :: (If (IsConMode mode) (TryMerge (StateT s m)) (SymBranching (StateT s m)) => r) -> r

(Typeable mode, UnifiedBranching mode m, Mergeable s) => UnifiedBranching mode (StateT s m)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseBranching :: (If (IsConMode mode) (TryMerge (StateT s m)) (SymBranching (StateT s m)) => r) -> r

(Typeable mode, UnifiedBranching mode m, Monoid w, Mergeable w) => UnifiedBranching mode (WriterT w m)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseBranching :: (If (IsConMode mode) (TryMerge (WriterT w m)) (SymBranching (WriterT w m)) => r) -> r

(Typeable mode, UnifiedBranching mode m, Monoid w, Mergeable w) => UnifiedBranching mode (WriterT w m)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseBranching :: (If (IsConMode mode) (TryMerge (WriterT w m)) (SymBranching (WriterT w m)) => r) -> r

(Typeable mode, Mergeable r, UnifiedBranching mode m) => UnifiedBranching mode (ContT r m)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseBranching :: (If (IsConMode mode) (TryMerge (ContT r m)) (SymBranching (ContT r m)) => r0) -> r0

(Typeable mode, UnifiedBranching mode m, Mergeable s, Monoid w, Mergeable w) => UnifiedBranching mode (RWST r w s m)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseBranching :: (If (IsConMode mode) (TryMerge (RWST r w s m)) (SymBranching (RWST r w s m)) => r0) -> r0

(Typeable mode, UnifiedBranching mode m, Mergeable s, Monoid w, Mergeable w) => UnifiedBranching mode (RWST r w s m)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseBranching :: (If (IsConMode mode) (TryMerge (RWST r w s m)) (SymBranching (RWST r w s m)) => r0) -> r0

class UnifiedSimpleMergeable mode a where

A class that provides a unified simple merging.

We use this type class to help resolve the constraints for SimpleMergeable.

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) (() :: Constraint) (SimpleMergeable a) => r) -> r

Instances

Typeable mode => UnifiedSimpleMergeable mode AssertionError

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable AssertionError) => r) -> r

Typeable mode => UnifiedSimpleMergeable mode ()

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable ()) => r) -> r

(Typeable mode, If (IsConMode mode) () (SimpleMergeable m)) => UnifiedSimpleMergeable mode m

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable m) => r) -> r

(Typeable mode, UnifiedSimpleMergeable mode a) => UnifiedSimpleMergeable mode (Identity a)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable (Identity a)) => r) -> r

(Typeable mode, UnifiedBranching mode m, Mergeable a) => UnifiedSimpleMergeable mode (FreshT m a)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable (FreshT m a)) => r) -> r

(Typeable mode, UnifiedBranching mode m, Mergeable a) => UnifiedSimpleMergeable mode (MaybeT m a)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable (MaybeT m a)) => r) -> r

(Typeable mode, UnifiedSimpleMergeable mode a, UnifiedSimpleMergeable mode b) => UnifiedSimpleMergeable mode (a, b)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable (a, b)) => r) -> r

(Typeable mode, UnifiedSimpleMergeable mode b) => UnifiedSimpleMergeable mode (a -> b)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable (a -> b)) => r) -> r

(Typeable mode, UnifiedBranching mode m, Mergeable e, Mergeable a) => UnifiedSimpleMergeable mode (ExceptT e m a)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable (ExceptT e m a)) => r) -> r

(Typeable mode, UnifiedBranching mode m, Mergeable a) => UnifiedSimpleMergeable mode (IdentityT m a)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable (IdentityT m a)) => r) -> r

(Typeable mode, UnifiedBranching mode m, Mergeable a) => UnifiedSimpleMergeable mode (ReaderT r m a)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable (ReaderT r m a)) => r0) -> r0

(Typeable mode, UnifiedBranching mode m, Mergeable s, Mergeable a) => UnifiedSimpleMergeable mode (StateT s m a)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable (StateT s m a)) => r) -> r

(Typeable mode, UnifiedBranching mode m, Mergeable s, Mergeable a) => UnifiedSimpleMergeable mode (StateT s m a)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable (StateT s m a)) => r) -> r

(Typeable mode, UnifiedBranching mode m, Mergeable w, Mergeable a, Monoid w) => UnifiedSimpleMergeable mode (WriterT w m a)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable (WriterT w m a)) => r) -> r

(Typeable mode, UnifiedBranching mode m, Mergeable w, Mergeable a, Monoid w) => UnifiedSimpleMergeable mode (WriterT w m a)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable (WriterT w m a)) => r) -> r

(Typeable mode, UnifiedSimpleMergeable mode a, UnifiedSimpleMergeable mode b, UnifiedSimpleMergeable mode c) => UnifiedSimpleMergeable mode (a, b, c)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable (a, b, c)) => r) -> r

(Typeable mode, UnifiedBranching mode m, Mergeable r, Mergeable a) => UnifiedSimpleMergeable mode (ContT r m a)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable (ContT r m a)) => r0) -> r0

(Typeable mode, UnifiedSimpleMergeable mode a, UnifiedSimpleMergeable mode b, UnifiedSimpleMergeable mode c, UnifiedSimpleMergeable mode d) => UnifiedSimpleMergeable mode (a, b, c, d)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable (a, b, c, d)) => r) -> r

(Typeable mode, UnifiedBranching mode m, Mergeable w, Monoid w, Mergeable s, Mergeable a) => UnifiedSimpleMergeable mode (RWST r w s m a)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable (RWST r w s m a)) => r0) -> r0

(Typeable mode, UnifiedBranching mode m, Mergeable w, Monoid w, Mergeable s, Mergeable a) => UnifiedSimpleMergeable mode (RWST r w s m a)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable (RWST r w s m a)) => r0) -> r0

(Typeable mode, UnifiedSimpleMergeable mode a, UnifiedSimpleMergeable mode b, UnifiedSimpleMergeable mode c, UnifiedSimpleMergeable mode d, UnifiedSimpleMergeable mode e) => UnifiedSimpleMergeable mode (a, b, c, d, e)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable (a, b, c, d, e)) => r) -> r

(Typeable mode, UnifiedSimpleMergeable mode a, UnifiedSimpleMergeable mode b, UnifiedSimpleMergeable mode c, UnifiedSimpleMergeable mode d, UnifiedSimpleMergeable mode e, UnifiedSimpleMergeable mode f) => UnifiedSimpleMergeable mode (a, b, c, d, e, f)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable (a, b, c, d, e, f)) => r) -> r

(Typeable mode, UnifiedSimpleMergeable mode a, UnifiedSimpleMergeable mode b, UnifiedSimpleMergeable mode c, UnifiedSimpleMergeable mode d, UnifiedSimpleMergeable mode e, UnifiedSimpleMergeable mode f, UnifiedSimpleMergeable mode g) => UnifiedSimpleMergeable mode (a, b, c, d, e, f, g)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable (a, b, c, d, e, f, g)) => r) -> r

(Typeable mode, UnifiedSimpleMergeable mode a, UnifiedSimpleMergeable mode b, UnifiedSimpleMergeable mode c, UnifiedSimpleMergeable mode d, UnifiedSimpleMergeable mode e, UnifiedSimpleMergeable mode f, UnifiedSimpleMergeable mode g, UnifiedSimpleMergeable mode h) => UnifiedSimpleMergeable mode (a, b, c, d, e, f, g, h)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable (a, b, c, d, e, f, g, h)) => r) -> r

(Typeable mode, UnifiedSimpleMergeable mode a, UnifiedSimpleMergeable mode b, UnifiedSimpleMergeable mode c, UnifiedSimpleMergeable mode d, UnifiedSimpleMergeable mode e, UnifiedSimpleMergeable mode f, UnifiedSimpleMergeable mode g, UnifiedSimpleMergeable mode h, UnifiedSimpleMergeable mode i) => UnifiedSimpleMergeable mode (a, b, c, d, e, f, g, h, i)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable (a, b, c, d, e, f, g, h, i)) => r) -> r

(Typeable mode, UnifiedSimpleMergeable mode a, UnifiedSimpleMergeable mode b, UnifiedSimpleMergeable mode c, UnifiedSimpleMergeable mode d, UnifiedSimpleMergeable mode e, UnifiedSimpleMergeable mode f, UnifiedSimpleMergeable mode g, UnifiedSimpleMergeable mode h, UnifiedSimpleMergeable mode i, UnifiedSimpleMergeable mode j) => UnifiedSimpleMergeable mode (a, b, c, d, e, f, g, h, i, j)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable (a, b, c, d, e, f, g, h, i, j)) => r) -> r

(Typeable mode, UnifiedSimpleMergeable mode a, UnifiedSimpleMergeable mode b, UnifiedSimpleMergeable mode c, UnifiedSimpleMergeable mode d, UnifiedSimpleMergeable mode e, UnifiedSimpleMergeable mode f, UnifiedSimpleMergeable mode g, UnifiedSimpleMergeable mode h, UnifiedSimpleMergeable mode i, UnifiedSimpleMergeable mode j, UnifiedSimpleMergeable mode k) => UnifiedSimpleMergeable mode (a, b, c, d, e, f, g, h, i, j, k)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable (a, b, c, d, e, f, g, h, i, j, k)) => r) -> r

(Typeable mode, UnifiedSimpleMergeable mode a, UnifiedSimpleMergeable mode b, UnifiedSimpleMergeable mode c, UnifiedSimpleMergeable mode d, UnifiedSimpleMergeable mode e, UnifiedSimpleMergeable mode f, UnifiedSimpleMergeable mode g, UnifiedSimpleMergeable mode h, UnifiedSimpleMergeable mode i, UnifiedSimpleMergeable mode j, UnifiedSimpleMergeable mode k, UnifiedSimpleMergeable mode l) => UnifiedSimpleMergeable mode (a, b, c, d, e, f, g, h, i, j, k, l)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable (a, b, c, d, e, f, g, h, i, j, k, l)) => r) -> r

(Typeable mode, UnifiedSimpleMergeable mode a, UnifiedSimpleMergeable mode b, UnifiedSimpleMergeable mode c, UnifiedSimpleMergeable mode d, UnifiedSimpleMergeable mode e, UnifiedSimpleMergeable mode f, UnifiedSimpleMergeable mode g, UnifiedSimpleMergeable mode h, UnifiedSimpleMergeable mode i, UnifiedSimpleMergeable mode j, UnifiedSimpleMergeable mode k, UnifiedSimpleMergeable mode l, UnifiedSimpleMergeable mode m) => UnifiedSimpleMergeable mode (a, b, c, d, e, f, g, h, i, j, k, l, m)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable (a, b, c, d, e, f, g, h, i, j, k, l, m)) => r) -> r

(Typeable mode, UnifiedSimpleMergeable mode a, UnifiedSimpleMergeable mode b, UnifiedSimpleMergeable mode c, UnifiedSimpleMergeable mode d, UnifiedSimpleMergeable mode e, UnifiedSimpleMergeable mode f, UnifiedSimpleMergeable mode g, UnifiedSimpleMergeable mode h, UnifiedSimpleMergeable mode i, UnifiedSimpleMergeable mode j, UnifiedSimpleMergeable mode k, UnifiedSimpleMergeable mode l, UnifiedSimpleMergeable mode m, UnifiedSimpleMergeable mode n) => UnifiedSimpleMergeable mode (a, b, c, d, e, f, g, h, i, j, k, l, m, n)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable (a, b, c, d, e, f, g, h, i, j, k, l, m, n)) => r) -> r

(Typeable mode, UnifiedSimpleMergeable mode a, UnifiedSimpleMergeable mode b, UnifiedSimpleMergeable mode c, UnifiedSimpleMergeable mode d, UnifiedSimpleMergeable mode e, UnifiedSimpleMergeable mode f, UnifiedSimpleMergeable mode g, UnifiedSimpleMergeable mode h, UnifiedSimpleMergeable mode i, UnifiedSimpleMergeable mode j, UnifiedSimpleMergeable mode k, UnifiedSimpleMergeable mode l, UnifiedSimpleMergeable mode m, UnifiedSimpleMergeable mode n, UnifiedSimpleMergeable mode o) => UnifiedSimpleMergeable mode (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable :: (If (IsConMode mode) () (SimpleMergeable (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o)) => r) -> r

class UnifiedSimpleMergeable1 mode f where

A class that provides lifting of unified simple merging.

We use this type class to help resolve the constraints for SimpleMergeable1.

Methods

withBaseSimpleMergeable1 :: (If (IsConMode mode) (() :: Constraint) (SimpleMergeable1 f) => r) -> r

Instances

Typeable mode => UnifiedSimpleMergeable1 mode Identity

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable1 :: (If (IsConMode mode) () (SimpleMergeable1 Identity) => r) -> r

(Typeable mode, If (IsConMode mode) () (SimpleMergeable1 m)) => UnifiedSimpleMergeable1 mode m

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable1 :: (If (IsConMode mode) () (SimpleMergeable1 m) => r) -> r

(Typeable mode, UnifiedBranching mode m) => UnifiedSimpleMergeable1 mode (FreshT m)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable1 :: (If (IsConMode mode) () (SimpleMergeable1 (FreshT m)) => r) -> r

(Typeable mode, UnifiedBranching mode m) => UnifiedSimpleMergeable1 mode (MaybeT m)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable1 :: (If (IsConMode mode) () (SimpleMergeable1 (MaybeT m)) => r) -> r

(Typeable mode, UnifiedSimpleMergeable mode a) => UnifiedSimpleMergeable1 mode ((,) a)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable1 :: (If (IsConMode mode) () (SimpleMergeable1 ((,) a)) => r) -> r

(Typeable mode, UnifiedBranching mode m, Mergeable e) => UnifiedSimpleMergeable1 mode (ExceptT e m)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable1 :: (If (IsConMode mode) () (SimpleMergeable1 (ExceptT e m)) => r) -> r

(Typeable mode, UnifiedBranching mode m) => UnifiedSimpleMergeable1 mode (IdentityT m)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable1 :: (If (IsConMode mode) () (SimpleMergeable1 (IdentityT m)) => r) -> r

(Typeable mode, UnifiedBranching mode m) => UnifiedSimpleMergeable1 mode (ReaderT r m)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable1 :: (If (IsConMode mode) () (SimpleMergeable1 (ReaderT r m)) => r0) -> r0

(Typeable mode, UnifiedBranching mode m, Mergeable s) => UnifiedSimpleMergeable1 mode (StateT s m)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable1 :: (If (IsConMode mode) () (SimpleMergeable1 (StateT s m)) => r) -> r

(Typeable mode, UnifiedBranching mode m, Mergeable s) => UnifiedSimpleMergeable1 mode (StateT s m)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable1 :: (If (IsConMode mode) () (SimpleMergeable1 (StateT s m)) => r) -> r

(Typeable mode, UnifiedBranching mode m, Mergeable w, Monoid w) => UnifiedSimpleMergeable1 mode (WriterT w m)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable1 :: (If (IsConMode mode) () (SimpleMergeable1 (WriterT w m)) => r) -> r

(Typeable mode, UnifiedBranching mode m, Mergeable w, Monoid w) => UnifiedSimpleMergeable1 mode (WriterT w m)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable1 :: (If (IsConMode mode) () (SimpleMergeable1 (WriterT w m)) => r) -> r

(Typeable mode, UnifiedSimpleMergeable mode a, UnifiedSimpleMergeable mode b) => UnifiedSimpleMergeable1 mode ((,,) a b)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable1 :: (If (IsConMode mode) () (SimpleMergeable1 ((,,) a b)) => r) -> r

(Typeable mode, UnifiedBranching mode m, Mergeable r) => UnifiedSimpleMergeable1 mode (ContT r m)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable1 :: (If (IsConMode mode) () (SimpleMergeable1 (ContT r m)) => r0) -> r0

(Typeable mode, UnifiedSimpleMergeable mode a, UnifiedSimpleMergeable mode b, UnifiedSimpleMergeable mode c) => UnifiedSimpleMergeable1 mode ((,,,) a b c)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable1 :: (If (IsConMode mode) () (SimpleMergeable1 ((,,,) a b c)) => r) -> r

Typeable mode => UnifiedSimpleMergeable1 mode ((->) a)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable1 :: (If (IsConMode mode) () (SimpleMergeable1 ((->) a)) => r) -> r

(Typeable mode, UnifiedBranching mode m, Mergeable w, Monoid w, Mergeable s) => UnifiedSimpleMergeable1 mode (RWST r w s m)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable1 :: (If (IsConMode mode) () (SimpleMergeable1 (RWST r w s m)) => r0) -> r0

(Typeable mode, UnifiedBranching mode m, Mergeable w, Monoid w, Mergeable s) => UnifiedSimpleMergeable1 mode (RWST r w s m)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable1 :: (If (IsConMode mode) () (SimpleMergeable1 (RWST r w s m)) => r0) -> r0

(Typeable mode, UnifiedSimpleMergeable mode a, UnifiedSimpleMergeable mode b, UnifiedSimpleMergeable mode c, UnifiedSimpleMergeable mode d) => UnifiedSimpleMergeable1 mode ((,,,,) a b c d)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable1 :: (If (IsConMode mode) () (SimpleMergeable1 ((,,,,) a b c d)) => r) -> r

(Typeable mode, UnifiedSimpleMergeable mode a, UnifiedSimpleMergeable mode b, UnifiedSimpleMergeable mode c, UnifiedSimpleMergeable mode d, UnifiedSimpleMergeable mode e) => UnifiedSimpleMergeable1 mode ((,,,,,) a b c d e)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable1 :: (If (IsConMode mode) () (SimpleMergeable1 ((,,,,,) a b c d e)) => r) -> r

(Typeable mode, UnifiedSimpleMergeable mode a, UnifiedSimpleMergeable mode b, UnifiedSimpleMergeable mode c, UnifiedSimpleMergeable mode d, UnifiedSimpleMergeable mode e, UnifiedSimpleMergeable mode f) => UnifiedSimpleMergeable1 mode ((,,,,,,) a b c d e f)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable1 :: (If (IsConMode mode) () (SimpleMergeable1 ((,,,,,,) a b c d e f)) => r) -> r

(Typeable mode, UnifiedSimpleMergeable mode a, UnifiedSimpleMergeable mode b, UnifiedSimpleMergeable mode c, UnifiedSimpleMergeable mode d, UnifiedSimpleMergeable mode e, UnifiedSimpleMergeable mode f, UnifiedSimpleMergeable mode g) => UnifiedSimpleMergeable1 mode ((,,,,,,,) a b c d e f g)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable1 :: (If (IsConMode mode) () (SimpleMergeable1 ((,,,,,,,) a b c d e f g)) => r) -> r

(Typeable mode, UnifiedSimpleMergeable mode a, UnifiedSimpleMergeable mode b, UnifiedSimpleMergeable mode c, UnifiedSimpleMergeable mode d, UnifiedSimpleMergeable mode e, UnifiedSimpleMergeable mode f, UnifiedSimpleMergeable mode g, UnifiedSimpleMergeable mode h) => UnifiedSimpleMergeable1 mode ((,,,,,,,,) a b c d e f g h)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable1 :: (If (IsConMode mode) () (SimpleMergeable1 ((,,,,,,,,) a b c d e f g h)) => r) -> r

(Typeable mode, UnifiedSimpleMergeable mode a, UnifiedSimpleMergeable mode b, UnifiedSimpleMergeable mode c, UnifiedSimpleMergeable mode d, UnifiedSimpleMergeable mode e, UnifiedSimpleMergeable mode f, UnifiedSimpleMergeable mode g, UnifiedSimpleMergeable mode h, UnifiedSimpleMergeable mode i) => UnifiedSimpleMergeable1 mode ((,,,,,,,,,) a b c d e f g h i)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable1 :: (If (IsConMode mode) () (SimpleMergeable1 ((,,,,,,,,,) a b c d e f g h i)) => r) -> r

(Typeable mode, UnifiedSimpleMergeable mode a, UnifiedSimpleMergeable mode b, UnifiedSimpleMergeable mode c, UnifiedSimpleMergeable mode d, UnifiedSimpleMergeable mode e, UnifiedSimpleMergeable mode f, UnifiedSimpleMergeable mode g, UnifiedSimpleMergeable mode h, UnifiedSimpleMergeable mode i, UnifiedSimpleMergeable mode j) => UnifiedSimpleMergeable1 mode ((,,,,,,,,,,) a b c d e f g h i j)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable1 :: (If (IsConMode mode) () (SimpleMergeable1 ((,,,,,,,,,,) a b c d e f g h i j)) => r) -> r

(Typeable mode, UnifiedSimpleMergeable mode a, UnifiedSimpleMergeable mode b, UnifiedSimpleMergeable mode c, UnifiedSimpleMergeable mode d, UnifiedSimpleMergeable mode e, UnifiedSimpleMergeable mode f, UnifiedSimpleMergeable mode g, UnifiedSimpleMergeable mode h, UnifiedSimpleMergeable mode i, UnifiedSimpleMergeable mode j, UnifiedSimpleMergeable mode k) => UnifiedSimpleMergeable1 mode ((,,,,,,,,,,,) a b c d e f g h i j k)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable1 :: (If (IsConMode mode) () (SimpleMergeable1 ((,,,,,,,,,,,) a b c d e f g h i j k)) => r) -> r

(Typeable mode, UnifiedSimpleMergeable mode a, UnifiedSimpleMergeable mode b, UnifiedSimpleMergeable mode c, UnifiedSimpleMergeable mode d, UnifiedSimpleMergeable mode e, UnifiedSimpleMergeable mode f, UnifiedSimpleMergeable mode g, UnifiedSimpleMergeable mode h, UnifiedSimpleMergeable mode i, UnifiedSimpleMergeable mode j, UnifiedSimpleMergeable mode k, UnifiedSimpleMergeable mode l) => UnifiedSimpleMergeable1 mode ((,,,,,,,,,,,,) a b c d e f g h i j k l)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable1 :: (If (IsConMode mode) () (SimpleMergeable1 ((,,,,,,,,,,,,) a b c d e f g h i j k l)) => r) -> r

(Typeable mode, UnifiedSimpleMergeable mode a, UnifiedSimpleMergeable mode b, UnifiedSimpleMergeable mode c, UnifiedSimpleMergeable mode d, UnifiedSimpleMergeable mode e, UnifiedSimpleMergeable mode f, UnifiedSimpleMergeable mode g, UnifiedSimpleMergeable mode h, UnifiedSimpleMergeable mode i, UnifiedSimpleMergeable mode j, UnifiedSimpleMergeable mode k, UnifiedSimpleMergeable mode l, UnifiedSimpleMergeable mode m) => UnifiedSimpleMergeable1 mode ((,,,,,,,,,,,,,) a b c d e f g h i j k l m)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable1 :: (If (IsConMode mode) () (SimpleMergeable1 ((,,,,,,,,,,,,,) a b c d e f g h i j k l m)) => r) -> r

(Typeable mode, UnifiedSimpleMergeable mode a, UnifiedSimpleMergeable mode b, UnifiedSimpleMergeable mode c, UnifiedSimpleMergeable mode d, UnifiedSimpleMergeable mode e, UnifiedSimpleMergeable mode f, UnifiedSimpleMergeable mode g, UnifiedSimpleMergeable mode h, UnifiedSimpleMergeable mode i, UnifiedSimpleMergeable mode j, UnifiedSimpleMergeable mode k, UnifiedSimpleMergeable mode l, UnifiedSimpleMergeable mode m, UnifiedSimpleMergeable mode n) => UnifiedSimpleMergeable1 mode ((,,,,,,,,,,,,,,) a b c d e f g h i j k l m n)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable1 :: (If (IsConMode mode) () (SimpleMergeable1 ((,,,,,,,,,,,,,,) a b c d e f g h i j k l m n)) => r) -> r

class UnifiedSimpleMergeable2 mode f where

A class that provides lifting of unified simple merging.

We use this type class to help resolve the constraints for SimpleMergeable2.

Methods

withBaseSimpleMergeable2 :: (If (IsConMode mode) (() :: Constraint) (SimpleMergeable2 f) => r) -> r

Instances

Typeable mode => UnifiedSimpleMergeable2 mode (,)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable2 :: (If (IsConMode mode) () (SimpleMergeable2 (,)) => r) -> r

(Typeable mode, If (IsConMode mode) () (SimpleMergeable2 m)) => UnifiedSimpleMergeable2 mode m

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable2 :: (If (IsConMode mode) () (SimpleMergeable2 m) => r) -> r

(Typeable mode, UnifiedSimpleMergeable mode a) => UnifiedSimpleMergeable2 mode ((,,) a)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable2 :: (If (IsConMode mode) () (SimpleMergeable2 ((,,) a)) => r) -> r

(Typeable mode, UnifiedSimpleMergeable mode a, UnifiedSimpleMergeable mode b) => UnifiedSimpleMergeable2 mode ((,,,) a b)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable2 :: (If (IsConMode mode) () (SimpleMergeable2 ((,,,) a b)) => r) -> r

Typeable mode => UnifiedSimpleMergeable2 mode (->)

Defined in Grisette.Unified.Internal.Class.UnifiedSimpleMergeable

Methods

withBaseSimpleMergeable2 :: (If (IsConMode mode) () (SimpleMergeable2 (->)) => r) -> r

mrgIf :: forall mode a m. (Typeable mode, Mergeable a, UnifiedBranching mode m) => GetBool mode -> m a -> m a -> m a

Unified mrgIf.

This function isn't able to infer the mode of the boolean variable, so you need to provide the mode explicitly. For example:

mrgIf @mode (a .== b) ...
mrgIf (a .== b :: SymBool) ...
mrgIf (a .== b :: GetBool mode) ...

liftBaseMonad :: forall mode a m. (Applicative m, UnifiedBranching mode m, Mergeable a) => BaseMonad mode a -> m a

Unified lifting of a base monad.

mrgIte :: forall mode a. (Typeable mode, UnifiedSimpleMergeable mode a) => GetBool mode -> a -> a -> a

Unified mrgIte.

mrgIte1 :: forall mode f a. (Typeable mode, UnifiedSimpleMergeable1 mode f, UnifiedSimpleMergeable mode a) => GetBool mode -> f a -> f a -> f a

Unified mrgIte1.

liftMrgIte :: forall mode f a. (Typeable mode, UnifiedSimpleMergeable1 mode f) => (GetBool mode -> a -> a -> a) -> GetBool mode -> f a -> f a -> f a

Unified liftMrgIte.

mrgIte2 :: forall mode f a b. (Typeable mode, UnifiedSimpleMergeable2 mode f, UnifiedSimpleMergeable mode a, UnifiedSimpleMergeable mode b) => GetBool mode -> f a b -> f a b -> f a b

Unified mrgIte2.

liftMrgIte2 :: forall mode f a b. (Typeable mode, UnifiedSimpleMergeable2 mode f) => (GetBool mode -> a -> a -> a) -> (GetBool mode -> b -> b -> b) -> GetBool mode -> f a b -> f a b -> f a b

Unified liftMrgIte2.

simpleMerge :: forall mode a. (Typeable mode, UnifiedSimpleMergeable mode a) => BaseMonad mode a -> a

Unified merge of simply mergeable values in the base monad.