typelevel-1.2.3: Useful type level operations (type families and related operators).

Safe HaskellNone
LanguageHaskell2010

Type.Relation

Documentation

type family Super (a :: k) :: [k] Source #

type SemiSuper a = a ': Super a Source #