Type.Eval.Row

data Prj :: Symbol -> Type -> TypeExpr

Instances

• (Cons sym ty rx r) => Eval (Prj sym (RProxy r)) ty

data Uncons :: (Type -> Type -> TypeExpr) -> Symbol -> Type -> TypeExpr

Instances

• (Cons sym ty r2 r1, Eval (fn ty (RProxy r2)) x) => Eval (Uncons fn sym (RProxy r1)) x

data Cons :: Symbol -> Type -> Type -> TypeExpr

Instances

• (Cons sym ty r1 r2) => Eval (Cons sym ty (RProxy r1)) (RProxy r2)

type Set sym a = (Cons sym a) <<< (Lacks sym)

data Modify :: (Type -> TypeExpr) -> Symbol -> Type -> TypeExpr

Instances

• (Cons sym ty r2 r1, Eval (fn ty) ty', Cons sym ty' r2 r3) => Eval (Modify fn sym (RProxy r1)) (RProxy r3)

data Nub :: Type -> TypeExpr

Instances

• (Nub r1 r2) => Eval (Nub (RProxy r1)) (RProxy r2)

data Lacks :: Symbol -> Type -> TypeExpr

Instances

• (Lacks sym r) => Eval (Lacks sym (RProxy r)) (RProxy r)

data Union :: Type -> Type -> TypeExpr

Instances

• (Union r1 r2 r3) => Eval (Union (RProxy r1) (RProxy r2)) (RProxy r3)