Haskell/GHC 記号の意味を検索するためのリファレンス集

はじめに

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

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

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

• Hoogle search on Stackage
• Hoogle on Haskell.org

それでは、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

以上です。