Data.Diverse.Many.Internal

Many type

data Many xs

Isomorphism

class IsMany t xs a

fromMany'

toMany'

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'

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'

Destruction

By type

forMany

collect

By Nat index offset

forManyN

collectN