Generics.MultiRec.Base

Structure types

data I xi r ix

data K a r ix

data U r ix

data (f :+: g) r ix

data (f :*: g) r ix

data (f :>: ix) r ix'

unTag

data (f :.: g) r ix

data C c f r ix

unC

Constructor information

Unlifted variants

data I0 a

data K0 a b

Indexed families

type family PF (phi :: * -> *) :: (* -> *) -> * -> *

class El phi ix

class Fam phi

index

Equality for indexed families

class EqS phi