Data.Type.Set

This module defines some helpful set-like functions for working with type-level lists.

Documentation

type family Nub t where ...

Remove adjacent equal elements from a type-level list

Equations

Nub '[] = '[]

Nub '[e] = '[e]

Nub (e ': (e ': s)) = Nub (e ': s)

Nub (e ': (f ': s)) = e ': Nub (f ': s)

class Member a s

Determine whether type a is a member of type-level list s

Instances

Member a2 s => Member (a2 :: k) (b ': s :: [a1])

Defined in Data.Type.Set

Member (a2 :: a1) (a2 ': s :: [a1])

Defined in Data.Type.Set