Generics.RepLib.RepAux

Casting operations

eqR

cast

castR

gcast

gcastR

Comparison

compareR

Operations for heterogeneous lists

findCon

data Val ctx a

foldl_l

foldr_l

map_l

mapQ_l

mapM_l

fromTup

fromTupM

toList

SYB style operations (Rep)

type Traversal

type Query r

type MapM m

gmapT

gmapQ

gmapM

SYB style operations (Rep1)

type Traversal1 ctx

type Query1 ctx r

type MapM1 ctx m

gmapT1

gmapQ1

gmapM1

SYB Reloaded

data Typed a

data Spine a

toSpine

fromSpine