aivi.image

Application data types for image. This module supplies vocabulary only: it does not load data, watch sources, or implement the task aliases it defines.

Import

use aivi.image (
    ImageError
    ImageFormat
    ImageSize
    ImageMetadata
    ImageTask
    ImageData
)

Overview

Item	Type	Description
ImageError	type	Things that can go wrong while loading or decoding an image
ImageFormat	type	Known image formats
ImageSize	record	Width and height
ImageMetadata	record	Format, size, and alpha information without carrying the bytes
ImageTask A	Task ImageError A	Generic image task alias
ImageData	record	Loaded image bytes plus format and size

Types

ImageError

type ImageError =
  | ImageNotFound Text
  | ImageDecodeFailed Text
  | UnsupportedFormat Text
  | ImageUnavailable

These variants explain why image loading failed.

• ImageNotFound — the image path could not be found
• ImageDecodeFailed — bytes were found, but could not be decoded into an image
• UnsupportedFormat — the format is recognised as unsupported
• ImageUnavailable — image loading is not available in the current runtime

ImageFormat

type ImageFormat =
  | Png
  | Jpeg
  | Webp
  | Svg
  | Gif
  | UnknownFormat Text

A small tagged type for the image format.

• Use UnknownFormat text when the loader has a format label but not a dedicated variant.

use aivi.image (
    ImageFormat
    Png
    Jpeg
    Webp
    Svg
    Gif
    UnknownFormat
)

type ImageFormat -> Text
func formatLabel =
 ||> Png             -> "PNG"
 ||> Jpeg            -> "JPEG"
 ||> Webp            -> "WebP"
 ||> Svg             -> "SVG"
 ||> Gif             -> "GIF"
 ||> UnknownFormat s -> s

ImageSize

type ImageSize = {
    width: Int,
    height: Int
}

Pixel dimensions of an image.

ImageMetadata

use aivi.image (
    ImageFormat
    ImageSize
)

type ImageMetadata = {
    format: ImageFormat,
    size: ImageSize,
    hasAlpha: Bool
}

Summary information about an image without carrying the raw bytes.

• format — the decoded image format
• size — width and height
• hasAlpha — True when the image includes an alpha channel

ImageTask

use aivi.image (ImageError)

type ImageTask A = (Task ImageError A)

Generic alias for image-related tasks.

ImageData

use aivi.image (
    ImageFormat
    ImageSize
)

type ImageData = {
    format: ImageFormat,
    size: ImageSize,
    bytes: Bytes
}

Full image payload.

• format — decoded format tag
• size — width and height
• bytes — raw image bytes

use aivi.image (ImageData)

type ImageData -> Int
func imageWidth = .size.width

Format constructors and task alias

Png, Jpeg, Webp, Svg, and Gif identify supported formats; UnknownFormat name preserves an unrecognized format label. ImageTask A is Task ImageError A.