Sigil.Text

renderTypeToText :: RenderType -> String

Render a RenderType back to plain text.

constraintText :: Constraint -> String

Render a constraint to plain text (for measurement and display).

collectTypeVars :: RenderType -> Set String

Collect all type variable names from a RenderType.

collectArrowParams :: RenderType -> Array RenderType

Collect all params of an arrow chain (including return type at end).

collectForallVars :: RenderType -> Array String

Collect all forall-quantified variable names (including nested foralls).

fieldVars :: Array RowField -> Maybe String -> Set String

Collect type variables from record/row fields.