Type.Set

Documentation

data Set a

Instances

type Insert * k a (Set k ((:) k s ss)) = ($) * [k] (Set k) (If [k] ((==) k a s) ((:) k s ss) ((:) k s (Unwrapped [k] * (Insert * k a (Set k ss)))))

type Insert * k a (Set k1 ([] k1)) = Set k ((:) k a ([] k))

type Index k * a (Set k1 s) = Index k [k1] a s

type Concat * (Set k set) (Set k1 ((:) k1 s ss)) = If * (In k1 [k] s set) (Concat * (Set k set) (Set k1 ss)) (Concat * (Insert * k1 s (Set k set)) (Set k1 ss))

type Concat * (Set k set) (Set k1 ([] k1)) = Set k set

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

type family AsSet a

Instances

type AsSet [k] lst = AsSet' [k] (Reverse [k] lst)

type family AsSet' a

Instances

type AsSet' [k] ([] k) = Set AnyK ([] AnyK)

type AsSet' [k] ((:) k l ls) = Insert * k l (AsSet' [k] ls)

type family ToList s

Equations

ToList (Set s) = s