haskell symbol search cheatsheet
1.0.0
Haskell/GHC의 여러 기능은 검색 가능성이 낮습니다. 그 중 일부는 기호로 구성되어 있기 때문이죠 :)
이 페이지는 검색을 지원하기 위한 참고자료 모음입니다.
와 같은 함수 기호를 검색하려는 경우 . , $ , >>= , <*> , ..., 다음 검색 엔진을 사용할 수 있습니다.
하스켈링을 즐기세요!
! : "엄격함 플래그"[ Haskell 2010 언어 보고서 ]
data Vec = Vec ! Int ! : "뱅 패턴"[ GHC 사용자 가이드 ]
f1 ! x = # : "매직해시"[ 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 ' : 식별자는 문자와 0개 이상의 문자, 숫자, 밑줄 및 작은따옴표로 구성됩니다.[ 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) : "TupleSection"[ 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 . : "오버로드된RecordDot"[ 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 표현식에서 람다 바인딩[ 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@ : "패턴으로"[ 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 -> : "람다 추상화"[ 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
