Data.Diverse.Type.Internal

type family PositionOfImpl (i :: Nat) (x :: k) (xs :: [k]) :: Nat where ...

type family IndexOfImpl (ctx :: [k]) (x :: k) (xs :: [k]) :: Nat where ...

type family DistinctImpl (ctx :: [k]) (y :: k) (ys :: [k]) :: [k] where ...

type family MissingImpl (ctx :: [k]) (y :: k) (xs :: [k]) :: Constraint where ...

type family IsDistinctImpl (ctx :: [k]) (xs :: [k]) :: Constraint where ...

type family UniqueImpl (ctx :: [k]) (x :: k) (xs :: [k]) :: Constraint where ...

type family KindAtIndexImpl (orig :: Nat) (ctx :: [k]) (n :: Nat) (xs :: [k]) :: k where ...

type family SameLengthImpl (ctx :: [k1]) (cty :: [k2]) (xs :: [k1]) (yx :: [k2]) :: Constraint where ...

type family WithoutIndexImpl (i :: Nat) (ctx :: [k]) (n :: Nat) (xs :: [k]) :: [k] where ...