Tip.Prelude

Booleans

otherwise

(&&)

(||)

not

Nat functions

data Nat

even

double

half

(+)

(*)

(^)

Truncated subtraction

(-)

(<)

(<=)

(>)

(>=)

(==)

(/=)

max

min

List functions on nats

take

drop

splitAt

length

delete

deleteAll

count

nub

index

elem

isPermutation

sorted

ordered

uniqsorted

unique

insert

isort

eqList

sum

product

lookup

Int functions

zeq

zne

zle

zlt

zgt

zge

zplus

zmult

zminus

zmax

zmin

List functions on Ints

ztake

zdrop

zsplitAt

zlength

zdelete

zdeleteAll

zcount

zzcount

znub

zindex

zelem

zisPermutation

zsorted

zordered

zuniqsorted

zunique

zinsert

zisort

zeqList

zsum

zproduct

zlookup

Polymorphic lists functions

null

(++)

reverse

zip

filter

map

concat

concatMap

foldl

foldr

Lists and booleans

and

or

all

any

takeWhile

dropWhile

id

const

(.)

flip

($)

maybe

either

fst

snd

data Bool

data Maybe a

data Either a b

data Int