Data.Suitable

Documentation

class Suitable m a where

Associated Types

data Constraints m a

Methods

constraints :: m a -> Constraints m a

Instances

Suitable [] a

Suitable IO a

Suitable Maybe a

Ord a => Suitable Set a

Suitable ((->) r) a

(Suitable m a, Suitable m [a]) => Suitable (ListT m) a

(Ord a, Suitable m a, Suitable m (Set a)) => Suitable (SetT m) a

Suitable m a => Suitable (ReaderT r m) a

(Suitable m a, Suitable m r) => Suitable (ContT r m) a

withResConstraints :: forall m a. Suitable m a => (Constraints m a -> m a) -> m a

withConstraintsOf :: Suitable m a => m a -> (Constraints m a -> k) -> k