Internal.Data.Basic.TypeLevel

type family AllSatisfy (c :: k -> Constraint) (l :: [k]) :: Constraint where ...

class MappableList l

type family Elem (x :: k) (xs :: [k]) :: Bool where ...

type family EqualOrError (a :: k) (b :: k) (err :: ErrorMessage) :: Constraint where ...

type CheckWithError b err

type family Not (b :: Bool) where ...

type ErrorText

type family xs ++ ys where ...

type family Without (xs :: [k]) (ys :: [k]) :: [k] where ...

type family IsSubset xs ys :: Constraint where ...

class TypeSatisfies c x field

type family OnMaybe (a :: k) (f :: b -> k) (m :: Maybe b) :: k where ...

class NotNull a field

type family ListToTuple (f :: k -> *) (l :: [k]) where ...

data ErrorMessage

type family TypeError b (a :: ErrorMessage) :: b where ...