Oceanbox

Tromsø

https://oceanbox.io

Repositories

6

Projects Packages Members

13

ProjNet.FSharp (7.0.0)

Published 2026-06-04 07:31:28 +00:00 by mrtz

Installation

Set up this registry from the command line:

dotnet nuget add source --name oceanbox --username your_username --password your_token https://git.oceanbox.io/api/packages/oceanbox/nuget/index.json

To install the package using NuGet, run the following command:

dotnet add package --source oceanbox --version 7.0.0 ProjNet.FSharp

For more information on the NuGet registry, see the documentation.

About this package

Package Description

Changed

• Breaking: units of measure are now sound. Coordinate systems are phantom-typed Crs<'u> values minted only by CoordSys.* (CoordSys.WGS84 : Crs<wgs84>, CoordSys.UTMn : int -> Crs<utm>, etc.; CoordSys.EPSGn is Crs<1> since the EPSG code is resolved at runtime). makeTransform now takes Crs<'a> -> Crs<'b> -> IProj<'a, 'b>, so the measure flows from the CRS and can no longer be faked at the call site. The curated Transformations.* bindings derive their measures automatically
• Breaking: building a transform from a raw CoordinateSystem now uses the new makeTransformDyn : CoordinateSystem -> CoordinateSystem -> Proj (dimensionless tier)

Added

• Crs<'u> phantom-typed coordinate system with raw (unwrap to CoordinateSystem) and dyn (lift a runtime CoordinateSystem into Crs<1>)
• Proj — alias for the dimensionless IProj<1, 1>, returned by makeTransformDyn and getTransform
• Coord.tag/Coord.untag (and tagf/untagf for float32) — ergonomic tagging at the boundary between plain float/float32 coordinates and measure-carrying Coordf/Coords

Dependencies

ID	Version	Target Framework
FSharp.Core	10.1.300	net10.0
FSharp.Data	6.7.0	net10.0
FSharpPlus	1.9.1	net10.0
ProjNet	2.0.0	net10.0

Details

NuGet

2026-06-04 07:31:28 +00:00

2

ProjNet.FSharp

26 KiB

Assets (2)

projnet.fsharp.7.0.0.nupkg 24 KiB

projnet.fsharp.nuspec 2.0 KiB

Versions (4) View all

7.0.0 2026-06-04

6.0.0 2026-06-03

5.3.0 2026-06-03

5.2.0 2026-01-26