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

Safe HaskellNone
LanguageHaskell2010

Type.Wrapped

Documentation

type family Unwrapped (a :: k) :: l Source #

Instances

type Unwrapped * [k] (Set k a) Source # 
type Unwrapped * [k] (Set k a) = a