🌟

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

17 min read

はじめに

このページは、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

ログインするとコメントできます