All files / core/domain box.ts

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
 
 
 
 
8x
 
 
 
 
 
 
 
 
8x
 
import { Schema } from 'effect'
 
import type * as Geometry from '../geo/geometry'
 
/** An area as [west, south, east, north] in degrees, the same tuple the grids use. */
export const Box = Schema.Tuple([
  Schema.Finite,
  Schema.Finite,
  Schema.Finite,
  Schema.Finite,
])
export type Box = typeof Box.Type
 
// NOTE: compile-time check that this Schema and the geometry layer's Box stay the same shape.
export const toGeometry = (box: Box): Geometry.Box => box