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


-- | Reified constraints
--   
--   Reified constraints
@package constraint
@version 0.1.2.0

module Data.Constraint

-- | The kind of constraints, like <tt>Show a</tt>
data Constraint
data Dict a
[Dict] :: a => Dict a
withDict :: Dict a -> (a => b) -> b
newtype a :- b
Sub :: (a => Dict b) -> (:-) a b
(\\) :: (b => c) -> (a :- b) -> a => c
unmapDict :: (Dict a -> Dict b) -> a :- b
instance GHC.Classes.Eq (Data.Constraint.Dict a)
instance GHC.Classes.Ord (Data.Constraint.Dict a)
instance a => GHC.Read.Read (Data.Constraint.Dict a)
instance GHC.Show.Show (Data.Constraint.Dict a)
instance a => GHC.Enum.Bounded (Data.Constraint.Dict a)
instance GHC.Classes.Eq (a Data.Constraint.:- b)
instance GHC.Classes.Ord (a Data.Constraint.:- b)
instance GHC.Show.Show (a Data.Constraint.:- b)
instance Control.Category.Category (Data.Constraint.:-)
instance Control.Categorical.Functor.Functor (Data.Constraint.:-) (->) Data.Constraint.Dict
instance a => GHC.Enum.Enum (Data.Constraint.Dict a)
instance GHC.Base.Semigroup (Data.Constraint.Dict a)
instance a => GHC.Base.Monoid (Data.Constraint.Dict a)

module Data.Constraint.Compose
class c (f a) => Compose (c :: β -> Constraint) (f :: α -> β) (a :: α)
decompose :: Compose c f a :- c (f a)
instance forall α β (c :: β -> GHC.Types.Constraint) (f :: α -> β) (a :: α). c (f a) => Data.Constraint.Compose.Compose c f a

module Data.Constraint.Lifting
class Lifting c d f
lift :: Lifting c d f => c a :- d (f a)
type Endolifting c = Lifting c c
instance Data.Constraint.Lifting.Lifting GHC.Base.Semigroup GHC.Base.Monoid GHC.Maybe.Maybe
instance Data.Constraint.Lifting.Lifting GHC.Base.Semigroup GHC.Base.Semigroup ((->) a)
instance Data.Constraint.Lifting.Lifting GHC.Base.Monoid GHC.Base.Monoid ((->) a)
instance GHC.Base.Semigroup a => Data.Constraint.Lifting.Lifting GHC.Base.Semigroup GHC.Base.Semigroup ((,) a)
instance GHC.Base.Monoid a => Data.Constraint.Lifting.Lifting GHC.Base.Monoid GHC.Base.Monoid ((,) a)
instance forall k1 k2 (s :: k2 -> k2 -> *). Data.Constraint.Lifting.Lifting (Control.Categorical.Functor.Functor s (->)) (Control.Categorical.Functor.Functor (Control.Categorical.Functor.NT s) (Control.Categorical.Functor.NT (->))) Data.Functor.Compose.Compose
instance Data.Constraint.Lifting.Lifting Control.Category.Category Control.Category.Groupoid.Groupoid Data.Morphism.Iso.Iso

module Data.Constraint.Product
class (a, b) => Product a b
instance (a, b) => Data.Constraint.Product.Product a b