curry.exceptions module

exception curry.exceptions.CompileError[source]

Bases: BaseException

Raised when an error occurs while compiling Curry code.

exception curry.exceptions.CurryIndexError[source]

Bases: IndexError

Raised when indexing into a Curry expression fails.

exception curry.exceptions.CurryTypeError[source]

Bases: TypeError

Raised when a type error occurs while evaluating a Curry program.

exception curry.exceptions.DynloadError[source]

Bases: RuntimeError

Raised when a compiled Curry module cannot be loaded.

exception curry.exceptions.EvaluationError[source]

Bases: BaseException

Signals an error raised from a Curry program.

exception curry.exceptions.EvaluationSuspended[source]

Bases: EvaluationError

Evaluation failed due to suspended constraints.

exception curry.exceptions.FailMonadError[source]

Bases: MonadError

CTOR_INDEX = 2

exception curry.exceptions.InstantiationError[source]

Bases: BaseException

Raised when a free variable is bound to an unboxed value.

exception curry.exceptions.ModuleLookupError[source]

Bases: ValueError

Raised when a Curry module is not found.

exception curry.exceptions.MonadError[source]

Bases: EvaluationError

CTOR_INDEX = 0

exception curry.exceptions.NondetMonadError[source]

Bases: MonadError

CTOR_INDEX = 3

exception curry.exceptions.NotConstructorError(arg)[source]

Bases: ValueError

Raised when a non-constructor value occurs where disallowed.

exception curry.exceptions.PrerequisiteError[source]

Bases: OSError

Raised when a build prerequisite is invalid.

exception curry.exceptions.SymbolLookupError[source]

Bases: AttributeError

Raised when a Curry symbol is not found.

exception curry.exceptions.TimeoutError[source]: Bases: RuntimeError

exception curry.exceptions.TypeLookupError[source]

Bases: AttributeError

Raised when a Curry type is not found.

exception curry.exceptions.UserMonadError[source]

Bases: MonadError

CTOR_INDEX = 1