Data.Diverse.Many.Internal

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

replace'

replaceN

replaceN'

Lens for a single field

item

item'

itemN

itemN'

Multiple fields

Getter for multiple fields

type Select smaller larger

select

type SelectN ns smaller larger

selectN

Setter for multiple fields

type Amend smaller larger

amend

type Amend' smaller smaller' larger

amend'

type AmendN ns smaller larger

amendN

type AmendN' ns smaller smaller' larger

amendN'

Lens for multiple fields

project

project'

projectN

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