haskell symbol search cheatsheet

ورقة غش للبحث عن رمز Haskell/GHC

تتمتع العديد من ميزات Haskell/GHC بإمكانية منخفضة للبحث في Google. لأن بعضها مكون من رموز :)
هذه الصفحة عبارة عن مجموعة مرجعية لدعم البحث عنها.

إذا كنت تريد البحث عن رموز الوظائف مثل . , $ , >>= , <*> , ..., يمكنك استخدام محركات البحث التالية:

• بحث Hoogle على Stackage
• هوغل على Haskell.org

سعيد هاسكيلينج!

---

! : "علم الصرامة"

[ تقرير اللغة هاسكل 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 

---

$( ) : بناء جملة لصق قالب هاسكل

[ دليل مستخدم GHC ]

two = $ (add1 1 )

---

$$( ) : بناء جملة لصق القالب المكتوب في هاسكل

[ دليل مستخدم GHC ]

two = $$ (add1 1 )

---

%1 -> : "الأنواع الخطية"

[ دليل مستخدم GHC ]

 f :: a % 1 -> a 

---

' : يتكون المعرف من حرف متبوعًا بصفر أو أكثر من الحروف والأرقام والشرطات السفلية وعلامات الاقتباس المفردة

[ تقرير اللغة هاسكل 2010 ]

xs' = f ys

---

' : تُسبق المُنشئات التي تمت ترقيتها بعلامة اختيار '

[ دليل مستخدم GHC ]

 type * = TYPE 'LiftedRep

---

' '' : بناء جملة اقتباس قالب هاسكل

[ دليل مستخدم GHC ]

makeLenses ''FooBar

---

() : "نوع الوحدة"

[ تقرير اللغة هاسكل 2010 ] [ تقرير اللغة هاسكل 2010 ]

 main :: IO () 

---

() : "تعبير الوحدة"

[ تقرير اللغة هاسكل 2010 ] [ تقرير اللغة هاسكل 2010 ]

 return () 

---

( ) : "section" - صيغة ملائمة للتطبيق الجزئي

[ تقرير اللغة هاسكل 2010 ]

add1 = ( 1 + )

---

(,) : منشئ الصف

[ تقرير اللغة هاسكل 2010 ]

f x y = liftM2 (,) x y 

---

(, xxx) : "أقسام الصفوف"

[ دليل مستخدم 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 

---

(..) : تصدير جميع أسمائها

[ تقرير اللغة هاسكل 2010 ]

 module GHC.Arr (
        Ix ( .. ),

---

(..) : استيراد جميع أسمائها

[ تقرير اللغة هاسكل 2010 ]

 import GHC.Types ( Bool ( .. ))

---

* : نوع الأنواع العادية (مرادف Type TYPE `LiftedRep )

[ تقرير لغة هاسكل 2010 ] [ دليل مستخدم GHC ]

ghci > : kind Int
Int :: * 

---

-> : تعبير الحالة

[ تقرير اللغة هاسكل 2010 ]

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

---

-> : "عرض النمط"

[ دليل مستخدم GHC ]

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

---

-> : "نوع الوظيفة"

[ تقرير اللغة هاسكل 2010 ]

 id :: a -> a 

---

. : أسماء الوحدات عبارة عن تسلسل مفصول بالنقاط

[ تقرير اللغة هاسكل 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 ]

---

: : "منشئ القائمة" (سلبيات)

[ تقرير اللغة هاسكل 2010 ] [ تقرير اللغة هاسكل 2010 ] [ تقرير اللغة هاسكل 2010 ]

f x xs = x : xs

---

: : رمز عامل التشغيل الذي يبدأ بنقطتين هو مُنشئ

[ تقرير اللغة هاسكل 2010 ]

 data NonEmpty a = a :| [a]

---

:: : "اكتب التوقيع"

[ تقرير اللغة هاسكل 2010 ]

 id :: a -> a
id x =  x

---

:: : "توقيع نوع التعبير" (نوع التعليق التوضيحي)

[ تقرير اللغة هاسكل 2010 ]

x = fromIntegral ( maxBound :: Int )

---

; : فاصلة منقوطة في قاعدة التخطيط

[ تقرير اللغة هاسكل 2010 ]

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

---

<- : مرتبط بـ lambda في تعبير do

[ تقرير اللغة هاسكل 2010 ]

f = do
  x <- getLine
  putStrLn x

---

<- : "حارس النمط"

[ تقرير اللغة هاسكل 2010 ]

f x
  | Just y <- g x = 

---

=> : السياق (اكتب قيد الفئة)

[ تقرير اللغة هاسكل 2010 ]

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

---

? : "المعلمات الضمنية"

[ دليل مستخدم GHC ]

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

---

@ : "كنمط"

[ تقرير اللغة هاسكل 2010 ]

f s @ (x : xs) = 

---

@ : "اكتب التطبيق"

[ دليل مستخدم GHC ]

f = read @ Int 

---

@ : "اكتب التجريد"

[ دليل مستخدم GHC ]

 class C @ k a where 

---

[] : "قائمة فارغة" (لا شيء)

[ تقرير اللغة هاسكل 2010 ] [ تقرير اللغة هاسكل 2010 ]

 null [] = True
null _  = False 

---

[ .. ] : "المتتابعة الحسابية"

[ تقرير اللغة هاسكل 2010 ]

xs = [ 1 .. 10 ]

---

[ | <- ] : "فهم القائمة"

[ تقرير اللغة هاسكل 2010 ]

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

---

[| |] , [e| |] ، [d| |] ، [t| |] , [p| |] : بناء جملة اقتباس قالب هاسكل (التعبير والإعلان والنوع والنمط)

[ دليل مستخدم GHC ]

add1 x = [ | x + 1 | ]

---

[varid| |] : قالب بناء جملة شبه الاقتباس في هاسكل

[ دليل مستخدم GHC ]

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

---

[|| ||] : بناء جملة اقتباس القالب المكتوب الخاص بـ Haskell

[ دليل مستخدم GHC ]

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

---

_ : "نمط البدل"

[ تقرير اللغة هاسكل 2010 ]

f Red  =
f Blue =
f _    = 

---

_ : المعرفات غير المستخدمة التي تبدأ بشرطة سفلية

[ دليل مستخدم GHC ] [ تقرير لغة هاسكل 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 

---

-> : "تجريد لامدا"

[ تقرير اللغة هاسكل 2010 ]

add1 =  x -> x + 1 

---

case -> : "LambdaCase"

[ دليل مستخدم GHC ]

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

---

` ` : "تدوين infix" - معرف محاط بعلامات نطق خطيرة

[ تقرير اللغة هاسكل 2010 ]

div10 x = x `div` 10 

---

{ } : قوس في قاعدة التخطيط

[ تقرير اللغة هاسكل 2010 ]

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

---

{ } : "بناء جملة السجل" (أنواع البيانات ذات تسميات الحقول)

[ تقرير اللغة هاسكل 2010 ]

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

---

{..} : "سجل حرف البدل"

[ دليل مستخدم GHC ]

f Vec { .. } = 

---

{-# #-} : "براغما المترجم"

[ تقرير لغة هاسكل 2010 ] [ دليل مستخدم GHC ] [ دليل مستخدم GHC ]

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

{-# INLINE fmap #-}

---

| : "الحارس المنطقي" (حارس)

[ تقرير اللغة هاسكل 2010 ]

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

---

| : "متعددة الطرق"

[ دليل مستخدم GHC ]

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

---

| : إعلان نوع البيانات الجبرية

[ تقرير اللغة هاسكل 2010 ]

 data Maybe a = Nothing | Just a 

---

| : "التبعية الوظيفية"

[ دليل مستخدم GHC ]

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

---

~ : "نمط لا يقبل الجدل"

[ تقرير اللغة هاسكل 2010 ]

f1 ~ (as,bs) = 

~ : نمط كسول عند تمكين Strict

[ دليل مستخدم GHC ]

{-# LANGUAGE Strict #-}

f ~ x = 

---

~ : علم الكسل

[ دليل مستخدم GHC ]

 data T = C ~ a 

---

~ : "قيد المساواة"

[ دليل مستخدم GHC ]

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