constrained-platform-instances-0.1: Instances of standard platform types for 'constrained' package.

Copyright(c) Sergey Vinokurov 2019
LicenseBSD-2 (see LICENSE)
Maintainersergey@debian
Safe HaskellNone
LanguageHaskell2010

Data.Traversable.Constrained.Instances

Contents

Description

 

Orphan instances

CTraversable IntMap Source # 
Instance details

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) #

CTraversable Set Source # 
Instance details

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) #

CTraversable Vector Source # 
Instance details

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) #

CTraversable Vector Source # 
Instance details

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) #

CTraversable Vector Source # 
Instance details

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) #

CTraversable Vector Source # 
Instance details

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) #

Ix i => CTraversable (Array i) Source # 
Instance details

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) #

CTraversable (Map k) Source # 
Instance details

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) #