haskell symbol search cheatsheet
1.0.0
Haskell/GHC 的幾個功能在Google搜尋中的搜尋率較低。因為有些是由符號組成的:)
本頁是一個參考集合，支援它們的搜尋。
如果您想搜尋類似 的函數符號. 、 $ 、 >>= 、 <*> 、 ...，您可以使用以下搜尋引擎：
哈斯克爾快樂！
! ：“嚴格標誌”[ 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 () ( ) : “section” - 部分應用的便利語法[ Haskell 2010 語言報告 ]
add1 = ( 1 + )(,) ：元組的建構函數[ Haskell 2010 語言報告 ]
f x y = liftM2 (,) x y (, xxx) : “TupleSections”[ 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 :: * -> : 大小寫表達式[ 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 . ：“重載記錄點”[ GHC 使用者指南 ]
getResult c = c . result
getResults = map ( . result). ：「OverloadedRecordUpdate」（實驗性）[ GHC 使用者指南 ]
setYearTaken c y = c{taken . year = y}. ：通用量化[ GHC 使用者指南 ]
f :: forall a . a -> [ a ]: : “列表建構函數”（缺點）[ 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? ：“隱式參數”[ GHC 使用者指南 ]
sort :: ( ? cmp :: a -> a -> Bool ) => [ a ] -> [ a ]
sort = sortBy ? cmp@ ：“作為模式”[ 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| |] ：Haskell 模板的引用語法（表達式、宣告、型別和模式）[ GHC 使用者指南 ]
add1 x = [ | x + 1 | ][varid| |] ：Haskell 範本的準引用語法[ GHC 使用者指南 ]
greet name = [ interpolate | Hello, #name! |][|| ||] ：類型化模板 Haskell 的引用語法[ GHC 使用者指南 ]
add1 x = [ || x + 1 || ]_ : “通配符模式”[ Haskell 2010 語言報告 ]
f Red =
f Blue =
f _ = _ : 未使用的以下劃線開頭的標識符[ GHC 使用者指南 ] [ Haskell 2010 語言報告 ]
_w = True -- No warning: _w starts with an underscore _ ：「類型化孔」（表達式等級）[ GHC 使用者指南 ]
sum xs = foldr _ 0 xs_ : “類型通配符”（類型層級）[ GHC 使用者指南 ]
not' :: Bool -> _
not' x = not x_ : “額外約束通配符”[ GHC 使用者指南 ]
arbitCs :: _ => a -> String _ : "數字底線"[ GHC 使用者指南 ]
million = 1_000_000 -> : “lambda 抽象”[ Haskell 2010 語言報告 ]
add1 = x -> x + 1 case -> : "LambdaCase"[ 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 | ：“多路如果”[ 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
