haskell symbol search cheatsheet
1.0.0
Некоторые функции Haskell/GHC плохо подходят для поиска в Google. Потому что некоторые из них состоят из символов :)
Эта страница представляет собой коллекцию ссылок для поддержки поиска.
Если вы хотите найти функциональные символы, такие как . , $ , >>= , <*> , ... вы можете использовать следующие поисковые системы:
Счастливого Хаскеллинга!
! : "флаг строгости"[Отчет о языке 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 ' : идентификатор состоит из буквы, за которой следуют ноль или более букв, цифр, символов подчеркивания и одинарных кавычек.[Отчет о языке Haskell 2010]
xs' = f ys' : продвинутые конструкторы имеют префикс галочки '[Руководство пользователя GHC]
type * = TYPE 'LiftedRep' '' : синтаксис кавычек шаблона Haskell.[Руководство пользователя GHC]
makeLenses ''FooBar() : «тип юнита»[Отчет о языке Haskell 2010 ] [Отчет о языке Haskell 2010 ]
main :: IO () () : «единичное выражение»[Отчет о языке Haskell 2010 ] [Отчет о языке Haskell 2010 ]
return () ( ) : «раздел» — удобный синтаксис для частичного применения.[Отчет о языке 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[Отчет о языке 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 [] : «пустой список» (ноль)[Отчет о языке 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
