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