Documentation

failWith :: KnownValue a => Expr a -> IndigoState s t r Source #

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

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 #

failUnexpected_ :: MText -> 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 #