| License | BSD-style (see the LICENSE file in the distribution) | 
|---|---|
| Maintainer | libraries@haskell.org | 
| Stability | experimental | 
| Portability | not portable | 
| Safe Haskell | Trustworthy | 
| Language | Haskell2010 | 
Data.Kind
Description
Basic kinds
Since: base-4.9.0.0
Synopsis
- type Type = Type
- data Constraint
- data FUN
Documentation
data Constraint Source #
The kind of constraints, like Show a
The builtin function type, written in infix form as a # m -> b.
    Values of this type are functions taking inputs of type a and
    producing outputs of type b. The multiplicity of the input is
    m.
Note that FUN m a b permits levity-polymorphism in both a and
    b, so that types like Int# -> Int# can still be well-kinded.
Instances
| Category (->) # | Since: base-3.0 | 
| Defined in Control.Category | |
| Arrow (->) # | Since: base-2.1 | 
| ArrowApply (->) # | Since: base-2.1 | 
| Defined in Control.Arrow | |
| ArrowChoice (->) # | Since: base-2.1 | 
| ArrowLoop (->) # | Since: base-2.1 | 
| Defined in Control.Arrow | |
| Monoid b => Monoid (a -> b) # | Since: base-2.1 | 
| Semigroup b => Semigroup (a -> b) # | Since: base-4.9.0.0 | 
| Show (a -> b) # | Since: base-2.1 | 
| (PrintfArg a, HPrintfType r) => HPrintfType (a -> r) # | Since: base-2.1 | 
| Defined in Text.Printf | |
| (PrintfArg a, PrintfType r) => PrintfType (a -> r) # | Since: base-2.1 | 
| Defined in Text.Printf | |
| MonadFix ((->) r) # | Since: base-2.1 | 
| Defined in Control.Monad.Fix | |
| Applicative ((->) r) # | Since: base-2.1 | 
| Functor ((->) r) # | Since: base-2.1 | 
| Monad ((->) r) # | Since: base-2.1 |