Sigil.Html

renderSignature :: { ast :: RenderType, className :: Maybe String, name :: String, typeParams :: Array String } -> String

Render a full-size type signature to an HTML string. Uses Swiss typographic layout: preamble (∀ left, constraints right), declaration (name ::), body (indented with left rule).

renderBody :: { ast :: RenderType } -> String

Render the sigil body only (no name header, no ::) to HTML. Used for inline rendering in value cells when there's enough space. Still shows preamble (quantifier + constraints) if present.

renderSiglet :: { ast :: RenderType } -> String

Render a siglet (miniature signature) to HTML. Constrained type variables get pill style; unconstrained get colored text.

renderSignet :: { ast :: RenderType } -> String

Render a signet (dots with rotated identifier labels) to HTML. Same dot layout as the siglet, but each dot has a 45-degree rotated label beneath it showing the type identifier name.

renderDataDecl :: { constructors :: Array { args :: Array RenderType, name :: String }, keyword :: Maybe String, name :: String, typeParams :: Array String } -> String

Render a data/newtype declaration to an HTML string. Shows header (keyword + name + type params), then constructor branches in a rail layout, or an opaque indicator if no constructors.

renderClassDecl :: { methods :: Array { ast :: Maybe RenderType, name :: String }, name :: String, superclasses :: Array SuperclassInfo, typeParams :: Array String } -> String

Render a type class definition to an HTML string. Shows header (class + name + type params), superclass row, own methods, and inherited methods grouped by superclass.

renderTypeSynonym :: { body :: RenderType, name :: String, typeParams :: Array String } -> String

Render a type synonym to an HTML string. Shows header (type + name + type params), then = body.

renderForeignImport :: { ast :: RenderType, name :: String } -> String

Render a foreign import to an HTML string. Shows header (foreign import + name), then :: body with preamble.

renderSignatureInto :: String -> { ast :: RenderType, className :: Maybe String, name :: String, typeParams :: Array String } -> Effect Unit

Render a full-size signature into a container element.

renderBodyInto :: String -> { ast :: RenderType } -> Effect Unit

Render a sigil body (no header) into a container element.

renderSigletInto :: String -> { ast :: RenderType } -> Effect Unit

Render a siglet into a container element.

renderSignetInto :: String -> { ast :: RenderType } -> Effect Unit

Render a signet into a container element.

renderDataDeclInto :: String -> { constructors :: Array { args :: Array RenderType, name :: String }, keyword :: Maybe String, name :: String, typeParams :: Array String } -> Effect Unit

Render a data declaration into a container element.

renderClassDeclInto :: String -> { methods :: Array { ast :: Maybe RenderType, name :: String }, name :: String, superclasses :: Array SuperclassInfo, typeParams :: Array String } -> Effect Unit

Render a class declaration into a container element.

renderTypeSynonymInto :: String -> { body :: RenderType, name :: String, typeParams :: Array String } -> Effect Unit

Render a type synonym into a container element.

renderForeignImportInto :: String -> { ast :: RenderType, name :: String } -> Effect Unit

Render a foreign import into a container element.

peelSignature :: RenderType -> PeeledSig

Peel outermost forall quantifiers and constraints from the AST. Nested foralls/constraints (rank-N, inside parens) are left intact.

type PeeledSig = { body :: RenderType, constraints :: Array Constraint, forallVars :: Array String }

Peeled signature: outermost forall/constraints separated from bare body.

escapeHtml :: String -> String

Escape HTML special characters.