type-reflection-1.0: Support functions to work with type representations.
CopyrightRichard Eisenberg
LicenseMIT
Maintainerrae@richarde.dev
Stabilityexperimental
Safe HaskellSafe-Inferred
LanguageGHC2021

Type.Reflection.List

Description

Provides utilities for manipulating a TypeRep of compile-time lists.

Synopsis

Documentation

typeRepList :: forall {k} (xs :: [k]). TypeRep xs -> NP TypeRep xs Source #

Turn a representation of a list into a list of representations.

typeRepListKind :: TypeRep @[k] xs -> TypeRep k Source #

Given a representation of a list, get a representation of the kind of the list's elements.