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