purescript-typelevel-eval

Higher-order functional programming in PureScript's type system.

Inspired by Haskell with only one type family.

What does it do?

This library exports a typeclass Eval which lets us evaluate type-level expressions of kind TypeExpr. A TypeExpr evaluates to something of kind Type. With this we can do lazy, higher-order functional programming to compute types and their relationships.

Example

Take an input row, and compute a row where all the types are String:

type RowToString =
  ToRow <<< Map (Const String) <<< FromRow

test :: forall ri ro.
  Eval (RowToString (RProxy ri)) (RProxy ro) =>
  { | ri } ->
  { | ro } ->
  Unit
test _ _ = Unit

Assert that all rows have a type String:

type RowAllString =
  Assert "Only String is allowed" <<< All (Eq String) <<< FromRow

test :: forall ri.
  Eval (RowAllString (RProxy ri)) Unit =>
  { | ri } ->
  Unit
test _ = Unit