Typeclasses

class HasThrow e where

Warning

DEPRECATED:

Exceptions are deprecated, prefer failWithStatus, and avoid using catch.

Use -Wno-deprecated-exceptions to disable this warning.

Part of the Exception constraint.

throwPure

: e -> t

Throw exception in a pure context.

instance HasThrow ArithmeticError

instance HasThrow AssertionFailed

instance HasThrow GeneralError

instance HasThrow PreconditionFailed

class HasMessage e where

Warning

DEPRECATED:

Exceptions are deprecated, prefer failWithStatus, and avoid using catch.

Use -Wno-deprecated-exceptions to disable this warning.

Part of the Exception constraint.

message

: e -> Text

Get the error message associated with an exception.

instance HasMessage AnyException

instance HasMessage ArithmeticError

instance HasMessage AssertionFailed

instance HasMessage GeneralError

instance HasMessage PreconditionFailed

class HasToAnyException e where

Warning

DEPRECATED:

Exceptions are deprecated, prefer failWithStatus, and avoid using catch.

Use -Wno-deprecated-exceptions to disable this warning.

Part of the Exception constraint.

toAnyException

: e -> AnyException

Convert an exception type to AnyException.

instance HasToAnyException AnyException

instance HasToAnyException ArithmeticError

instance HasToAnyException AssertionFailed

instance HasToAnyException GeneralError

instance HasToAnyException PreconditionFailed

class HasFromAnyException e where

Warning

DEPRECATED:

Exceptions are deprecated, prefer failWithStatus, and avoid using catch.

Use -Wno-deprecated-exceptions to disable this warning.

Part of the Exception constraint.

fromAnyException

: AnyException -> Optional e

Convert an AnyException back to the underlying exception type, if possible.

instance HasFromAnyException AnyException

instance HasFromAnyException ArithmeticError

instance HasFromAnyException AssertionFailed

instance HasFromAnyException GeneralError

instance HasFromAnyException PreconditionFailed

class Action m => ActionThrow m where

Warning

DEPRECATED:

Exceptions are deprecated, prefer failWithStatus, and avoid using catch.

Use -Wno-deprecated-exceptions to disable this warning.

Action type in which throw is supported.

throw

: Exception e => e -> m t

instance ActionThrow Update

class ActionThrow m => ActionCatch m where

Warning

DEPRECATED:

Exceptions are deprecated, prefer failWithStatus, and avoid using catch.

Use -Wno-deprecated-exceptions to disable this warning.

Action type in which try ... catch ... is supported. DEPRECATED: Avoid the use of catch in daml code, prefer error handling on client, and throwing using failWithStatus

_tryCatch

: (() -> m t) -> (AnyException -> Optional (m t)) -> m t

Handle an exception. Use the try ... catch ... syntax instead of calling this method directly.

instance ActionCatch Update

Data Types

= (HasThrow e, HasMessage e, HasToAnyException e, HasFromAnyException e)

Exception typeclass. This should not be implemented directly, instead, use the exception syntax.

data ArithmeticError

Warning

DEPRECATED:

Exceptions are deprecated, prefer failWithStatus, and avoid using catch.

Use -Wno-deprecated-exceptions to disable this warning.

Exception raised by an arithmetic operation, such as divide-by-zero or overflow.

ArithmeticError

Field	Type	Description
message	Text

data AssertionFailed

Warning

DEPRECATED:

Exceptions are deprecated, prefer failWithStatus, and avoid using catch.

Use -Wno-deprecated-exceptions to disable this warning.

Exception raised by assert functions in DA.Assert

AssertionFailed

Field	Type	Description
message	Text

data GeneralError

Warning

DEPRECATED:

Exceptions are deprecated, prefer failWithStatus, and avoid using catch.

Use -Wno-deprecated-exceptions to disable this warning.

Exception raised by error.

GeneralError

Field	Type	Description
message	Text

data PreconditionFailed

Warning

DEPRECATED:

Exceptions are deprecated, prefer failWithStatus, and avoid using catch.

Use -Wno-deprecated-exceptions to disable this warning.

Exception raised when a contract is invalid, i.e. fails the ensure clause.

PreconditionFailed

Field	Type	Description
message	Text