Data.Type.Set

data Set n

type Union s t

type Unionable s t

union

quicksort

append

type family Sort (xs :: [k]) :: [k] where ...

class Sortable xs

type family (x :: [k]) :++ (y :: [k]) :: [k] where ...

class Split s t st

type family Cmp (a :: k) (b :: k) :: Ordering

type family Filter (f :: Flag) (p :: k) (xs :: [k]) :: [k] where ...

data Flag

type family Nub t where ...

class Nubable t

type AsSet s

asSet

type IsSet s

class Subset s t

type family Delete elem set where ...

data Proxy p