Mehrere Funktionen von Haskell/GHC weisen eine geringe Google-Fähigkeit auf. Weil einige von ihnen aus Symbolen bestehen :)
Bei dieser Seite handelt es sich um eine Referenzsammlung zur Unterstützung der Suche.
Wenn Sie nach Funktionssymbolen wie suchen möchten .
, $
, >>=
, <*>
, ... können Sie die folgenden Suchmaschinen verwenden:
Viel Spaß beim Haskelling!
!
: „Strenge-Flagge“[Haskell 2010 Sprachbericht]
data Vec = Vec ! Int
!
: „Knallmuster“[ GHC-Benutzerhandbuch ]
f1 ! x =
#
: „MagicHash“[ GHC-Benutzerhandbuch ]
data Int = I # Int #
#
: „ExtendedLiterals“[ GHC-Benutzerhandbuch ]
f x = case x of
123 # Int8 -> False
_ -> True
#
: „Überladene Etiketten“[ GHC-Benutzerhandbuch ]
example = # x ( Point 1 2 )
#
: Direktive des C-Präprozessors[ GHC-Benutzerhandbuch ]
#include "MachDeps.h"
#
: Operator des hsc2hs-Befehls[ GHC-Benutzerhandbuch ]
flag = # const VER_MAJORVERSION
$( )
: Vorlage für die Spleißsyntax von Haskell[ GHC-Benutzerhandbuch ]
two = $ (add1 1 )
$$( )
: Typisierte Vorlage Haskells Spleißsyntax[ GHC-Benutzerhandbuch ]
two = $$ (add1 1 )
%1 ->
: „Lineare Typen“[ GHC-Benutzerhandbuch ]
f :: a % 1 -> a
'
: Ein Bezeichner besteht aus einem Buchstaben, gefolgt von null oder mehr Buchstaben, Ziffern, Unterstrichen und einfachen Anführungszeichen[Haskell 2010 Sprachbericht]
xs' = f ys
'
: Heraufgestufte Konstruktoren haben ein Häkchen als Präfix '[ GHC-Benutzerhandbuch ]
type * = TYPE 'LiftedRep
'
''
: Zitatsyntax der Vorlage Haskell[ GHC-Benutzerhandbuch ]
makeLenses ''FooBar
()
: „Einheitstyp“[Sprachbericht Haskell 2010] [Sprachbericht Haskell 2010]
main :: IO ()
()
: „Einheitsausdruck“[Sprachbericht Haskell 2010] [Sprachbericht Haskell 2010]
return ()
( )
: „Abschnitt“ – eine praktische Syntax für die teilweise Anwendung[Haskell 2010 Sprachbericht]
add1 = ( 1 + )
(,)
: der Konstruktor für ein Tupel[Haskell 2010 Sprachbericht]
f x y = liftM2 (,) x y
(, xxx)
: „TupleSections“[ GHC-Benutzerhandbuch ]
f xs = fmap (, True ) xs
(# #)
: „Unboxed-Tupel“[ GHC-Benutzerhandbuch ]
f x y = ( # x + 1 , y - 1 # )
(# | | #)
: „Unboxed-Summe“[ GHC-Benutzerhandbuch ]
f :: ( # Int | Bool | Char # ) -> Int
f ( # x | | # ) = 1
f ( # | True | # ) = 2
f _ = 3
(..)
: Alle Namen exportieren[Haskell 2010 Sprachbericht]
module GHC.Arr (
Ix ( .. ),
(..)
: Alle Namen importieren[Haskell 2010 Sprachbericht]
import GHC.Types ( Bool ( .. ))
*
: die Art der gewöhnlichen Typen (Synonym für Type
und TYPE `LiftedRep
)[Haskell 2010 Language Report] [GHC-Benutzerhandbuch]
ghci > : kind Int
Int :: *
->
: Fallausdruck[Haskell 2010 Sprachbericht]
f x = case x of
Nothing -> False
Just _ -> True
->
: "Muster anzeigen"[ GHC-Benutzerhandbuch ]
size (view -> Unit ) = 1
size (view -> Arrow t1 t2) = size t1 + size t2
->
: „Funktionstyp“[Haskell 2010 Sprachbericht]
id :: a -> a
.
: Modulnamen sind eine durch Punkte getrennte Sequenz[Haskell 2010 Sprachbericht]
import Data.Maybe
import qualified Text.Read.Lex as L
lexP = lift L. lex
.
: „OverloadedRecordDot“[ GHC-Benutzerhandbuch ]
getResult c = c . result
getResults = map ( . result)
.
: „OverloadedRecordUpdate“ (experimentell)[ GHC-Benutzerhandbuch ]
setYearTaken c y = c{taken . year = y}
.
: universelle Quantifizierung[ GHC-Benutzerhandbuch ]
f :: forall a . a -> [ a ]
:
: „Listenkonstruktor“ (Nachteile)[Sprachbericht Haskell 2010] [Sprachbericht Haskell 2010] [Sprachbericht Haskell 2010]
f x xs = x : xs
:
: Ein Operatorsymbol, das mit einem Doppelpunkt beginnt, ist ein Konstruktor[Haskell 2010 Sprachbericht]
data NonEmpty a = a :| [a]
::
: "Signatur eingeben"[Haskell 2010 Sprachbericht]
id :: a -> a
id x = x
::
„expression type-signature“ (Typanmerkung)[Haskell 2010 Sprachbericht]
x = fromIntegral ( maxBound :: Int )
;
: Semikolon in der Layoutregel[Haskell 2010 Sprachbericht]
f x = let a = 1 ; b = 2
g y = exp2
in exp1
<-
: Lambda-gebunden im do-Ausdruck[Haskell 2010 Sprachbericht]
f = do
x <- getLine
putStrLn x
<-
: „Musterschutz“[Haskell 2010 Sprachbericht]
f x
| Just y <- g x =
=>
: Kontext (Typklasseneinschränkung)[Haskell 2010 Sprachbericht]
subtract :: ( Num a ) => a -> a -> a
subtract x y = y - x
?
: „ImplicitParams“[ GHC-Benutzerhandbuch ]
sort :: ( ? cmp :: a -> a -> Bool ) => [ a ] -> [ a ]
sort = sortBy ? cmp
@
: „als Muster“[Haskell 2010 Sprachbericht]
f s @ (x : xs) =
@
: „Anwendung eingeben“[ GHC-Benutzerhandbuch ]
f = read @ Int
@
: „Typabstraktion“[ GHC-Benutzerhandbuch ]
class C @ k a where
[]
: „leere Liste“ (null)[Sprachbericht Haskell 2010] [Sprachbericht Haskell 2010]
null [] = True
null _ = False
[ .. ]
: „arithmetische Folge“[Haskell 2010 Sprachbericht]
xs = [ 1 .. 10 ]
[ | <- ]
: „Listenverständnis“[Haskell 2010 Sprachbericht]
xs = [x ^ 2 | x <- [ 1 .. 10 ]]
[| |]
, [e| |]
, [d| |]
, [t| |]
, [p| |]
: Vorlage für die Zitatsyntax von Haskell (Ausdruck, Deklaration, Typ und Muster)[ GHC-Benutzerhandbuch ]
add1 x = [ | x + 1 | ]
[varid| |]
: Vorlage für die Quasi-Zitat-Syntax von Haskell[ GHC-Benutzerhandbuch ]
greet name = [ interpolate | Hello, #name! |]
[|| ||]
: Typisierte Vorlage Haskells Zitatsyntax[ GHC-Benutzerhandbuch ]
add1 x = [ || x + 1 || ]
_
: „Platzhaltermuster“[Haskell 2010 Sprachbericht]
f Red =
f Blue =
f _ =
_
: unbenutzte Bezeichner beginnend mit einem Unterstrich[GHC-Benutzerhandbuch] [Haskell 2010 Language Report]
_w = True -- No warning: _w starts with an underscore
_
: „typisiertes Loch“ (Ausdrucksebene)[ GHC-Benutzerhandbuch ]
sum xs = foldr _ 0 xs
_
: „Typ-Wildcard“ (Typebene)[ GHC-Benutzerhandbuch ]
not' :: Bool -> _
not' x = not x
_
: „Platzhalter für zusätzliche Einschränkungen“[ GHC-Benutzerhandbuch ]
arbitCs :: _ => a -> String
_
: „NumericUnderscores“[ GHC-Benutzerhandbuch ]
million = 1_000_000
->
: „Lambda-Abstraktion“[Haskell 2010 Sprachbericht]
add1 = x -> x + 1
case ->
: „LambdaCase“[ GHC-Benutzerhandbuch ]
f = case
Red -> 2
Blue -> 1
_ -> 0
` `
: „Infix-Notation“ – ein in gravierende Akzente eingeschlossener Bezeichner[Haskell 2010 Sprachbericht]
div10 x = x `div` 10
{ }
: Klammer in der Layoutregel[Haskell 2010 Sprachbericht]
f x = case x of { Nothing -> False ; Just _ -> True }
{ }
: „Datensatzsyntax“ (Datentypen mit Feldbezeichnungen)[Haskell 2010 Sprachbericht]
data MyPoint = Point { x :: Int , y :: Int }
{..}
: „Platzhalter aufzeichnen“[ GHC-Benutzerhandbuch ]
f Vec { .. } =
{-# #-}
: „Compiler-Pragma“[Haskell 2010 Language Report] [GHC-Benutzerhandbuch] [GHC-Benutzerhandbuch]
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE GADTs #-}
{-# INLINE fmap #-}
|
: „boolescher Wächter“ (Wächter)[Haskell 2010 Sprachbericht]
clip255 x
| x > 255 = 255
| otherwise = x
|
: „MultiWayIf“[ GHC-Benutzerhandbuch ]
if | x == " :q " -> quit
| isError x -> errorExit x
| otherwise -> execCommand x
|
: algebraische Datentypdeklaration[Haskell 2010 Sprachbericht]
data Maybe a = Nothing | Just a
|
: „funktionale Abhängigkeit“[ GHC-Benutzerhandbuch ]
class Foo a b c | a b -> c where
~
: „unwiderlegbares Muster“[Haskell 2010 Sprachbericht]
f1 ~ (as,bs) =
~
: Lazy-Muster, wenn Strict aktiviert ist[ GHC-Benutzerhandbuch ]
{-# LANGUAGE Strict #-}
f ~ x =
~
: Faulheitsflagge[ GHC-Benutzerhandbuch ]
data T = C ~ a
~
: „Gleichheitsbeschränkung“[ GHC-Benutzerhandbuch ]
class ( F a ~ b ) => C a b where