Tipos opacos en

Acerca de Tipos opacos

Los tipos opacos en Gleam son tipos personalizados en los que solo el módulo que define el tipo puede construir valores de ese tipo o hacer coincidencia de patrones con ellos. Esto es útil para crear tipos que solo deberían usarse de una manera específica.

Los tipos opacos se definen con la palabra clave opaque.

pub opaque type PositiveInt {
  PositiveInt(inner: Int)
}

Este tipo PositiveInt sirve para situaciones en las que se quiere un entero, pero el valor tiene que ser cero o mayor. Un Int normal de Gleam no serviría, ya que también puede ser negativo.

El módulo que define este tipo puede definir una función para obtener el valor entero interno, y una función para crear el tipo PositiveInt que devolverá un error si el valor no es positivo.

pub fn from_int(i: Int) -> Result(PositiveInt, String) {
  case i {
    _ if i < 0 -> Error("Value must be positive")
    _ -> Ok(PositiveInt(i))
  }
}

pub fn to_int(i: PositiveInt) -> Int {
  i.inner
}

Con esta API, otros módulos no pueden construir un PositiveInt con un valor negativo, así que cualquier función que reciba un PositiveInt puede tener la certeza de que el valor es positivo.