procedure (head xs) → (Maybe/c any/c)

xs : (listof any/c)

> (head (list))

(Nothing)

> (head (list 1))

(Just 1)

> (head (list "hello" "world"))

(Just "hello")

procedure (concat xs ys) → (listof a)

xs : (listof a)

ys : (listof a)

> (concat (list) (list))

'()

> (const (list 1 2 3) (list))

'(1 2 3)

> (const (list 2 3) (list 3 2))

'(2 3)

procedure (zip-with f as bs) → (listof c)

f : (-> (a any/c) (b any/c) (c any/c))

as : (listof a)

bs : (listof b)

procedure (zip xs ys) → (listof (cons a b))

xs : (listof a)

ys : (listof b)

> (zip '(1 2 3 4 5) '(a b c))

'((1 . a) (2 . b) (3 . c))

procedure (foldl f acc xs) → any/c

f : (-> any/c any/c any/c)

acc : any/c

xs : list?

> (foldl + 0 (list 1 2 3 4))

10

> (foldl cons (list) (list 1 2 3 4))

'(4 3 2 1)

procedure (foldr f acc xs) → any/c

f : (-> any/c any/c any/c)

acc : any/c

xs : list?

> (foldr + 0 (list 1 2 3 4))

10

> (foldr cons (list) (list 1 2 3 4))

'(1 2 3 4)

procedure (map f xs) → list?

f : (-> any/c any/c)

xs : list?

> (map add1 (list))

'()

> (map add1 (list 1 2))

'(2 3)

procedure (filter f xs) → (listof a)

f : (-> a boolean?)

xs : (listof a)

(reject f xs) → (listof a)

f : (-> a boolean?)

xs : (listof a)

> (filter even? (list 1 2 3 4 5 6))

'(2 4 6)

> (reject even? (list 1 2 3 4 5 6))

'(1 3 5)

procedure (traverse f xs) → (Maybe/c (listof b))

f : (-> a (Maybe/c b))

xs : (listof a)

procedure (filter-map f xs) → (listof b)

f : (-> a (Maybe/c b))

xs : (listof a)

> (filter-map (const nothing) (list 1 2 3))

'()

> (filter-map Just (list 1 2 3))

'(1 2 3)

> (define (f x) (if (even? x) (Just x) nothing))

> (filter-map f (list 1 2 3 4 5 6))

'(2 4 6)