Generics.OneLiner

Producing values

create

createA

ctorIndex

Traversing values

gmap

gfoldMap

gtraverse

Combining values

gzipWith

mzipWith

zipWithA

Consuming values

consume

Single constructor functions

op0

op1

op2

Generic programming with profunctors

class GenericProfunctor p

generic

Types

type ADT t

type ADTRecord t

type ADTNonEmpty t

type CtorCount t

type Constraints t c

data For c