[
    {
        "name": "Geodesy",
        "comment": "\n\n# Types\n\n@docs Coordinate, DegreesMinutesSeconds, Unit\n\n# Helpers\n\n@docs decimalDegrees, degreesMinutesSeconds\n\n# Great-circle path (\"as the crow flies\")\n@docs distance, initialBearing, finalBearing, midpoint\n\n# Rhumb line\n@docs rhumbDistance, rhumbBearing, rhumbMidpoint\n\n",
        "unions": [
            {
                "name": "Unit",
                "comment": " Distance can be returned as kilometers, meters, miles, or feet\n",
                "args": [],
                "cases": [
                    [
                        "Kilometers",
                        []
                    ],
                    [
                        "Meters",
                        []
                    ],
                    [
                        "Miles",
                        []
                    ],
                    [
                        "Feet",
                        []
                    ]
                ]
            }
        ],
        "aliases": [
            {
                "name": "Coordinate",
                "comment": " Latitude & longitude pair, in decimal degrees\n",
                "args": [],
                "type": "( Float, Float )"
            },
            {
                "name": "DegreesMinutesSeconds",
                "comment": " Representation of degrees in degrees, minutes, and seconds\n",
                "args": [],
                "type": "( Int, Int, Float )"
            }
        ],
        "values": [
            {
                "name": "decimalDegrees",
                "comment": " Converts degrees, minutes, and seconds into decimal degrees\n",
                "type": "DegreesMinutesSeconds -> Float"
            },
            {
                "name": "degreesMinutesSeconds",
                "comment": " Converts decimal degrees into degrees, minutes, and seconds\n",
                "type": "Float -> DegreesMinutesSeconds"
            },
            {
                "name": "distance",
                "comment": " Great-circle distance between two points on a sphere\n",
                "type": "Coordinate -> Coordinate -> Unit -> Float"
            },
            {
                "name": "finalBearing",
                "comment": " The final compass bearing of a great-circle path\n",
                "type": "Coordinate -> Coordinate -> Float"
            },
            {
                "name": "initialBearing",
                "comment": " The initial compass bearing of a great-circle path\n",
                "type": "Coordinate -> Coordinate -> Float"
            },
            {
                "name": "midpoint",
                "comment": " Half-way point along a great circle path\n",
                "type": "Coordinate -> Coordinate -> Coordinate"
            },
            {
                "name": "rhumbBearing",
                "comment": " Constant compass bearing needed to traverse a rhumb line\n",
                "type": "Coordinate -> Coordinate -> Float"
            },
            {
                "name": "rhumbDistance",
                "comment": " Rhumb line distance between two points\n",
                "type": "Coordinate -> Coordinate -> Unit -> Float"
            },
            {
                "name": "rhumbMidpoint",
                "comment": " Half-way point along a rhumb line\n",
                "type": "Coordinate -> Coordinate -> Coordinate"
            }
        ],
        "binops": []
    }
]