Generics.OneLiner

Producing values

create

createA

ctorIndex

create1

createA1

ctorIndex1

Traversing values

gmap

gfoldMap

gtraverse

gmap1

gfoldMap1

gtraverse1

Combining values

mzipWith

zipWithA

mzipWith1

zipWithA1

Consuming values

consume

consume1

Functions for records

nullaryOp

unaryOp

binaryOp

algebra

dialgebra

gcotraverse1

Generic programming with profunctors

class GenericRecordProfunctor p

record

record1

class GenericNonEmptyProfunctor p

nonEmpty

nonEmpty1

class GenericProfunctor p

generic

generic1

Types

type ADT t

type ADTNonEmpty t

type ADTRecord t

type Constraints t c

type ADT1 t

type ADTNonEmpty1 t

type ADTRecord1 t

type Constraints1 t c

data For c

class AnyType a