Beberapa fitur Haskell/GHC memiliki kemampuan google yang rendah. Karena beberapa di antaranya terdiri dari simbol :)
Halaman ini merupakan kumpulan referensi untuk mendukung pencarian mereka.
Jika Anda ingin mencari simbol fungsi seperti .
, $
, >>=
, <*>
, ..., Anda dapat menggunakan mesin pencari berikut:
Selamat Haskelling!
!
: "bendera ketat"[Laporan Bahasa Haskell 2010]
data Vec = Vec ! Int
!
: "pola bang"[Panduan Pengguna GHC]
f1 ! x =
#
: "Hash Ajaib"[Panduan Pengguna GHC]
data Int = I # Int #
#
: "Literal yang Diperluas"[Panduan Pengguna GHC]
f x = case x of
123 # Int8 -> False
_ -> True
#
: "Label Kelebihan Beban"[Panduan Pengguna GHC]
example = # x ( Point 1 2 )
#
: C arahan pra-prosesor[Panduan Pengguna GHC]
#include "MachDeps.h"
#
: operator perintah hsc2hs[Panduan Pengguna GHC]
flag = # const VER_MAJORVERSION
$( )
: Sintaks sambungan Templat Haskell[Panduan Pengguna GHC]
two = $ (add1 1 )
$$( )
: Sintaks sambungan Templat Haskell yang diketik[Panduan Pengguna GHC]
two = $$ (add1 1 )
%1 ->
: "Tipe linier"[Panduan Pengguna GHC]
f :: a % 1 -> a
'
: pengenal terdiri dari huruf yang diikuti oleh nol atau lebih huruf, angka, garis bawah, dan tanda kutip tunggal[Laporan Bahasa Haskell 2010]
xs' = f ys
'
: konstruktor yang dipromosikan diawali dengan tanda centang '[Panduan Pengguna GHC]
type * = TYPE 'LiftedRep
'
''
: Sintaks kutipan Templat Haskell[Panduan Pengguna GHC]
makeLenses ''FooBar
()
: "tipe satuan"[Laporan Bahasa Haskell 2010] [Laporan Bahasa Haskell 2010]
main :: IO ()
()
: "ekspresi satuan"[Laporan Bahasa Haskell 2010] [Laporan Bahasa Haskell 2010]
return ()
( )
: "bagian" - sintaks yang mudah digunakan untuk penerapan parsial[Laporan Bahasa Haskell 2010]
add1 = ( 1 + )
(,)
: konstruktor untuk tupel[Laporan Bahasa Haskell 2010]
f x y = liftM2 (,) x y
(, xxx)
: "TupleBagian"[Panduan Pengguna GHC]
f xs = fmap (, True ) xs
(# #)
: "tupel tanpa kotak"[Panduan Pengguna GHC]
f x y = ( # x + 1 , y - 1 # )
(# | | #)
: "jumlah yang tidak dimasukkan ke dalam kotak"[Panduan Pengguna GHC]
f :: ( # Int | Bool | Char # ) -> Int
f ( # x | | # ) = 1
f ( # | True | # ) = 2
f _ = 3
(..)
: mengekspor semua namanya[Laporan Bahasa Haskell 2010]
module GHC.Arr (
Ix ( .. ),
(..)
: impor semua namanya[Laporan Bahasa Haskell 2010]
import GHC.Types ( Bool ( .. ))
*
: jenis tipe biasa (sinonim dari Type
dan TYPE `LiftedRep
)[Laporan Bahasa Haskell 2010] [Panduan Pengguna GHC]
ghci > : kind Int
Int :: *
->
: ekspresi kasus[Laporan Bahasa Haskell 2010]
f x = case x of
Nothing -> False
Just _ -> True
->
: "pola tampilan"[Panduan Pengguna GHC]
size (view -> Unit ) = 1
size (view -> Arrow t1 t2) = size t1 + size t2
->
: "tipe fungsi"[Laporan Bahasa Haskell 2010]
id :: a -> a
.
: nama modul adalah urutan yang dipisahkan titik[Laporan Bahasa Haskell 2010]
import Data.Maybe
import qualified Text.Read.Lex as L
lexP = lift L. lex
.
: "RecordDot Kelebihan Beban"[Panduan Pengguna GHC]
getResult c = c . result
getResults = map ( . result)
.
: "OverloadedRecordUpdate" (eksperimental)[Panduan Pengguna GHC]
setYearTaken c y = c{taken . year = y}
.
: kuantifikasi universal[Panduan Pengguna GHC]
f :: forall a . a -> [ a ]
:
: "konstruktor daftar" (kontra)[Laporan Bahasa Haskell 2010] [Laporan Bahasa Haskell 2010] [Laporan Bahasa Haskell 2010]
f x xs = x : xs
:
: simbol operator yang dimulai dengan titik dua adalah konstruktor[Laporan Bahasa Haskell 2010]
data NonEmpty a = a :| [a]
::
: "ketikkan tanda tangan"[Laporan Bahasa Haskell 2010]
id :: a -> a
id x = x
::
: "ekspresi tipe-tanda tangan" (ketik anotasi)[Laporan Bahasa Haskell 2010]
x = fromIntegral ( maxBound :: Int )
;
: titik koma dalam aturan tata letak[Laporan Bahasa Haskell 2010]
f x = let a = 1 ; b = 2
g y = exp2
in exp1
<-
: terikat lambda dalam ekspresi do[Laporan Bahasa Haskell 2010]
f = do
x <- getLine
putStrLn x
<-
: "penjaga pola"[Laporan Bahasa Haskell 2010]
f x
| Just y <- g x =
=>
: konteks (tipe batasan kelas)[Laporan Bahasa Haskell 2010]
subtract :: ( Num a ) => a -> a -> a
subtract x y = y - x
?
: "Params Implisit"[Panduan Pengguna GHC]
sort :: ( ? cmp :: a -> a -> Bool ) => [ a ] -> [ a ]
sort = sortBy ? cmp
@
: "sebagai pola"[Laporan Bahasa Haskell 2010]
f s @ (x : xs) =
@
: "ketik aplikasi"[Panduan Pengguna GHC]
f = read @ Int
@
: "ketik abstraksi"[Panduan Pengguna GHC]
class C @ k a where
[]
: "daftar kosong" (nihil)[Laporan Bahasa Haskell 2010] [Laporan Bahasa Haskell 2010]
null [] = True
null _ = False
[ .. ]
: "deretan aritmatika"[Laporan Bahasa Haskell 2010]
xs = [ 1 .. 10 ]
[ | <- ]
: "pemahaman daftar"[Laporan Bahasa Haskell 2010]
xs = [x ^ 2 | x <- [ 1 .. 10 ]]
[| |]
, [e| |]
, [d| |]
, [t| |]
, [p| |]
: Sintaks kutipan Templat Haskell (ekspresi, deklarasi, tipe, dan pola)[Panduan Pengguna GHC]
add1 x = [ | x + 1 | ]
[varid| |]
: Sintaks kuasi-kutipan Templat Haskell[Panduan Pengguna GHC]
greet name = [ interpolate | Hello, #name! |]
[|| ||]
: Ketikkan sintaks kutipan Haskell Template[Panduan Pengguna GHC]
add1 x = [ || x + 1 || ]
_
: "pola karakter pengganti"[Laporan Bahasa Haskell 2010]
f Red =
f Blue =
f _ =
_
: pengidentifikasi yang tidak digunakan dimulai dengan garis bawah[Panduan Pengguna GHC] [Laporan Bahasa Haskell 2010]
_w = True -- No warning: _w starts with an underscore
_
: "lubang yang diketik" (tingkat ekspresi)[Panduan Pengguna GHC]
sum xs = foldr _ 0 xs
_
: "ketik wildcard" (tingkat tipe)[Panduan Pengguna GHC]
not' :: Bool -> _
not' x = not x
_
: "karakter pengganti batasan ekstra"[Panduan Pengguna GHC]
arbitCs :: _ => a -> String
_
: "Garis Bawah Numerik"[Panduan Pengguna GHC]
million = 1_000_000
->
: "abstraksi lambda"[Laporan Bahasa Haskell 2010]
add1 = x -> x + 1
case ->
: "Kasus Lambda"[Panduan Pengguna GHC]
f = case
Red -> 2
Blue -> 1
_ -> 0
` `
: "notasi infiks" - pengenal yang diapit aksen berat[Laporan Bahasa Haskell 2010]
div10 x = x `div` 10
{ }
: kurung kurawal dalam aturan tata letak[Laporan Bahasa Haskell 2010]
f x = case x of { Nothing -> False ; Just _ -> True }
{ }
: "sintaksis rekaman" (tipe data dengan label kolom)[Laporan Bahasa Haskell 2010]
data MyPoint = Point { x :: Int , y :: Int }
{..}
: "rekam wildcard"[Panduan Pengguna GHC]
f Vec { .. } =
{-# #-}
: "kompiler pragma"[Laporan Bahasa Haskell 2010] [Panduan Pengguna GHC] [Panduan Pengguna GHC]
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE GADTs #-}
{-# INLINE fmap #-}
|
: "penjaga boolean" (penjaga)[Laporan Bahasa Haskell 2010]
clip255 x
| x > 255 = 255
| otherwise = x
|
: "MultiWayIf"[Panduan Pengguna GHC]
if | x == " :q " -> quit
| isError x -> errorExit x
| otherwise -> execCommand x
|
: deklarasi tipe data aljabar[Laporan Bahasa Haskell 2010]
data Maybe a = Nothing | Just a
|
: "ketergantungan fungsional"[Panduan Pengguna GHC]
class Foo a b c | a b -> c where
~
: "pola yang tak terbantahkan"[Laporan Bahasa Haskell 2010]
f1 ~ (as,bs) =
~
: pola malas ketika Ketat diaktifkan[Panduan Pengguna GHC]
{-# LANGUAGE Strict #-}
f ~ x =
~
: bendera kemalasan[Panduan Pengguna GHC]
data T = C ~ a
~
: "kendala kesetaraan"[Panduan Pengguna GHC]
class ( F a ~ b ) => C a b where