Data.Type.List

Documentation

type Reverse as = Reverse' as '[]

Reverse a type level list.

type family Reverse' (as :: [k]) (acc :: [k]) :: [k] where ...

Equations

Reverse' '[] acc = acc

Reverse' (a : as) acc = Reverse' as (a : acc)