Indigo.Backend.Error

Error related statements of Indigo language.

Documentation

failWith :: IsExpr ex a => ex -> IndigoState s t r

failUsing_ :: IsError x => x -> IndigoState s t r

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

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

failUnexpected_ :: MText -> IndigoState s t r

assert :: forall s x ex. (IsError x, IsExpr ex Bool) => x -> ex -> IndigoState s s ()

assertSome :: forall x s err ex. (IsError err, KnownValue x, ex :~> Maybe x) => err -> ex -> IndigoState s s ()

assertNone :: forall x s err ex. (IsError err, KnownValue x, ex :~> Maybe x) => err -> ex -> IndigoState s s ()

assertRight :: forall x y s err ex. (IsError err, KnownValue x, KnownValue y, ex :~> Either y x) => err -> ex -> IndigoState s s ()

assertLeft :: forall x y s err ex. (IsError err, KnownValue x, KnownValue y, ex :~> Either y x) => err -> ex -> IndigoState s s ()

assertCustom :: forall tag err errEx ex s. (err ~ ErrorArg tag, CustomErrorHasDoc tag, NiceConstant err, IsExpr errEx err, IsExpr ex Bool) => Label tag -> errEx -> ex -> IndigoState s s ()

assertCustom_ :: forall tag s notVoidErrorMsg ex. (RequireNoArgError tag notVoidErrorMsg, CustomErrorHasDoc tag, IsExpr ex Bool) => Label tag -> ex -> IndigoState s s ()