Module

Type.Eval.RowList

Package: purescript-typelevel-eval
Repository: natefaubion/purescript-typelevel-eval

#FromRow Source

data FromRow :: Type -> TypeExpr

Instances

(RowToList r rl) => Eval (FromRow (RProxy r)) (RLProxy rl)

#ToRow Source

data ToRow :: Type -> TypeExpr

Instances

(ListToRow rl r) => Eval (ToRow (RLProxy rl)) (RProxy r)

Modules: Type.Eval; Type.Eval.Boolean; Type.Eval.Foldable; Type.Eval.Function; Type.Eval.Functor; Type.Eval.Row; Type.Eval.RowList; Type.Eval.Tuple