Generics.Putlenses.Examples.Examples

Generics.Putlenses.Examples.Examples

Lists

Constructor/destructor putlenses for lists

example of automatically deriving constructor/destructor putlenses for binary trees

data Tree a

List concatenation

Integers

Naturals

data Nat

List length

exLengthNatPut1

exLengthNatPut2

exLengthNatPut3

List lookup

List summation

Replicate

exReplicatePut1

exReplicatePut2

replicateListPut

recoverzerosPut

exReplicateListPut1

exReplicateListPut2

Halve

Sorting

catPutNonEmptyRight

Exception handling

appendWithSepPut

Maximum segment sum

type Pos

lookupIntMapPut