Type.Set

Documentation

type family ToList s where ...

Equations

ToList (Set s) = s

type family AsSet' (a :: k)

Instances

type AsSet' ([] :: [k])

Defined in Type.Set

type AsSet' ([] :: [k]) = Set ([] :: [(Any :: Type)])

type AsSet' (l ': ls :: [ke])

Defined in Type.Set

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

type family AsSet (a :: k)

Instances

type AsSet (lst :: [k])

Defined in Type.Set

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

data Set (a :: [k])

Instances

type Index (a :: ke) (Set s :: Type)

Defined in Type.Set

type Index (a :: ke) (Set s :: Type) = Index a s

type Insert (a :: k) (Set (s ': ss) :: Type)

Defined in Type.Set

type Insert (a :: k) (Set (s ': ss) :: Type) = (Set :: [k] -> Type) $ If (a == s) (s ': ss) (s ': (Unwrapped (Insert a (Set ss)) :: [k]))

type Insert (a :: k1) (Set ([] :: [k2]) :: Type)

Defined in Type.Set

type Insert (a :: k1) (Set ([] :: [k2]) :: Type) = Set (a ': ([] :: [k1]))

type Unwrapped (Set a :: Type)

Defined in Type.Set

type Unwrapped (Set a :: Type) = a

type Concat (Set set :: Type) (Set (s ': ss) :: Type)

Defined in Type.Set

type Concat (Set set :: Type) (Set (s ': ss) :: Type) = If (In s set) (Concat (Set set) (Set ss)) (Concat (Insert s (Set set)) (Set ss))

type Concat (Set set :: Type) (Set ([] :: [k2]) :: Type)

Defined in Type.Set

type Concat (Set set :: Type) (Set ([] :: [k2]) :: Type) = Set set

module Type.Monoid