Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data Constraint #
The kind of constraints, like Show a
Instances
Functor (:-) ((->) :: Type -> Type -> Type) Dict Source # | |
a => Bounded (Dict a) Source # | |
a => Enum (Dict a) Source # | |
Defined in Data.Constraint | |
Eq (Dict a) Source # | |
Ord (Dict a) Source # | |
a => Read (Dict a) Source # | |
Show (Dict a) Source # | |
Semigroup (Dict a) Source # | |
a => Monoid (Dict a) Source # | |