License | BSD-style (see the LICENSE file in the distribution) |
---|---|
Maintainer | libraries@haskell.org |
Stability | experimental |
Portability | not portable |
Safe Haskell | Trustworthy |
Language | Haskell2010 |
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 |
Show (a -> b) # | Since: base-2.1 |
Semigroup b => Semigroup (a -> b) # | Since: base-4.9.0.0 |
Monoid b => Monoid (a -> b) # | Since: base-2.1 |
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 | |
(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 | |
Monad ((->) r) # | Since: base-2.1 |
Functor ((->) r) # | Since: base-2.1 |
MonadFix ((->) r) # | Since: base-2.1 |
Defined in Control.Monad.Fix | |
Applicative ((->) r) # | Since: base-2.1 |