Copyright | Richard Eisenberg |
---|---|
License | MIT |
Maintainer | rae@richarde.dev |
Stability | experimental |
Safe Haskell | Safe-Inferred |
Language | GHC2021 |
Provides utilities for manipulating a TypeRep
of compile-time lists.
Synopsis
- typeRepList :: forall {k} (xs :: [k]). TypeRep xs -> NP TypeRep xs
- typeRepListKind :: TypeRep @[k] xs -> TypeRep k