Generics.Pointless.Examples.Examples

Integers

one

Addition

add

addAnaPW

addAna

type From a

addHylo

addAccum

addApoPW

addApo

Product

prod

prodHylo

'Greater than' comparison

gt

gtHylo

Factorial

fact

factPF

factPF'

factHylo

factPara

factZygo

Fibonnaci

fib

fibPF

fibPF'

type BSTree

fibHylo

fibHisto

fibDyna

Binary Partitioning

bp

type BTree

bpHylo

bpDyna

Average

average

averageCata

Lists

Singleton list.

wrap

wrapPF

Tail

tail

tailPF

tailCata

tailPara

Length

length

lengthPF

lengthPF'

lengthHylo

lengthAna

lengthCata

Filtering

filter

filterCata

Generation

repeatAna

replicateAna

downtoAna

insertApo

insertPara

snoc

snocApo

Extraction

bubble

takeAna

Partition

partition

partitionHylo

Transformations

isum

fisum

data Some a

neCons

isumsAccum

isumsAna

mapCata

reverseCata

reverseAccum

reverseAccum'

reverseHylo

qsort

bsort

isort

msplit

msort

hsort

hsplit

malcolm

malcolmAna

malcolmAna'

Zipping

zipAna

Subsequencing

subsequences

Concatenation

cat

catCata

type NeList a b

catHylo

concat

concatCata

merge

Summation

sumCata

sumAccum

Multiplication

mult

multCata

Predicates

sorted

Edit distance

editdist

type EditDist a

type EditDistL a

editdistHylo

editDistDyna

Streams

type Stream a

headS

tailS

generate

idStream

mapStream

malcolmS

malcolmSAna

malcolmSAna'

inits

exchFutu

Binary Tree

data Tree a

nleaves

nnodes

genTree

preTree

postTree

Leaf Trees

data LTree a

leaves

genLTree

height

Rose Trees

data Rose a

preRose

postRose

genRose