Generics.Regular.Base

Functorial structural representation types

data K a r

data I r

data U r

data (f :+: g) r

data (f :*: g) r

data C c f r

data S l f r

class Constructor c

data Fixity

data Associativity

class Selector s

Fixed-point type

data Fix f

Type class capturing the structural representation of a type and the corresponding embedding-projection pairs

class Regular a

type family PF a :: * -> *