Orphan instances

Methods

ctraverse :: (Constraints IntMap a, Constraints IntMap b, Monad m) => (a -> m b) -> IntMap a -> m (IntMap b) #

csequence :: (Constraints IntMap a, Constraints IntMap (m a), Monad m) => IntMap (m a) -> m (IntMap a) #

Methods

ctraverse :: (Constraints Set a, Constraints Set b, Monad m) => (a -> m b) -> Set a -> m (Set b) #

csequence :: (Constraints Set a, Constraints Set (m a), Monad m) => Set (m a) -> m (Set a) #

Methods

ctraverse :: (Constraints Vector a, Constraints Vector b, Monad m) => (a -> m b) -> Vector a -> m (Vector b) #

csequence :: (Constraints Vector a, Constraints Vector (m a), Monad m) => Vector (m a) -> m (Vector a) #

Methods

ctraverse :: (Constraints Vector a, Constraints Vector b, Monad m) => (a -> m b) -> Vector a -> m (Vector b) #

csequence :: (Constraints Vector a, Constraints Vector (m a), Monad m) => Vector (m a) -> m (Vector a) #

Methods

ctraverse :: (Constraints Vector a, Constraints Vector b, Monad m) => (a -> m b) -> Vector a -> m (Vector b) #

csequence :: (Constraints Vector a, Constraints Vector (m a), Monad m) => Vector (m a) -> m (Vector a) #

Methods

ctraverse :: (Constraints Vector a, Constraints Vector b, Monad m) => (a -> m b) -> Vector a -> m (Vector b) #

csequence :: (Constraints Vector a, Constraints Vector (m a), Monad m) => Vector (m a) -> m (Vector a) #

Methods

ctraverse :: (Constraints (Array i) a, Constraints (Array i) b, Monad m) => (a -> m b) -> Array i a -> m (Array i b) #

csequence :: (Constraints (Array i) a, Constraints (Array i) (m a), Monad m) => Array i (m a) -> m (Array i a) #

Methods

ctraverse :: (Constraints (Map k) a, Constraints (Map k) b, Monad m) => (a -> m b) -> Map k a -> m (Map k b) #

csequence :: (Constraints (Map k) a, Constraints (Map k) (m a), Monad m) => Map k (m a) -> m (Map k a) #