HORIZON HASKELLDocslts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Modulererebase-1.21.2Haskell2010

Data.Kind

  • 3 types
typetype Type = TYPE LiftedRep
#

The kind of types with lifted values. For example Int :: Type.

datadata FUN (n :: Multiplicity) (a :: TYPE q) (b :: TYPE r)
#

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 representation polymorphism in both a and b, so that types like Int# -> Int# can still be well-kinded.

Instances57Category, Semigroupoid, Ob, MonadReader, FunctorWithIndex, ComonadTraced, …
  • Category (->)Defined in ghc-internal-9.1003.0 · GHC.Internal.Control.Category
  • Semigroupoid (->)Defined in semigroupoids-6.0.1 · Data.Semigroupoid
  • Ob (->) aDefined in semigroupoids-6.0.1 · Data.Semigroupoid.Ob
  • MonadReader r ((->) r)Defined in mtl-2.3.1 · Control.Monad.Reader.Class
  • FunctorWithIndex r ((->) r)Defined in indexed-traversable-0.1.4 · WithIndex
  • Monoid m => ComonadTraced m ((->) m)Defined in comonad-5.0.9 · Control.Comonad.Traced.Class
  • Adjunction (Tuple2 e) ((->) e)Defined in adjunctions-4.4.3 · Data.Functor.Adjunction
  • Show (a -> b)Defined in base-4.20.2.0 · Text.Show.Functions · orphan
  • Semigroup b => Semigroup (a -> b)Defined in ghc-internal-9.1003.0 · GHC.Internal.Base
  • Monoid b => Monoid (a -> b)Defined in ghc-internal-9.1003.0 · GHC.Internal.Base
  • Arrow (->)Defined in ghc-internal-9.1003.0 · GHC.Internal.Control.Arrow
  • ArrowApply (->)Defined in ghc-internal-9.1003.0 · GHC.Internal.Control.Arrow
  • ArrowChoice (->)Defined in ghc-internal-9.1003.0 · GHC.Internal.Control.Arrow
  • ArrowLoop (->)Defined in ghc-internal-9.1003.0 · GHC.Internal.Control.Arrow
  • (PrintfArg a, HPrintfType r) => HPrintfType (a -> r)Defined in base-4.20.2.0 · Text.Printf
  • (PrintfArg a, PrintfType r) => PrintfType (a -> r)Defined in base-4.20.2.0 · Text.Printf
  • NFData (a -> b)Defined in deepseq-1.5.0.0 · Control.DeepSeq

    This instance is for convenience and consistency with seq. This assumes that WHNF is equivalent to NF for functions.

  • Choice (->)Defined in profunctors-5.6.3 · Data.Profunctor.Choice
  • Cochoice (->)Defined in profunctors-5.6.3 · Data.Profunctor.Choice
  • Closed (->)Defined in profunctors-5.6.3 · Data.Profunctor.Closed
  • Mapping (->)Defined in profunctors-5.6.3 · Data.Profunctor.Mapping
  • Costrong (->)Defined in profunctors-5.6.3 · Data.Profunctor.Strong
  • Strong (->)Defined in profunctors-5.6.3 · Data.Profunctor.Strong
  • Profunctor (->)Defined in profunctors-5.6.3 · Data.Profunctor.Unsafe
  • Traversing (->)Defined in profunctors-5.6.3 · Data.Profunctor.Traversing
  • Corepresentable (->)Defined in profunctors-5.6.3 · Data.Profunctor.Rep
  • Representable (->)Defined in profunctors-5.6.3 · Data.Profunctor.Rep
  • Invariant2 (->)Defined in invariant-0.6.4 · Data.Functor.Invariant
  • Abelian b => Abelian (a -> b)Defined in groups-0.5.3 · Data.Group
  • Group b => Group (a -> b)Defined in groups-0.5.3 · Data.Group
  • Cosieve (->) IdentityDefined in profunctors-5.6.3 · Data.Profunctor.Sieve
  • Sieve (->) IdentityDefined in profunctors-5.6.3 · Data.Profunctor.Sieve
  • Monad ((->) r)Defined in ghc-internal-9.1003.0 · GHC.Internal.Base
  • Functor ((->) r)Defined in ghc-internal-9.1003.0 · GHC.Internal.Base
  • MonadFix ((->) r)Defined in ghc-internal-9.1003.0 · GHC.Internal.Control.Monad.Fix
  • Applicative ((->) r)Defined in ghc-internal-9.1003.0 · GHC.Internal.Base
  • Distributive ((->) e)Defined in distributive-0.6.2.1 · Data.Distributive
  • Monoid m => Comonad ((->) m)Defined in comonad-5.0.9 · Control.Comonad
  • Monoid m => ComonadApply ((->) m)Defined in comonad-5.0.9 · Control.Comonad
  • Apply ((->) m)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.Class
  • Bind ((->) m)Defined in semigroupoids-6.0.1 · Data.Functor.Bind.Class
  • Semigroup m => Extend ((->) m)Defined in semigroupoids-6.0.1 · Data.Functor.Extend
  • Representable ((->) e)Defined in adjunctions-4.4.3 · Data.Functor.Rep
  • Invariant ((->) a)Defined in invariant-0.6.4 · Data.Functor.Invariant
  • Selective ((->) a)Defined in selective-0.7.0.1 · Control.Selective
  • Indexable ((->) a)Defined in keys-3.12.3 · Data.Key
  • Keyed ((->) a)Defined in keys-3.12.3 · Data.Key
  • Lookup ((->) a)Defined in keys-3.12.3 · Data.Key
  • Zip ((->) a)Defined in keys-3.12.3 · Data.Key
  • ZipWithKey ((->) a)Defined in keys-3.12.3 · Data.Key
  • Default m => Copointed ((->) m)Defined in pointed-5.0.4 · Data.Copointed
  • Pointed ((->) e)Defined in pointed-5.0.4 · Data.Pointed
  • MonadBase ((->) r) ((->) r)Defined in transformers-base-0.4.6 · Control.Monad.Base
  • type Corep (->) = IdentityDefined in profunctors-5.6.3 · Data.Profunctor.Rep
  • type Rep (->) = IdentityDefined in profunctors-5.6.3 · Data.Profunctor.Rep
  • type Rep ((->) e) = eDefined in adjunctions-4.4.3 · Data.Functor.Rep
  • type Key ((->) a) = aDefined in keys-3.12.3 · Data.Key