はじめに

このページは、Haskell/GHCにおける記号の検索を支援するためのリファレンス集です。
（オリジナルはGitHubのこちらですが、日本語でも検索しやすいようにZennにも載せておきます。）

Haskell/GHCの幾つかの機能は、記号（シンボル）で構成表現されているため、Google検索等のサーチエンジンによる検索が難しくなっています。
このページは、基本的な構文以外のいくつかの記号について、その代表的な呼称と、仕様書やユーザーガイド（英語版）へのリンクと、簡単なコード例を記載しています。

なお、記号で構成されている対象が関数や演算子（例えば、 ., $, <*>, >>=, など）の場合については、以下の検索エンジンで検索できます。

それでは、Happy Haskelling!

`!` : "strictness flag" （正格性フラグ）

[ Haskell 2010 Language Report ]

data Vec = Vec !Int

`!` : "bang pattern" （バンパターン）

[ GHC User’s Guide ]

f1 !x =

`#` : "MagicHash"

[ GHC User’s Guide ]

data Int = I# Int#

`#` : "OverloadedLabels"

[ GHC User’s Guide ]

example = #x (Point 1 2)

`#` : Cプリプロセッサのディレクティブ

[ GHC User’s Guide ]

#include "MachDeps.h"

`#` : hsc2hsコマンドのオペレータ

[ GHC User’s Guide ]

flag = #const VER_MAJORVERSION

`$( )` : Template Haskellのsplice構文

[ GHC User’s Guide ]

two = $(add1 1)

`$$( )` : Typed Template Haskellのsplice構文

[ GHC User’s Guide ]

two = $$(add1 1)

`%1 ->` : "Linear types" (線形型)

[ GHC User’s Guide ]

f :: a %1 -> a

`'` : 識別子の構成文字としてのシングルクォート

[ Haskell 2010 Language Report ]

xs' = f ys

`'` : 昇格されたコンストラクタ（promoted constructors）のプレフィクス

[ GHC User’s Guide ]

type * = TYPE 'LiftedRep

`'` `''` : Template Haskellのquote構文

[ GHC User’s Guide ]

makeLenses ''FooBar

`()` : "unit type" (ユニット型)

[ Haskell 2010 Language Report ] [ Haskell 2010 Language Report ]

main :: IO ()

`()` : "unit expression" (値としてのユニット)

[ Haskell 2010 Language Report ] [ Haskell 2010 Language Report ]

return ()

`( )` : "section" （セクション）

[ Haskell 2010 Language Report ]

add1 = (1+)

`(,)` : the constructor for a tuple (タプルのコンストラクタ)

[ Haskell 2010 Language Report ]

f x y = liftM2 (,) x y

`(, xxx)` : "TupleSections" （タプルセクション）

[ GHC User’s Guide ]

f xs = fmap (, True) xs

`(# #)` : "unboxed tuple"

[ GHC User’s Guide ]

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

`(# | | #)` : "unboxed sum"

[ GHC User’s Guide ]

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

`(..)` : exportリストでの名前の省略

[ Haskell 2010 Language Report ]

module GHC.Arr (
        Ix(..),

`(..)` : import宣言での名前の省略

[ Haskell 2010 Language Report ]

import GHC.Types (Bool(..))

`*` : 通常のデータ型を表すカインド (`Type`およびTYPE `LiftedRepへの別名)

[ Haskell 2010 Language Report ] [ GHC User’s Guide ] [ GHC User’s Guide ]

ghci> :kind Int
Int :: *

`->` : case expression (case式)

[ Haskell 2010 Language Report ]

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

`->` : "view pattern" （ビューパターン）

[ GHC User’s Guide ]

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

`->` : "function type" (関数型)

[ Haskell 2010 Language Report ]

id :: a -> a

`.` : モジュール名を区切るドット

[ Haskell 2010 Language Report ]

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

lexP = lift L.lex

`.` : "OverloadedRecordDot" (レコードドット構文)

[ GHC User’s Guide ]

getResult c = c.result

getResults = map (.result)

`.` : "OverloadedRecordUpdate" (レコード更新構文(実験的機能))

[ GHC User’s Guide ]

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

`.` : universal quantification (全称量化子)

[ GHC User’s Guide ]

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

`:` : "list constructor" (リストのコンストラクタ)

[ Haskell 2010 Language Report ] [ Haskell 2010 Language Report ] [ Haskell 2010 Language Report ]

f x xs = x:xs

`:` : コロンで始まるシンボルはコンストラクタ

[ Haskell 2010 Language Report ]

data NonEmpty a = a :| [a]

`::` : "type signature" (型シグネチャ)

[ Haskell 2010 Language Report ]

id :: a -> a
id x =  x

`::` : "expression type-signature" (type annotation) (式中での型シグネチャ (型注釈))

[ Haskell 2010 Language Report ]

x = fromIntegral (maxBound::Int)

`;` : レイアウト規則におけるセミコロン

[ Haskell 2010 Language Report ]

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

`<-` : lambda-bound in do expression (do式内でのラムダ変数の束縛)

[ Haskell 2010 Language Report ]

f = do
  x <- getLine
  putStrLn x

`<-` : "pattern guard" （パターンガード）

[ Haskell 2010 Language Report ]

f x
  | Just y <- g x =

`=>` : context (type class constraint) (型クラスの制約)

[ Haskell 2010 Language Report ]

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

`?` : "ImplicitParams" (暗黙の引数)

[ GHC User’s Guide ]

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

`@` : "as pattern" （アズパターン）

[ Haskell 2010 Language Report ]

f s@(x:xs) =

`@` : "type application" （型適用）

[ GHC User’s Guide ]

f = read @Int

`[]` : "empty list" (空のリスト)

[ Haskell 2010 Language Report ] [ Haskell 2010 Language Report ]

null [] = True
null _  = False

`[ .. ]` : "arithmetic sequence" (算術シーケンスによるリスト表記)

[ Haskell 2010 Language Report ]

xs = [1..10]

`[ | <- ]` : "list comprehension" (リスト内包表記)

[ Haskell 2010 Language Report ]

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

`[| |]`, `[e| |]`, `[d| |]`, `[t| |]`, `[p| |]` : Template Haskellのquote構文

[ GHC User’s Guide ]

add1 x = [| x + 1 |]

`[varid| |]` : Template Haskellの準quote構文

[ GHC User’s Guide ]

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

`[|| ||]` : Typed Template Haskellのquote構文

[ GHC User’s Guide ]

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

`_` : "wildcard pattern" （ワイルドカードパターン）

[ Haskell 2010 Language Report ]

f Red  =
f Blue =
f _    =

`_` : アンダースコアで始まる未使用の識別子

[ GHC User’s Guide ] [ Haskell 2010 Language Report ]

_w = True                -- No warning: _w starts with an underscore

`_` : "typed hole" (式レベルの型hole)

[ GHC User’s Guide ]

sum xs = foldr _ 0 xs

`_` : "type wildcard" (型レベルのワイルドカード)

[ GHC User’s Guide ]

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

`_` : "extra-constraints wildcard" (制約のワイルドカード)

[ GHC User’s Guide ]

arbitCs :: _ => a -> String

`_` : "NumericUnderscores"

[ GHC User’s Guide ]

million = 1_000_000

`\ ->` : "lambda abstraction" （ラムダ抽象）

[ Haskell 2010 Language Report ]

add1 = \x -> x + 1

`\case ->` : "LambdaCase"

[ GHC User’s Guide ]

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

` ` : "infix notation" （中置記法）

[ Haskell 2010 Language Report ]

div10 x = x `div` 10

`{ }` : レイアウト規則における波括弧

[ Haskell 2010 Language Report ]

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

`{ }` : "record syntax" (datatypes with field labels) (レコード構文)

[ Haskell 2010 Language Report ]

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

`{..}` : "record wildcard" （レコードワイルドカード）

[ GHC User’s Guide ]

f Vec{..} =

`{-# #-}` : "compiler pragma" (コンパイラプラグマ)

[ Haskell 2010 Language Report ] [ GHC User’s Guide ] [ GHC User’s Guide ]

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

{-# INLINE fmap #-}

`|` : "boolean guard" (ブーリアンガード、または単純に、ガード)

[ Haskell 2010 Language Report ]

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

`|` : "MultiWayIf"

[ GHC User’s Guide ]

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

`|` : algebraic datatype declaration (代数的データ型の宣言)

[ Haskell 2010 Language Report ]

data Maybe a = Nothing | Just a

`|` : "functional dependency" （関数従属）

[ GHC User’s Guide ]

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

`~` : "irrefutable pattern" （反駁不可パターン）

[ Haskell 2010 Language Report ]

f1 ~(as,bs) =

`~` : "equality constraint"

[ GHC User’s Guide ]

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

以上です。

Discussion