Data.Kind

Data.Kind

License BSD-style (see the LICENSE file in the distribution)
Maintainer libraries@haskell.org
Stability experimental
Portability not portable
Safe Haskell Trustworthy
Language Haskell2010

Description

Basic kinds

Since: 4.9.0.0

type Type = * Source

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

data Constraint :: * Source

The kind of constraints, like Show a

type * = * Source

A backward-compatible (pre-GHC 8.0) synonym for Type

type (★) = * Source

A unicode backward-compatible (pre-GHC 8.0) synonym for Type

© The University of Glasgow and others
Licensed under a BSD-style license (see top of the page).
https://downloads.haskell.org/~ghc/8.0.1/docs/html/libraries/base-4.9.0.0/Data-Kind.html

在线笔记
App下载
App下载

扫描二维码

下载编程狮App

公众号
微信公众号

编程狮公众号

意见反馈
返回顶部