<p align="left"><img src="https://yellow-cdn.veclightyear.com/0a4dffa0/820313d1-bfab-4da0-b5cf-2726698e13d1.png"/></p>

Haskell/GHC 符号搜索速查表

Haskell/GHC 的一些特性很难通过搜索引擎找到。 因为它们中的一些由符号组成 :)
本页面是一个参考集合，用于支持对这些特性的搜索。

如果你想搜索像 .、$、>>=、<*> 等函数符号，可以使用以下搜索引擎：

• Stackage 上的 Hoogle 搜索
• Haskell.org 上的 Hoogle

祝 Haskell 编程愉快！

---

! : "严格性标志"

[ Haskell 2010 语言报告 ]

data Vec = Vec !Int

---

! : "严格模式语法"

[ GHC 用户指南 ]

f1 !x = 

---

# : "MagicHash"

[ GHC 用户指南 ]

data Int = I# Int#

---

# : "扩展字面量"

[ GHC 用户指南 ]

f x = case x of
        123#Int8 -> False
        _        -> True

---

# : "重载标签"

[ GHC 用户指南 ]

example = #x (Point 1 2)

---

# : C 预处理器指令

[ GHC 用户指南 ]

#include "MachDeps.h"

---

# : hsc2hs 命令的运算符

[ GHC 用户指南 ]

flag = #const VER_MAJORVERSION

---

$( ) : 模板 Haskell 的拼接语法

[ GHC 用户指南 ]

two = $(add1 1)

---

$$( ) : 类型化模板 Haskell 的拼接语法

[ GHC 用户指南 ]

two = $$(add1 1)

---

%1 -> : "线性类型"

[ GHC 用户指南 ]

f :: a %1 -> a 

---

' : 标识符由一个字母后跟零个或多个字母、数字、下划线和单引号组成

[ Haskell 2010 语言报告 ]

xs' = f ys

---

' : 提升的构造函数前面带有一个撇号 '

[ GHC 用户指南 ]

type * = TYPE 'LiftedRep

---

' '' : 模板 Haskell 的引用语法

[ GHC 用户指南 ]

makeLenses ''FooBar

---

() : "单位类型"

[ Haskell 2010 语言报告 ] [ Haskell 2010 语言报告 ]

main :: IO ()

---

() : "单位表达式"

[ Haskell 2010 语言报告 ] [ Haskell 2010 语言报告 ]

return ()

---

( ) : "截断" - 部分应用的便捷语法

[ Haskell 2010 语言报告 ]

add1 = (1+)

---

(,) : 元组的构造函数

[ Haskell 2010 语言报告 ]

f x y = liftM2 (,) x y 

---

(, xxx) : "元组截断"

[ GHC 用户指南 ]

f xs = fmap (, True) xs

---

(# #) : "拆箱元组"

[ GHC 用户指南 ]

f x y = (# x+1, y-1 #)

---

(# | | #) : "非装箱求和"

[ GHC 用户指南 ]

f :: (# Int | Bool | Char #) -> Int
f (# x | | #)    = 1
f (# | True | #) = 2
f _              = 3

---

(..) : 导出所有名称

[ Haskell 2010 语言报告 ]

module GHC.Arr (
        Ix(..),

---

(..) : 导入所有名称

[ Haskell 2010 语言报告 ]

import GHC.Types (Bool(..))

---

* : 普通类型的种类（Type 和 TYPE `LiftedRep 的同义词）

[ Haskell 2010 语言报告 ] [ GHC 用户指南 ]

ghci> :kind Int
Int :: *

---

-> : case 表达式

[ Haskell 2010 语言报告 ]

f x = case x of
        Nothing -> False
        Just _  -> True

---

-> : "视图模式"

[ GHC 用户指南 ]

size (view -> Unit)        = 1
size (view -> Arrow t1 t2) = size t1 + size t2

---

-> : "函数类型"

[ Haskell 2010 语言报告 ]

id :: a -> a

---

. : 模块名是以点分隔的序列

[ Haskell 2010 语言报告 ]

import Data.Maybe
import qualified Text.Read.Lex as L

lexP = lift L.lex

---

. : "OverloadedRecordDot"

[ GHC 用户指南 ]

getResult c = c.result

getResults = map (.result)

---

. : "OverloadedRecordUpdate"（实验性）

[ GHC 用户指南 ]

setYearTaken c y = c{taken.year = y}

---

. : 全称量化

[ GHC 用户指南 ]

f :: forall a. a -> [a]

---

: : "列表构造器"（cons）

[ Haskell 2010 语言报告 ] [ Haskell 2010 语言报告 ] [ Haskell 2010 语言报告 ]

f x xs = x:xs

---

: : 以冒号开头的运算符符号是构造器

[ Haskell 2010 语言报告 ]

data NonEmpty a = a :| [a]

---

:: : "类型签名"

[ Haskell 2010 语言报告 ]

id :: a -> a
id x =  x

---

:: : "表达式类型签名"（类型注解）

[ Haskell 2010 语言报告 ]

x = fromIntegral (maxBound::Int)

---

; : 布局规则中的分号

[ Haskell 2010 语言报告 ]

f x = let a = 1; b = 2  
          g y = exp2  
      in exp1 

---

<- : do 表达式中的 lambda 绑定

[ Haskell 2010 语言报告 ]

f = do
  x <- getLine
  putStrLn x

---

<- : "模式守卫"

[ Haskell 2010 语言报告 ]

f x
  | Just y <- g x = 

---

=> : 上下文（类型类约束）

[ Haskell 2010 语言报告 ]

subtract :: (Num a) => a -> a -> a
subtract x y = y - x

---

? : "ImplicitParams"（隐式参数）

[ GHC 用户指南 ]

sort :: (?cmp :: a -> a -> Bool) => [a] -> [a]
sort = sortBy ?cmp

---

@ : "as模式"

[ Haskell 2010 语言报告 ]

f s@(x:xs) = 

---

@ : "类型应用"

[ GHC 用户指南 ]

f = read @Int

---

@ : "类型抽象"

[ GHC 用户指南 ]

class C @k a where 

---

[] : "空列表"（nil）

[ Haskell 2010 语言报告 ] [ Haskell 2010 语言报告 ]

null [] = True
null _  = False

---

[ .. ] : "等差数列"

[ Haskell 2010 语言报告 ]

xs = [1..10]

---

[ | <- ] : "列表推导式"

[ Haskell 2010 语言报告 ]

xs = [x^2 | x <- [1..10]] 

---

[| |], [e| |], [d| |], [t| |], [p| |] : Template Haskell的引用语法（表达式、声明、类型和模式）

[ GHC 用户指南 ]

add1 x = [| x + 1 |]

---

[varid| |] : Template Haskell的准引用语法

[ GHC 用户指南 ]

greet name = [interpolate| Hello, #name! |]

---

[|| ||] : 类型化Template Haskell的引用语法

[ GHC 用户指南 ]

add1 x = [|| x + 1 ||]

---

_ : "通配符模式"

[ Haskell 2010 语言报告 ]

f Red  =
f Blue =
f _    =

---

_ : 以下划线开头的未使用标识符

[ GHC 用户指南 ] [ Haskell 2010 语言报告 ]

_w = True                -- 无警告：_w以下划线开头

---

_ : "类型孔"（表达式级别）

[ GHC 用户指南 ]

sum xs = foldr _ 0 xs

---

_ : "类型通配符"（类型级别）

[ GHC 用户指南 ]

not' :: Bool -> _
not' x = not x

---

_ : "额外约束通配符"

[ GHC 用户指南 ]

arbitCs :: _ => a -> String

---

_ : "NumericUnderscores"（数值下划线）

[ GHC 用户指南 ]

million = 1_000_000

---

\ -> : "lambda抽象"

[ Haskell 2010 语言报告 ]

add1 = \x -> x + 1

---

\case -> : "LambdaCase"（lambda case语法）

[ GHC 用户指南 ]

f = \case
      Red  -> 2
      Blue -> 1
      _    -> 0

---

` ` : "中缀表示法" - 用重音符包围的标识符

[ Haskell 2010 语言报告 ]

div10 x = x `div` 10

---

{ } : 布局规则中的大括号

[ Haskell 2010 语言报告 ]

f x = case x of {Nothing -> False; Just _ -> True}

---

{ } : "记录语法"（带有字段标签的数据类型）

[ Haskell 2010 语言报告 ]

data MyPoint = Point { x :: Int, y :: Int }

---

{..} : "记录通配符"

[ GHC 用户指南 ]

f Vec{..} = 

---

{-# #-} : "编译器编译指示"

[ Haskell 2010 语言报告 ] [ GHC 用户指南 ] [ GHC 用户指南 ]

{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE GADTs            #-}

{-# INLINE fmap #-}

---

| : "布尔守卫"（守卫）

[ Haskell 2010 语言报告 ]

clip255 x
  | x > 255   = 255
  | otherwise = x 

---

| : "多路if"

[ GHC 用户指南 ]

if | x == ":q" -> quit
   | isError x -> errorExit x
   | otherwise -> execCommand x

---

| : 代数数据类型声明

[ Haskell 2010 语言报告 ]

data Maybe a = Nothing | Just a

---

| : "函数依赖"

[ GHC 用户指南 ]

class Foo a b c | a b -> c where 

---

~ : "不可辩驳模式"

[ Haskell 2010 语言报告 ]

f1 ~(as,bs) =

~ : 启用Strict时的惰性模式

[ GHC 用户指南 ]

{-# LANGUAGE Strict #-}

f ~x =

---

~ : 惰性标志

[ GHC 用户指南 ]

data T = C ~a

---

~ : "相等约束"

[ GHC 用户指南 ]

class (F a ~ b) => C a b where