← all modules

Sky.Core.Error

Sky.Core.Error
  Sky.Core.Error — the single unified error type used across the

Types
  type alias ErrorInfo
  type alias PanicInfo
  type alias TypeInfo
  type Error = Error ErrorKind ErrorInfo
  type ErrorKind = Io | Network | Ffi | Decode | Timeout | NotFound | PermissionDenied | InvalidInput | Conflict | Unavailable | Unexpected
  type ErrorDetails = FfiPanic PanicInfo | TypeMismatch TypeInfo | HttpStatus Int | JsonDecode String | Custom String

Values
  conflict : String -> Error
  decode : String -> Error
  ffi : String -> Error
  invalidInput : String -> Error
  io : String -> Error
  isRetryable : Error -> Bool
  kindLabel : ErrorKind -> String
  mkInfo : String -> ErrorInfo
  network : String -> Error
  notFound : Error
  permissionDenied : Error
  timeout : Error
  toString : Error -> String
  unavailable : String -> Error
  unexpected : String -> Error
  withDetails : ErrorDetails -> Error -> Error
  withMessage : String -> Error -> Error