Lorentz.Errors

Haskell to Value conversion

class ErrorHasDoc e => IsError e where

Haskell type representing error.

Minimal complete definition

errorToVal, errorFromVal

Methods

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

Converts a Haskell error into Value representation.

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

Converts a Value into Haskell error.

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

Fail with the given Haskell value.

Instances

IsError UnspecifiedError

Defined in Lorentz.Errors

Methods

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

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

failUsing :: forall (s :: [Type]) (t :: [Type]). IsError UnspecifiedError => UnspecifiedError -> s :-> t

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). SingI t => Value t -> Either Text MText

failUsing :: forall (s :: [Type]) (t :: [Type]). IsError MText => MText -> s :-> t

(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). SingI t => Value t -> Either Text ()

failUsing :: forall (s :: [Type]) (t :: [Type]). IsError () => () -> s :-> t

(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). SingI t => Value t -> Either Text (CustomError tag)

failUsing :: forall (s :: [Type]) (t :: [Type]). IsError (CustomError tag) => CustomError tag -> s :-> t

KnownSymbol reason => IsError (Impossible reason)

Defined in Lorentz.Errors

Methods

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

errorFromVal :: forall (t :: T). SingI t => Value t -> Either Text (Impossible reason)

failUsing :: forall (s :: [Type]) (t :: [Type]). IsError (Impossible reason) => Impossible reason -> s :-> t

(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). SingI t => Value t -> Either Text (VoidResult r)

failUsing :: forall (s :: [Type]) (t :: [Type]). IsError (VoidResult r) => VoidResult r -> s :-> t

(Typeable arg, IsError (CustomError tag), arg ~ ErrorArg tag, FailUnlessEqual arg () ('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). SingI t => Value t -> Either Text (arg -> CustomError tag)

failUsing :: forall (s :: [Type]) (t :: [Type]). IsError (arg -> CustomError tag) => (arg -> CustomError tag) -> s :-> t

type ErrorScope t = ConstantScope t

Since 008 it's prohibited to fail with non-packable values and with the 'Contract t' type values, which is equivalent to our ConstantScope constraint. See https://gitlab.com/tezos/tezos/-/issues/1093#note_496066354 for more information.

class (SingI t, WellTyped t, HasNoOp t, HasNoBigMap t, HasNoContract t, HasNoTicket t, HasNoSaplingState t) => ConstantScope (t :: T)

Instances

(SingI t, WellTyped t, HasNoOp t, HasNoBigMap t, HasNoContract t, HasNoTicket t, HasNoSaplingState t) => ConstantScope t

Defined in Morley.Michelson.Typed.Scope

(WithDeMorganScope HasNoOp t a b, WithDeMorganScope HasNoBigMap t a b, WithDeMorganScope HasNoContract t a b, WithDeMorganScope HasNoTicket t a b, WithDeMorganScope HasNoSaplingState t a b, WellTyped a, WellTyped b) => WithDeMorganScope ConstantScope t a b

Defined in Morley.Michelson.Typed.Scope

Methods

withDeMorganScope :: ConstantScope (t a b) => ((ConstantScope a, ConstantScope b) => ret) -> ret

SingI t => CheckScope (ConstantScope t)

Defined in Morley.Michelson.Typed.Scope

Methods

checkScope :: Either BadTypeForScope (Dict (ConstantScope t))

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

Implementation of errorToVal via IsoValue.

isoErrorFromVal :: (SingI t, KnownIsoT e, IsoValue e) => Value t -> Either Text e

Implementation of errorFromVal via IsoValue.

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

Basic implementation for failUsing.

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

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)

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)

(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 ())

(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))

KnownSymbol reason => ErrorHasDoc (Impossible reason)

Defined in Lorentz.Errors

Associated Types

type ErrorRequirements (Impossible reason)

Methods

errorDocName :: Text

errorDocMdCause :: Markdown

errorDocMdCauseInEntrypoint :: Markdown

errorDocHaskellRep :: Markdown

errorDocClass :: ErrorClass

errorDocDependencies :: [SomeDocDefinitionItem]

errorDocRequirements :: Dict (ErrorRequirements (Impossible reason))

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))

(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))

(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))

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

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). SingI t => Value t -> Either Text UnspecifiedError

failUsing :: forall (s :: [Type]) (t :: [Type]). IsError UnspecifiedError => UnspecifiedError -> s :-> t

IsoValue UnspecifiedError

Defined in Lorentz.Errors

Associated Types

type ToT UnspecifiedError :: T

Methods

toVal :: UnspecifiedError -> Value (ToT UnspecifiedError)

fromVal :: Value (ToT UnspecifiedError) -> UnspecifiedError

type Rep UnspecifiedError

Defined in Lorentz.Errors

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

type ErrorRequirements UnspecifiedError

Defined in Lorentz.Errors

type ErrorRequirements UnspecifiedError = ()

type ToT UnspecifiedError

Defined in Lorentz.Errors

type ToT UnspecifiedError = GValueType (Rep UnspecifiedError)

data Impossible (reason :: Symbol)

Use this error when sure that failing at the current position is possible in no curcumstances (including invalid user input or misconfigured storage).

To use this as error, you have to briefly specify the reason why the error scenario is impossible (experimental feature).

Constructors

HasCallStack => Impossible

Instances

KnownSymbol reason => ErrorHasDoc (Impossible reason)

Defined in Lorentz.Errors

Associated Types

type ErrorRequirements (Impossible reason)

Methods

errorDocName :: Text

errorDocMdCause :: Markdown

errorDocMdCauseInEntrypoint :: Markdown

errorDocHaskellRep :: Markdown

errorDocClass :: ErrorClass

errorDocDependencies :: [SomeDocDefinitionItem]

errorDocRequirements :: Dict (ErrorRequirements (Impossible reason))

KnownSymbol reason => IsError (Impossible reason)

Defined in Lorentz.Errors

Methods

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

errorFromVal :: forall (t :: T). SingI t => Value t -> Either Text (Impossible reason)

failUsing :: forall (s :: [Type]) (t :: [Type]). IsError (Impossible reason) => Impossible reason -> s :-> t

type ErrorRequirements (Impossible reason)

Defined in Lorentz.Errors

type ErrorRequirements (Impossible reason) = ()

data SomeError

Type wrapper for an IsError.

Constructors

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

Instances

Buildable SomeError

Defined in Lorentz.Errors

Methods

build :: SomeError -> Builder

Eq SomeError

Defined in Lorentz.Errors

Methods

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

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

General instructions

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 "nOT_SINGLE_TICKET_TOKEN"

Defined in Lorentz.Tickets

type ErrorArg "nOT_SINGLE_TICKET_TOKEN" = NoErrorArg

type ErrorArg "nOT_TICKET_TARGET"

Defined in Lorentz.Tickets

type ErrorArg "nOT_TICKET_TARGET" = NoErrorArg

type ErrorArg "no_view"

Defined in Lorentz.Macro

type ErrorArg "no_view" = MText

type ErrorArg "uparamArgumentUnpackFailed"

Defined in Lorentz.UParam

type ErrorArg "uparamArgumentUnpackFailed" = UnitErrorArg

type ErrorArg "uparamNoSuchEntrypoint"

Defined in Lorentz.UParam

type ErrorArg "uparamNoSuchEntrypoint" = MText

type ErrorArg "wRONG_TICKETER"

Defined in Lorentz.Tickets

type ErrorArg "wRONG_TICKETER" = NoErrorArg

type ErrorArg "zero_denominator"

Defined in Lorentz.CustomArith.RationalArith

type ErrorArg "zero_denominator" = ("numerator" :! Integer, "denominator" :! Natural)

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

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 "uparamArgumentUnpackFailed")

Defined in Lorentz.UParam

Methods

build :: CustomError "uparamArgumentUnpackFailed" -> Builder

Buildable (CustomError "uparamNoSuchEntrypoint")

Defined in Lorentz.UParam

Methods

build :: CustomError "uparamNoSuchEntrypoint" -> Builder

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

Defined in Lorentz.Errors

Methods

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

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

(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). SingI t => Value t -> Either Text (CustomError tag)

failUsing :: forall (s :: [Type]) (t :: [Type]). IsError (CustomError tag) => CustomError tag -> s :-> t

(WellTypedToT (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

(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), arg ~ ErrorArg tag, FailUnlessEqual arg () ('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). SingI t => Value t -> Either Text (arg -> CustomError tag)

failUsing :: forall (s :: [Type]) (t :: [Type]). IsError (arg -> CustomError tag) => (arg -> CustomError tag) -> s :-> t

type ErrorRequirements (CustomError tag)

Defined in Lorentz.Errors

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

type ToT (CustomError tag)

Defined in Lorentz.Errors

type ToT (CustomError tag) = ToT (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 = FailUnlessEqual (CustomErrorRep errorTag) expectedArgRep ((('Text "Error argument type is " :<>: 'ShowType expectedArgRep) :<>: 'Text " but given error requires argument of type ") :<>: 'ShowType (CustomErrorRep errorTag))

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

Buildable ErrorClass

Defined in Lorentz.Errors

Methods

build :: ErrorClass -> Builder

Lift ErrorClass

Defined in Lorentz.Errors

Methods

lift :: Quote m => ErrorClass -> m Exp

liftTyped :: forall (m :: Type -> Type). Quote m => ErrorClass -> Code m 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 "nOT_SINGLE_TICKET_TOKEN"

Defined in Lorentz.Tickets

Methods

customErrDocMdCause :: Markdown

customErrDocMdCauseInEntrypoint :: Markdown

customErrClass :: ErrorClass

customErrArgumentSemantics :: Maybe Markdown

CustomErrorHasDoc "nOT_TICKET_TARGET"

Defined in Lorentz.Tickets

Methods

customErrDocMdCause :: Markdown

customErrDocMdCauseInEntrypoint :: Markdown

customErrClass :: ErrorClass

customErrArgumentSemantics :: Maybe Markdown

CustomErrorHasDoc "no_view"

Defined in Lorentz.Macro

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

CustomErrorHasDoc "wRONG_TICKETER"

Defined in Lorentz.Tickets

Methods

customErrDocMdCause :: Markdown

customErrDocMdCauseInEntrypoint :: Markdown

customErrClass :: ErrorClass

customErrArgumentSemantics :: Maybe Markdown

CustomErrorHasDoc "zero_denominator"

Defined in Lorentz.CustomArith.RationalArith

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.