Data.Diverse.Many

Many type

data Many xs

Isomorphism

class IsMany t xs a

fromMany'

toMany'

_Many

_Many'

Construction

nul

single

prefix

(./)

postfix

(\.)

append

(/./)

Simple queries

front

back

aft

fore

Single field

Getter for single field

fetch

(.^.)

fetchN

Setter for single field

replace

(.~.)

replaceN

Lens for a single field

item

itemN

Multiple fields

Getter for multiple fields

type Narrow smaller larger

narrow

(\^.)

type NarrowN ns smaller larger

narrowN

Setter for multiple fields

type Amend smaller larger

amend

(\~.)

type AmendN ns smaller larger

amendN

Lens for multiple fields

project

projectN

Destruction

By type

data Via c xs r

via

forMany

collect

By Nat index offset

data ViaN c n xs r

viaN

forManyN

collectN