Generics.SOP
class Generic a
type Rep a
type IsProductType a xs
type IsEnumType a
type IsWrappedType a x
type IsNewtype a x
data NP
data NS
data SOP f xss
data POP f xss
data DatatypeInfo
data ConstructorInfo
data FieldInfo
class HasDatatypeInfo a
type DatatypeName
type ModuleName
type ConstructorName
type FieldName
data Associativity
type Fixity
class HPure h
type Projection f xs
data (f -.-> g) a
class HAp h
type Injection f xs
class HApInjs h
class HIndex h
All
c
type family CollapseTo (h :: (k -> *) -> l -> *) (x :: *) :: *
class HCollapse h
class HSequence h
class HExpand h
class HTrans h1 h2
data K a b
data I a
data (f :.: g) p
class All f xs
class All2 f xss
class AllZip c xs ys
class AllZip2 f xss yss
type family AllN (h :: (k -> *) -> l -> *) (c :: k -> Constraint) :: l -> Constraint
type family AllZipN (h :: (k -> *) -> l -> *) (c :: k1 -> k2 -> Constraint) :: l1 -> l2 -> Constraint
class Compose f g x
class And f g x
class Top x
class LiftedCoercible f g x y
type family SameShapeAs (xs :: [a]) (ys :: [b]) :: Constraint where ...
data SList
class SListI xs
type SListI2
type Sing
class SingI xs
data Shape
data Proxy k t