Data.Diverse.Many

Many type

data Many xs

Isomorphism

class IsMany t xs a

fromMany'

toMany'

_Many

_Many'

Construction

nil

single

prefix

(./)

postfix

(\.)

append

(/./)

Simple queries

front

back

aft

fore

Single field

Getter for single field

fetch

fetchL

fetchN

Setter for single field

replace

replace'

replaceL

replaceL'

replaceN

replaceN'

Lens for a single field

item

item'

itemL

itemL'

itemN

itemN'

Multiple fields

Getter for multiple fields

type Select smaller larger

select

selectL

type SelectN ns smaller larger

selectN

Setter for multiple fields

type Amend smaller larger

amend

type Amend' smaller smaller' larger zipped

amend'

amendL

amendL'

type AmendN ns smaller larger

amendN

type AmendN' ns smaller smaller' larger zipped

amendN'

Lens for multiple fields

project

project'

projectL

projectL'

projectN

projectN'

Destruction

By type

forMany

collect

By Nat index offset

forManyN

collectN