Record.Optional.Fields.Errors

class RenderErrorContext :: Context -> Doc -> Constraintclass RenderErrorContext (ctx :: Context) (doc :: Doc) | ctx -> doc

Instances

• (RenderErrorContext (parent t) above, TypeEquals doc (Above above (Beside (Text "- At field `") (Beside (QuoteLabel prop) (Text "`: "))))) => RenderErrorContext (AtProp parent prop r t) doc
• RenderErrorContext (Root r t) (Above (Text "An error occurred while checking input option type:") (Text ""))

Operator alias for Prim.TypeError.Above (right-associative / precedence 5)

Operator alias for Prim.TypeError.Beside (right-associative / precedence 6)

class RenderErrorDesc :: ErrorDesc -> Doc -> Constraintclass RenderErrorDesc (desc :: ErrorDesc) (doc :: Doc) | desc -> doc

Instances

• (RowToList r rl, RenderLabels rl labelsDoc) => RenderErrorDesc (UnsupportedProp prop r) (Above (Beside (Text " Unsupported field name: `") (Beside (QuoteLabel prop) (Text "`."))) (Above (Text "") (Beside (Text "💡 Supported fields include: ") labelsDoc)))
• RenderErrorDesc (UnexpectedType a b) (Above (Beside (Text " Unexpected value type: `") (Beside (Quote b) (Text "`"))) (Above (Text "") (Beside (Text "💡 You must specify a value of type `") (Beside (Quote a) (Text "`.")))))

class RenderLabels :: RowList Type -> Doc -> Constraintclass RenderLabels (rl :: RowList Type) (doc :: Doc) | rl -> doc

Instances

• RenderLabels Nil (Text "There are no available fields.")
• RenderLabels (Cons l _1 Nil) (Beside (Text "`") (Beside (QuoteLabel l) (Text "`")))
• (RenderLabels ls rest) => RenderLabels (Cons l _1 ls) (Beside (Text "`") (Beside (QuoteLabel l) (Beside (Text "` ") rest)))

class RenderError :: Type -> Doc -> Constraintclass RenderError (e :: Type) (doc :: Doc) | e -> doc

Instances

• (RenderErrorContext ctx header, RenderErrorDesc desc body) => RenderError (TypeError ctx desc) (Above header body)