หน้าแรก>การเขียนโปรแกรมที่เกี่ยวข้อง>ซอร์สโค้ดอื่น ๆ
ดาวน์โหลด

สูตรการค้นหาสัญลักษณ์ Haskell/GHC

คุณสมบัติหลายประการของ Haskell/GHC มีความสามารถในการใช้งาน Google ต่ำ เพราะบางอันก็ประกอบด้วยสัญลักษณ์ :)
หน้านี้เป็นคอลเลกชันอ้างอิงเพื่อรองรับการค้นหา

หากคุณต้องการค้นหาสัญลักษณ์ฟังก์ชันเช่น . , $ , >>= , <*> , ... คุณสามารถใช้เครื่องมือค้นหาต่อไปนี้:

  • ค้นหา Hoogle บน Stackage
  • Hoogle บน Haskell.org

ขอให้มีความสุข!

! : "ธงความเข้มงวด"

[ รายงานภาษา 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 ()

( ) : "section" - ไวยากรณ์ที่สะดวกสำหรับแอปพลิเคชันบางส่วน

[ รายงานภาษา 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

<- : lambda-bound ในการแสดงออก

[ รายงานภาษา 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

_ : "type wildcard" (ระดับประเภท)

[ คู่มือผู้ใช้ GHC ] 

 not' :: Bool -> _
not' x = not x

_ : "ไวด์การ์ดที่มีข้อจำกัดพิเศษ"

[ คู่มือผู้ใช้ GHC ] 

 arbitCs :: _ => a -> String

_ : "ขีดล่างตัวเลข"

[ คู่มือผู้ใช้ GHC ] 

million = 1_000_000

-> : "นามธรรมแลมบ์ดา"

[ รายงานภาษา Haskell 2010 ] 

add1 =  x -> x + 1

case -> : "แลมบ์ดาเคส"

[ คู่มือผู้ใช้ GHC ] 

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

` ` : "infix notation" - ตัวระบุที่อยู่ในสำเนียงที่หนักแน่น

[ รายงานภาษา 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 { .. } =

{-# #-} : "คอมไพเลอร์ Pragma"

[ รายงานภาษา Haskell 2010 ] [ คู่มือผู้ใช้ GHC ] [ คู่มือผู้ใช้ GHC ] 

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

{-# INLINE fmap #-}

| : "ยามบูลีน" (ยาม)

[ รายงานภาษา Haskell 2010 ] 

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

| : "MultiWayIf"

[ คู่มือผู้ใช้ 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
ขยาย
ข้อมูลเพิ่มเติม
แอปที่เกี่ยวข้อง
แนะนำสำหรับคุณ
ข้อมูลที่เกี่ยวข้อง ทั้งหมด