indigo-0.2.1: Convenient imperative eDSL over Lorentz.
Safe HaskellNone
LanguageHaskell2010

Indigo.Backend.Error

Description

Error related statements of Indigo language.

Documentation

failCustom :: forall tag err s t r. (err ~ ErrorArg tag, CustomErrorHasDoc tag, NiceConstant err) => Label tag -> Expr err -> IndigoState s t r Source #

failCustom_ :: forall tag s t r notVoidErrorMsg. (RequireNoArgError tag notVoidErrorMsg, CustomErrorHasDoc tag) => Label tag -> IndigoState s t r Source #

assert :: forall s x. IsError x => x -> Expr Bool -> IndigoState s s () Source #

assertSome :: forall x s err. (IsError err, KnownValue x) => err -> Expr (Maybe x) -> IndigoState s s () Source #

assertNone :: forall x s err. (IsError err, KnownValue x) => err -> Expr (Maybe x) -> IndigoState s s () Source #

assertRight :: forall x y s err. (IsError err, KnownValue x, KnownValue y) => err -> Expr (Either y x) -> IndigoState s s () Source #

assertLeft :: forall x y s err. (IsError err, KnownValue x, KnownValue y) => err -> Expr (Either y x) -> IndigoState s s () Source #

assertCustom :: forall tag err s. (err ~ ErrorArg tag, CustomErrorHasDoc tag, NiceConstant err) => Label tag -> Expr err -> Expr Bool -> IndigoState s s () Source #

assertCustom_ :: forall tag s notVoidErrorMsg. (RequireNoArgError tag notVoidErrorMsg, CustomErrorHasDoc tag) => Label tag -> Expr Bool -> IndigoState s s () Source #