Haskell Operators and other Lexical Notation Flashcards

1
Q

::

A

Type specification operator, “has type”

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

|

A

“such that”

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

->

A

Function type-mapping operator. “takes”

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

=>

A

Context inheritance from class

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

.

A

Function composition operator or name operator

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

=

A

Type- or value-naming operator

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

> >

A

Monad sequencing operator

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

> > =

A

Monad sequencing operator with value passing function is pronounced as bind.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

> @>

A

Object composition operator (monads)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

@

A

“Read As” in pattern matching

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

\

A

List-difference operator

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q
A

List comprehension generator.

Single assignment operator in do-constr

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

/=

A

Not-equal operator

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

\

A

Lambda operator

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

What does the symbol mean?

A

infix for fmap

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

What does the symbol do?

A

applys a function wrapped in a context to a value wrapped in a context: