Data.Diverse.Type
type UniqueMember x xs
type MaybeUniqueMember x xs
type MemberAt n x xs
type MaybeMemberAt n x xs
type family UniqueIfExists ys x xs :: Constraint where ...
type IsDistinct xs
type family Distinct (xs :: [k]) :: [k] where ...
type Unique x xs
type IndexOf x xs
type PositionOf x xs
type KindAtIndex n xs
type family KindAtPositionIs (n :: Nat) (x :: k) (xs :: [k]) :: Constraint where ...
type family KindsAtIndices (ns :: [Nat]) (xs :: [k]) :: [k] where ...
type family Without (x :: k) (xs :: [k]) :: [k] where ...
type WithoutIndex n xs
type family Tail (xs :: [k]) :: [k] where ...
type family Head (xs :: [k]) :: k where ...
type family Last (xs :: [k]) :: k where ...
type SameLength xs ys
type family Complement (xs :: [k]) (ys :: [k]) :: [k] where ...
type family Append (xs :: [k]) (ys :: [k]) :: [k] where ...
type family Init (xs :: [k]) :: [k] where ...