Merge pull request #11 from ArthurClune/covarianttypo
Correct two typos
This commit is contained in:
commit
5dc3dbfb69
1 changed files with 2 additions and 2 deletions
|
@ -214,7 +214,7 @@ before, which hopefully isn't too surprising.
|
||||||
|
|
||||||
Let's say we want to print out all of the numbers from 1 to 10, where the
|
Let's say we want to print out all of the numbers from 1 to 10, where the
|
||||||
English word for that number is more than three characters long. Using a simple
|
English word for that number is more than three characters long. Using a simple
|
||||||
helper function `english :: Int -> String` and `filter, this is pretty simple:
|
helper function `english :: Int -> String` and `filter`, this is pretty simple:
|
||||||
|
|
||||||
```
|
```
|
||||||
greaterThanThree :: Int -> Bool
|
greaterThanThree :: Int -> Bool
|
||||||
|
@ -379,7 +379,7 @@ set of terms.
|
||||||
Let's look at some basic covariant and contravariant data types:
|
Let's look at some basic covariant and contravariant data types:
|
||||||
|
|
||||||
```haskell
|
```haskell
|
||||||
data WithInt a = UsesInt (Int -> a)
|
data WithInt a = WithInt (Int -> a)
|
||||||
data MakeInt a = MakeInt (a -> Int)
|
data MakeInt a = MakeInt (a -> Int)
|
||||||
```
|
```
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue