Lorentz.Errors

Haskell to Value conversion

class (Typeable e, ErrorHasDoc e) => IsError e where

Haskell type representing error.

Methods

errorToVal :: e -> (forall t. ErrorScope t => Value t -> r) -> r

Converts a Haskell error into Value representation.

errorFromVal :: KnownT t => Value t -> Either Text e

Converts a Value into Haskell error.

Instances

(TypeError ('Text "Use representative error messages") :: Constraint) => IsError ()

Defined in Lorentz.Errors

Methods

errorToVal :: () -> (forall (t :: T). ErrorScope t => Value t -> r) -> r

errorFromVal :: forall (t :: T). KnownT t => Value t -> Either Text ()

IsError MText

Use this for internal errors only.

Normal error scenarios should use the mechanism of custom errors, see below.

Defined in Lorentz.Errors

Methods

errorToVal :: MText -> (forall (t :: T). ErrorScope t => Value t -> r) -> r

errorFromVal :: forall (t :: T). KnownT t => Value t -> Either Text MText

IsError UnspecifiedError

Defined in Lorentz.Errors

Methods

errorToVal :: UnspecifiedError -> (forall (t :: T). ErrorScope t => Value t -> r) -> r

errorFromVal :: forall (t :: T). KnownT t => Value t -> Either Text UnspecifiedError

(CustomErrorHasDoc tag, KnownError (CustomErrorRep tag), IsoValue (CustomErrorRep tag), IsCustomErrorArgRep (CustomErrorRep tag)) => IsError (CustomError tag)

Defined in Lorentz.Errors

Methods

errorToVal :: CustomError tag -> (forall (t :: T). ErrorScope t => Value t -> r) -> r

errorFromVal :: forall (t :: T). KnownT t => Value t -> Either Text (CustomError tag)

(Typeable r, NiceConstant r, ErrorHasDoc (VoidResult r)) => IsError (VoidResult r)

Defined in Lorentz.Macro

Methods

errorToVal :: VoidResult r -> (forall (t :: T). ErrorScope t => Value t -> r0) -> r0

errorFromVal :: forall (t :: T). KnownT t => Value t -> Either Text (VoidResult r)

(Typeable arg, IsError (CustomError tag), TypeErrorUnless (arg == ()) notVoidError, arg ~ ErrorArg tag, notVoidError ~ ('Text "This error requires argument of type " :<>: 'ShowType (ErrorArg tag))) => IsError (arg -> CustomError tag)

If CustomError constructor is not provided its argument, we assume that this is unit-arg error and interpret the passed value as complete.

Defined in Lorentz.Errors

Methods

errorToVal :: (arg -> CustomError tag) -> (forall (t :: T). ErrorScope t => Value t -> r) -> r

errorFromVal :: forall (t :: T). KnownT t => Value t -> Either Text (arg -> CustomError tag)

type ErrorScope t = (Typeable t, ConstantScope t)

isoErrorToVal :: (KnownError e, IsoValue e) => e -> (forall t. ErrorScope t => Value t -> r) -> r

Implementation of errorToVal via IsoValue.

isoErrorFromVal :: (Typeable t, Typeable (ToT e), IsoValue e) => Value t -> Either Text e

Implementation of errorFromVal via IsoValue.

class Typeable e => ErrorHasDoc (e :: Type) where

Minimal complete definition

errorDocName, errorDocMdCause, errorDocHaskellRep, errorDocDependencies

Associated Types

type ErrorRequirements e :: Constraint

Constraints which we require in a particular instance. You are not oblidged to often instantiate this correctly, it is only useful for some utilities.

type ErrorRequirements _ = ()

Methods

errorDocName :: Text

Name of error as it appears in the corresponding section title.

errorDocMdCause :: Markdown

What should happen for this error to be raised.

errorDocMdCauseInEntrypoint :: Markdown

Brief version of errorDocMdCause.

This will appear along with the error when mentioned in entrypoint description. By default, the first sentence of the full description is used.

errorDocHaskellRep :: Markdown

How this error is represented in Haskell.

errorDocClass :: ErrorClass

Error class.

errorDocDependencies :: [SomeDocDefinitionItem]

Which definitions documentation for this error mentions.

errorDocRequirements :: Dict (ErrorRequirements e)

Captured constraints which we require in a particular instance. This is a way to encode a bidirectional instance in the nowaday Haskell, for class MyConstraint => ErrorHasDoc MyType instance it lets deducing MyConstraint by ErrorHasDoc MyType.

You are not oblidged to always instantiate, it is only useful for some utilities which otherwise would not compile.

default errorDocRequirements :: ErrorRequirements e => Dict (ErrorRequirements e)

Instances

(TypeError ('Text "Use representative error messages") :: Constraint) => ErrorHasDoc ()

Defined in Lorentz.Errors

Associated Types

type ErrorRequirements ()

Methods

errorDocName :: Text

errorDocMdCause :: Markdown

errorDocMdCauseInEntrypoint :: Markdown

errorDocHaskellRep :: Markdown

errorDocClass :: ErrorClass

errorDocDependencies :: [SomeDocDefinitionItem]

errorDocRequirements :: Dict (ErrorRequirements ())

ErrorHasDoc MText

Defined in Lorentz.Errors

Associated Types

type ErrorRequirements MText

Methods

errorDocName :: Text

errorDocMdCause :: Markdown

errorDocMdCauseInEntrypoint :: Markdown

errorDocHaskellRep :: Markdown

errorDocClass :: ErrorClass

errorDocDependencies :: [SomeDocDefinitionItem]

errorDocRequirements :: Dict (ErrorRequirements MText)

ErrorHasDoc UnspecifiedError

Defined in Lorentz.Errors

Associated Types

type ErrorRequirements UnspecifiedError

Methods

errorDocName :: Text

errorDocMdCause :: Markdown

errorDocMdCauseInEntrypoint :: Markdown

errorDocHaskellRep :: Markdown

errorDocClass :: ErrorClass

errorDocDependencies :: [SomeDocDefinitionItem]

errorDocRequirements :: Dict (ErrorRequirements UnspecifiedError)

(CustomErrorHasDoc tag, IsCustomErrorArgRep (CustomErrorRep tag)) => ErrorHasDoc (CustomError tag)

Defined in Lorentz.Errors

Associated Types

type ErrorRequirements (CustomError tag)

Methods

errorDocName :: Text

errorDocMdCause :: Markdown

errorDocMdCauseInEntrypoint :: Markdown

errorDocHaskellRep :: Markdown

errorDocClass :: ErrorClass

errorDocDependencies :: [SomeDocDefinitionItem]

errorDocRequirements :: Dict (ErrorRequirements (CustomError tag))

TypeHasDoc r => ErrorHasDoc (VoidResult r)

Defined in Lorentz.Macro

Associated Types

type ErrorRequirements (VoidResult r)

Methods

errorDocName :: Text

errorDocMdCause :: Markdown

errorDocMdCauseInEntrypoint :: Markdown

errorDocHaskellRep :: Markdown

errorDocClass :: ErrorClass

errorDocDependencies :: [SomeDocDefinitionItem]

errorDocRequirements :: Dict (ErrorRequirements (VoidResult r))

(Typeable arg, ErrorHasDoc (CustomError tag)) => ErrorHasDoc (arg -> CustomError tag)

Defined in Lorentz.Errors

Associated Types

type ErrorRequirements (arg -> CustomError tag)

Methods

errorDocName :: Text

errorDocMdCause :: Markdown

errorDocMdCauseInEntrypoint :: Markdown

errorDocHaskellRep :: Markdown

errorDocClass :: ErrorClass

errorDocDependencies :: [SomeDocDefinitionItem]

errorDocRequirements :: Dict (ErrorRequirements (arg -> CustomError tag))

(ErrorHasDoc err, KnownNat numTag, ErrorHasNumericDoc err) => ErrorHasDoc (NumericErrorWrapper numTag err)

Defined in Lorentz.Errors.Numeric.Doc

Associated Types

type ErrorRequirements (NumericErrorWrapper numTag err)

Methods

errorDocName :: Text

errorDocMdCause :: Markdown

errorDocMdCauseInEntrypoint :: Markdown

errorDocHaskellRep :: Markdown

errorDocClass :: ErrorClass

errorDocDependencies :: [SomeDocDefinitionItem]

errorDocRequirements :: Dict (ErrorRequirements (NumericErrorWrapper numTag err))

typeDocMdDescriptionReferToError :: forall e. IsError e => Markdown

Implementation of typeDocMdDescription (of TypeHasDoc typeclass) for Haskell types which sole purpose is to be error.

isInternalErrorClass :: ErrorClass -> Bool

Whether given error class is about internal errors.

Internal errors are not enlisted on per-entrypoint basis, only once for the entire contract.

data UnspecifiedError

Use this type as replacement for () when you really want to leave error cause unspecified.

Constructors

UnspecifiedError

Instances

Generic UnspecifiedError

Defined in Lorentz.Errors

Associated Types

type Rep UnspecifiedError :: Type -> Type

Methods

from :: UnspecifiedError -> Rep UnspecifiedError x

to :: Rep UnspecifiedError x -> UnspecifiedError

IsoValue UnspecifiedError

Defined in Lorentz.Errors

Associated Types

type ToT UnspecifiedError :: T

Methods

toVal :: UnspecifiedError -> Value (ToT UnspecifiedError)

fromVal :: Value (ToT UnspecifiedError) -> UnspecifiedError

ErrorHasDoc UnspecifiedError

Defined in Lorentz.Errors

Associated Types

type ErrorRequirements UnspecifiedError

Methods

errorDocName :: Text

errorDocMdCause :: Markdown

errorDocMdCauseInEntrypoint :: Markdown

errorDocHaskellRep :: Markdown

errorDocClass :: ErrorClass

errorDocDependencies :: [SomeDocDefinitionItem]

errorDocRequirements :: Dict (ErrorRequirements UnspecifiedError)

IsError UnspecifiedError

Defined in Lorentz.Errors

Methods

errorToVal :: UnspecifiedError -> (forall (t :: T). ErrorScope t => Value t -> r) -> r

errorFromVal :: forall (t :: T). KnownT t => Value t -> Either Text UnspecifiedError

type Rep UnspecifiedError

Defined in Lorentz.Errors

type Rep UnspecifiedError = D1 ('MetaData "UnspecifiedError" "Lorentz.Errors" "lorentz-0.11.0-inplace" 'False) (C1 ('MetaCons "UnspecifiedError" 'PrefixI 'False) (U1 :: Type -> Type))

type ToT UnspecifiedError

Defined in Lorentz.Errors

type ToT UnspecifiedError = GValueType (Rep UnspecifiedError)

type ErrorRequirements UnspecifiedError

Defined in Lorentz.Errors

type ErrorRequirements UnspecifiedError = ()

data SomeError

Type wrapper for an IsError.

Constructors

forall e.(IsError e, Eq e) => SomeError e

Instances

Eq SomeError

Defined in Lorentz.Errors

Methods

(==) :: SomeError -> SomeError -> Bool

(/=) :: SomeError -> SomeError -> Bool

Show SomeError

Defined in Lorentz.Errors

Methods

showsPrec :: Int -> SomeError -> ShowS

show :: SomeError -> String

showList :: [SomeError] -> ShowS

Buildable SomeError

Defined in Lorentz.Errors

Methods

build :: SomeError -> Builder

General instructions

failUsing :: forall e s t. IsError e => e -> s :-> t

Fail with the given Haskell value.

failUnexpected :: MText -> s :-> t

Fail, providing a reference to the place in the code where this function is called.

Like error in Haskell code, this instruction is for internal errors only.

Custom errors

data NoErrorArg

To be used as ErrorArg instance when failing with just a string instead of pair string x

data UnitErrorArg

To be used as ErrorArg instances. This is equivalent to using () but using UnitErrorArg is preferred since () behavior could be changed in the future.

type family ErrorArg (tag :: Symbol) :: Type

Declares a custom error, defining error name - error argument relation.

If your error is supposed to carry no argument, then provide ().

Note that this relation is defined globally rather than on per-contract basis, so define errors accordingly. If your error has argument specific to your contract, call it such that error name reflects its belonging to this contract.

This is the basic [error format].

Instances

type ErrorArg "emptySupplied"

Someone constructed Empty type.

Defined in Lorentz.Empty

type ErrorArg "emptySupplied" = UnitErrorArg

type ErrorArg "senderIsNotAdmin"

Contract initiator should be contract admin in order to perform this operation.

Defined in Lorentz.Errors.Common

type ErrorArg "senderIsNotAdmin" = UnitErrorArg

type ErrorArg "uparamArgumentUnpackFailed"

Defined in Lorentz.UParam

type ErrorArg "uparamArgumentUnpackFailed" = UnitErrorArg

type ErrorArg "uparamNoSuchEntrypoint"

Defined in Lorentz.UParam

type ErrorArg "uparamNoSuchEntrypoint" = MText

data CustomError (tag :: Symbol)

Material custom error.

Use this in pattern matches against error (e.g. in tests).

Constructors

CustomError

Fields

• ceTag :: Label tag
• ceArg :: CustomErrorRep tag

Instances

Eq (CustomErrorRep tag) => Eq (CustomError tag)

Defined in Lorentz.Errors

Methods

(==) :: CustomError tag -> CustomError tag -> Bool

(/=) :: CustomError tag -> CustomError tag -> Bool

Show (CustomErrorRep tag) => Show (CustomError tag)

Defined in Lorentz.Errors

Methods

showsPrec :: Int -> CustomError tag -> ShowS

show :: CustomError tag -> String

showList :: [CustomError tag] -> ShowS

Buildable (CustomError tag)

Defined in Lorentz.Errors

Methods

build :: CustomError tag -> Builder

Buildable (CustomError "emptySupplied")

Defined in Lorentz.Empty

Methods

build :: CustomError "emptySupplied" -> Builder

Buildable (CustomError "senderIsNotAdmin")

Defined in Lorentz.Errors.Common

Methods

build :: CustomError "senderIsNotAdmin" -> Builder

Buildable (CustomError "uparamArgumentUnpackFailed")

Defined in Lorentz.UParam

Methods

build :: CustomError "uparamArgumentUnpackFailed" -> Builder

Buildable (CustomError "uparamNoSuchEntrypoint")

Defined in Lorentz.UParam

Methods

build :: CustomError "uparamNoSuchEntrypoint" -> Builder

(WellTypedIsoValue (CustomErrorRep tag), TypeError ('Text "CustomError has no IsoValue instance") :: Constraint) => IsoValue (CustomError tag)

This instance cannot be implemented, use IsError instance instead.

Defined in Lorentz.Errors

Associated Types

type ToT (CustomError tag) :: T

Methods

toVal :: CustomError tag -> Value (ToT (CustomError tag))

fromVal :: Value (ToT (CustomError tag)) -> CustomError tag

(CustomErrorHasDoc tag, IsCustomErrorArgRep (CustomErrorRep tag)) => ErrorHasDoc (CustomError tag)

Defined in Lorentz.Errors

Associated Types

type ErrorRequirements (CustomError tag)

Methods

errorDocName :: Text

errorDocMdCause :: Markdown

errorDocMdCauseInEntrypoint :: Markdown

errorDocHaskellRep :: Markdown

errorDocClass :: ErrorClass

errorDocDependencies :: [SomeDocDefinitionItem]

errorDocRequirements :: Dict (ErrorRequirements (CustomError tag))

(CustomErrorHasDoc tag, KnownError (CustomErrorRep tag), IsoValue (CustomErrorRep tag), IsCustomErrorArgRep (CustomErrorRep tag)) => IsError (CustomError tag)

Defined in Lorentz.Errors

Methods

errorToVal :: CustomError tag -> (forall (t :: T). ErrorScope t => Value t -> r) -> r

errorFromVal :: forall (t :: T). KnownT t => Value t -> Either Text (CustomError tag)

Eq (CustomErrorRep tag) => Eq (() -> CustomError tag)

Defined in Lorentz.Errors

Methods

(==) :: (() -> CustomError tag) -> (() -> CustomError tag) -> Bool

(/=) :: (() -> CustomError tag) -> (() -> CustomError tag) -> Bool

Show (CustomErrorRep tag) => Show (() -> CustomError tag)

Defined in Lorentz.Errors

Methods

showsPrec :: Int -> (() -> CustomError tag) -> ShowS

show :: (() -> CustomError tag) -> String

showList :: [() -> CustomError tag] -> ShowS

(Typeable arg, ErrorHasDoc (CustomError tag)) => ErrorHasDoc (arg -> CustomError tag)

Defined in Lorentz.Errors

Associated Types

type ErrorRequirements (arg -> CustomError tag)

Methods

errorDocName :: Text

errorDocMdCause :: Markdown

errorDocMdCauseInEntrypoint :: Markdown

errorDocHaskellRep :: Markdown

errorDocClass :: ErrorClass

errorDocDependencies :: [SomeDocDefinitionItem]

errorDocRequirements :: Dict (ErrorRequirements (arg -> CustomError tag))

(Typeable arg, IsError (CustomError tag), TypeErrorUnless (arg == ()) notVoidError, arg ~ ErrorArg tag, notVoidError ~ ('Text "This error requires argument of type " :<>: 'ShowType (ErrorArg tag))) => IsError (arg -> CustomError tag)

If CustomError constructor is not provided its argument, we assume that this is unit-arg error and interpret the passed value as complete.

Defined in Lorentz.Errors

Methods

errorToVal :: (arg -> CustomError tag) -> (forall (t :: T). ErrorScope t => Value t -> r) -> r

errorFromVal :: forall (t :: T). KnownT t => Value t -> Either Text (arg -> CustomError tag)

type ToT (CustomError tag)

Defined in Lorentz.Errors

type ToT (CustomError tag) = ToT (CustomErrorRep tag)

type ErrorRequirements (CustomError tag)

Defined in Lorentz.Errors

type ErrorRequirements (CustomError tag) = (CustomErrorHasDoc tag, IsCustomErrorArgRep (CustomErrorRep tag))

type ErrorRequirements (arg -> CustomError tag)

Defined in Lorentz.Errors

type ErrorRequirements (arg -> CustomError tag) = ()

type CustomErrorRep tag = CustomErrorArgRep (ErrorArg tag)

How CustomError is actually represented in Michelson.

class IsCustomErrorArgRep a where

Typeclass implements various method that work with CustomErrorArgRep.

Methods

verifyErrorTag :: MText -> a -> Either Text a

customErrorRepDocDeps :: [SomeDocDefinitionItem]

customErrorHaskellRep :: (KnownSymbol tag, CustomErrorHasDoc tag) => Proxy tag -> Markdown

Instances

IsCustomErrorArgRep MText

Defined in Lorentz.Errors

Methods

verifyErrorTag :: MText -> MText -> Either Text MText

customErrorRepDocDeps :: [SomeDocDefinitionItem]

customErrorHaskellRep :: forall (tag :: Symbol). (KnownSymbol tag, CustomErrorHasDoc tag) => Proxy tag -> Markdown

TypeHasDoc errArg => IsCustomErrorArgRep (MText, errArg)

Defined in Lorentz.Errors

Methods

verifyErrorTag :: MText -> (MText, errArg) -> Either Text (MText, errArg)

customErrorRepDocDeps :: [SomeDocDefinitionItem]

customErrorHaskellRep :: forall (tag :: Symbol). (KnownSymbol tag, CustomErrorHasDoc tag) => Proxy tag -> Markdown

type MustHaveErrorArg errorTag expectedArgRep = (TypeErrorUnless (CustomErrorRep errorTag == expectedArgRep) ((('Text "Error argument type is " :<>: 'ShowType expectedArgRep) :<>: 'Text " but given error requires argument of type ") :<>: 'ShowType (CustomErrorRep errorTag)), CustomErrorRep errorTag ~ expectedArgRep)

failCustom :: forall tag err s any. (MustHaveErrorArg tag (MText, err), CustomErrorHasDoc tag, KnownError err) => Label tag -> (err ': s) :-> any

Fail with given custom error.

failCustom_ :: forall tag s any. (MustHaveErrorArg tag (MText, ()), CustomErrorHasDoc tag) => Label tag -> s :-> any

Specialization of failCustom for unit-arg errors.

failCustomNoArg :: forall tag s any. (MustHaveErrorArg tag MText, CustomErrorHasDoc tag) => Label tag -> s :-> any

Fail with given custom error.

Documentation

data ErrorClass

Error class on how the error should be handled by the client.

Constructors

ErrClassActionException

Normal expected error. Examples: "insufficient balance", "wallet does not exist".

ErrClassBadArgument

Invalid argument passed to entrypoint. Examples: your entrypoint accepts an enum represented as nat, and unknown value is provided. This includes more complex cases which involve multiple entrypoints. E.g. API provides iterator interface, middleware should care about using it hiding complex details and exposing a simpler API to user; then an attempt to request non-existing element would also correspond to an error from this class.

ErrClassContractInternal

Unexpected error. Most likely it means that there is a bug in the contract or the contract has been deployed incorrectly.

ErrClassUnknown

It's possible to leave error class unspecified.

Instances

Read ErrorClass

Defined in Lorentz.Errors

Methods

readsPrec :: Int -> ReadS ErrorClass

readList :: ReadS [ErrorClass]

readPrec :: ReadPrec ErrorClass

readListPrec :: ReadPrec [ErrorClass]

Buildable ErrorClass

Defined in Lorentz.Errors

Methods

build :: ErrorClass -> Builder

Lift ErrorClass

Defined in Lorentz.Errors

Methods

lift :: ErrorClass -> Q Exp

liftTyped :: ErrorClass -> Q (TExp ErrorClass)

class (KnownSymbol tag, TypeHasDoc (CustomErrorRep tag), IsError (CustomError tag)) => CustomErrorHasDoc tag where

Minimal complete definition

customErrDocMdCause, customErrClass

Methods

customErrDocMdCause :: Markdown

What should happen for this error to be raised.

customErrDocMdCauseInEntrypoint :: Markdown

Brief version of customErrDocMdCause. This will appear along with the error when mentioned in entrypoint description.

By default, the first sentence of the full description is used.

customErrClass :: ErrorClass

Error class.

By default this returns "unknown error" class; though you should provide explicit implementation in order to avoid a warning.

customErrArgumentSemantics :: Maybe Markdown

Clarification of error argument meaning.

Provide when it's not obvious, e.g. argument is not named with :!.

NOTE: This should not be an entire sentence, rather just the semantic backbone.

Bad: * Error argument stands for the previous value of approval.

Good: * the previous value of approval * pair, first argument of which is one thing, and the second is another

Instances

CustomErrorHasDoc "emptySupplied"

Defined in Lorentz.Empty

Methods

customErrDocMdCause :: Markdown

customErrDocMdCauseInEntrypoint :: Markdown

customErrClass :: ErrorClass

customErrArgumentSemantics :: Maybe Markdown

CustomErrorHasDoc "senderIsNotAdmin"

Defined in Lorentz.Errors.Common

Methods

customErrDocMdCause :: Markdown

customErrDocMdCauseInEntrypoint :: Markdown

customErrClass :: ErrorClass

customErrArgumentSemantics :: Maybe Markdown

CustomErrorHasDoc "uparamArgumentUnpackFailed"

Defined in Lorentz.UParam

Methods

customErrDocMdCause :: Markdown

customErrDocMdCauseInEntrypoint :: Markdown

customErrClass :: ErrorClass

customErrArgumentSemantics :: Maybe Markdown

CustomErrorHasDoc "uparamNoSuchEntrypoint"

Defined in Lorentz.UParam

Methods

customErrDocMdCause :: Markdown

customErrDocMdCauseInEntrypoint :: Markdown

customErrClass :: ErrorClass

customErrArgumentSemantics :: Maybe Markdown

data DError where

Mentions that contract uses given error.

Constructors

DError :: ErrorHasDoc e => Proxy e -> DError

Instances

Eq DError

Defined in Lorentz.Errors

Methods

(==) :: DError -> DError -> Bool

(/=) :: DError -> DError -> Bool

Ord DError

Defined in Lorentz.Errors

Methods

compare :: DError -> DError -> Ordering

(<) :: DError -> DError -> Bool

(<=) :: DError -> DError -> Bool

(>) :: DError -> DError -> Bool

(>=) :: DError -> DError -> Bool

max :: DError -> DError -> DError

min :: DError -> DError -> DError

DocItem DError

Defined in Lorentz.Errors

Associated Types

type DocItemPlacement DError :: DocItemPlacementKind

type DocItemReferenced DError :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DError -> DocItemRef (DocItemPlacement DError) (DocItemReferenced DError)

docItemToMarkdown :: HeaderLevel -> DError -> Markdown

docItemToToc :: HeaderLevel -> DError -> Markdown

docItemDependencies :: DError -> [SomeDocDefinitionItem]

docItemsOrder :: [DError] -> [DError]

type DocItemPlacement DError

Defined in Lorentz.Errors

type DocItemPlacement DError = 'DocItemInDefinitions

type DocItemReferenced DError

Defined in Lorentz.Errors

type DocItemReferenced DError = 'True

data DThrows where

Documentation for custom errors.

Mentions that entrypoint throws given error.

Constructors

DThrows :: ErrorHasDoc e => Proxy e -> DThrows

Instances

Eq DThrows

Defined in Lorentz.Errors

Methods

(==) :: DThrows -> DThrows -> Bool

(/=) :: DThrows -> DThrows -> Bool

DocItem DThrows

Defined in Lorentz.Errors

Associated Types

type DocItemPlacement DThrows :: DocItemPlacementKind

type DocItemReferenced DThrows :: DocItemReferencedKind

Methods

docItemPos :: Natural

docItemSectionName :: Maybe Text

docItemSectionDescription :: Maybe Markdown

docItemSectionNameStyle :: DocSectionNameStyle

docItemRef :: DThrows -> DocItemRef (DocItemPlacement DThrows) (DocItemReferenced DThrows)

docItemToMarkdown :: HeaderLevel -> DThrows -> Markdown

docItemToToc :: HeaderLevel -> DThrows -> Markdown

docItemDependencies :: DThrows -> [SomeDocDefinitionItem]

docItemsOrder :: [DThrows] -> [DThrows]

type DocItemPlacement DThrows

Defined in Lorentz.Errors

type DocItemPlacement DThrows = 'DocItemInlined

type DocItemReferenced DThrows

Defined in Lorentz.Errors

type DocItemReferenced DThrows = 'False

Internals

errorTagToText :: forall tag. KnownSymbol tag => Text

errorTagToMText :: Label tag -> MText

Demote error tag to term level.