Portability | GHC |
---|---|
Stability | experimental |
Maintainer | emw4@rice.edu |
The type-level constructors of type lists.
Documentation
data Nil
data r :> a
Typeable2 :> | |
(NuElimList args, NuElim a) => NuElimList (:> args a) |
type family r1 :++: r2
Portability | GHC |
---|---|
Stability | experimental |
Maintainer | emw4@rice.edu |
The type-level constructors of type lists.
data Nil
data r :> a
Typeable2 :> | |
(NuElimList args, NuElim a) => NuElimList (:> args a) |
type family r1 :++: r2