-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Abstract over the constraints on the parameters to type constructors
--   
--   This library provides a general purpose typeclass, 'Suitable f a',
--   which expresses that values of type 'f a' are legal or <a>make
--   sense</a>.
@package suitable
@version 0.1.1

module Data.Suitable
class Suitable m a
constraints :: Suitable m a => Constraints m a
withResConstraints :: Suitable m a => (Constraints m a -> m a) -> m a
withConstraintsOf :: Suitable m a => m a -> (Constraints m a -> k) -> k
instance Ord a => Suitable Set a
instance Suitable IO a
instance Suitable [] a
instance Suitable Maybe a
instance Suitable ((->) r) a