suitable-0.1.1: Abstract over the constraints on the parameters to type constructors

Data.Suitable

Documentation

class Suitable m a whereSource

Methods

constraints :: Constraints m aSource

Instances

Suitable [] a
Suitable IO a
Suitable Maybe a
Ord a => Suitable Set a
Suitable ((->) r) a

data family Constraints m :: * -> *Source

withResConstraints :: Suitable m a => (Constraints m a -> m a) -> m aSource

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