Sigil.Parse

parseToRenderType :: String -> Maybe RenderType

Parse a type signature string to RenderType. Sanitizes loader artifacts (e.g. trailing comma before row variable) before parsing.

extractCtorArgs :: String -> Array String

Extract constructor argument types from a constructor signature string. Constructor sigs look like "a -> b -> MyType a b" — returns ["a", "b"] as text.

extractCtorRenderTypes :: String -> Array RenderType

Extract constructor argument types as RenderType values. Constructor sigs look like "a -> b -> MyType a b" — returns [TVar "a", TVar "b"].

elideAST :: RenderType -> RenderType

Prepare AST for siglet rendering. Preserves record/row structure (with elided field types) so the siglet renderer can show { ○ ○ ○ } notation. Forall, constraints, and parens are kept. Normalizes Record (row) application to TRecord.

elideConstraint :: Constraint -> Constraint