License | BSD-style (see the LICENSE file in the distribution) |
---|---|
Maintainer | libraries@haskell.org |
Stability | stable |
Portability | not portable |
Safe Haskell | Trustworthy |
Language | Haskell2010 |
Basic kinds
Since: base-4.9.0.0
Synopsis
- type Type = TYPE LiftedRep
- type Constraint = CONSTRAINT LiftedRep
- data FUN
Documentation
type Constraint = CONSTRAINT LiftedRep Source #
The kind of lifted constraints
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
permits representation polymorphism in both
FUN
m a ba
and b
, so that types like
can still be
well-kinded.Int#
-> Int#
Instances
Category (->) | @since base-3.0 |
(PrintfArg a, HPrintfType r) => HPrintfType (a -> r) Source # | Since: base-2.1 |
Defined in Text.Printf | |
(PrintfArg a, PrintfType r) => PrintfType (a -> r) Source # | Since: base-2.1 |
Defined in Text.Printf | |
Monoid b => Monoid (a -> b) | @since base-2.01 |
Semigroup b => Semigroup (a -> b) | @since base-4.9.0.0 |
Arrow (->) | @since base-2.01 |
ArrowApply (->) | @since base-2.01 |
Defined in GHC.Internal.Control.Arrow | |
ArrowChoice (->) | @since base-2.01 |
ArrowLoop (->) | @since base-2.01 |
Defined in GHC.Internal.Control.Arrow | |
Show (a -> b) Source # | Since: base-2.1 |
Applicative ((->) r) | @since base-2.01 |
Functor ((->) r) | @since base-2.01 |
Monad ((->) r) | @since base-2.01 |
MonadFix ((->) r) | @since base-2.01 |
Defined in GHC.Internal.Control.Monad.Fix |