Copyright	(C) 2017 Ricky Elrod
License	(see project LICENSE file)
Maintainer	Ricky Elrod <ricky@elrod.me>
Stability	experimental
Portability	GeneralizedNewtypeDeriving, ViewPatterns
Safe Haskell	None
Language	Haskell2010

Data.HABSim.Grib2.CSVParse.Types

Description

This module provides types for parsing CSV files generated by wgrib2. It is used (and re-exported) by CSVParse.

Synopsis

Documentation

data Direction #

The wind direction

UGRD is North/South, VGRD is East/West.

If we're given something other than UGRD or VGRD in this field, we store the value in the Other constructor.

Constructors

UGRD
VGRD
Other String

Instances

Eq Direction #
Methods (==) :: Direction -> Direction -> Bool # (/=) :: Direction -> Direction -> Bool #
Show Direction #
Methods showsPrec :: Int -> Direction -> ShowS # show :: Direction -> String # showList :: [Direction] -> ShowS #
FromField Direction #
Methods parseField :: Field -> Parser Direction
Hashable Direction #
Methods hashWithSalt :: Int -> Direction -> Int hash :: Direction -> Int
HasDirection RawGribLine Direction #
Methods direction :: Lens' RawGribLine Direction #

newtype GribTime #

This is used for both the referenceTime and the forecastTime. The reason it exists is solely so we can create a FromField instance on UTCTime while avoiding orphan instances.

Constructors

GribTime
Fields _gribTime :: UTCTime

Instances

Eq GribTime #
Methods (==) :: GribTime -> GribTime -> Bool # (/=) :: GribTime -> GribTime -> Bool #
Ord GribTime #
Methods compare :: GribTime -> GribTime -> Ordering # (<) :: GribTime -> GribTime -> Bool # (<=) :: GribTime -> GribTime -> Bool # (>) :: GribTime -> GribTime -> Bool # (>=) :: GribTime -> GribTime -> Bool # max :: GribTime -> GribTime -> GribTime # min :: GribTime -> GribTime -> GribTime #
Read GribTime #
Methods readsPrec :: Int -> ReadS GribTime # readList :: ReadS [GribTime] # readPrec :: ReadPrec GribTime # readListPrec :: ReadPrec [GribTime] #
Show GribTime #
Methods showsPrec :: Int -> GribTime -> ShowS # show :: GribTime -> String # showList :: [GribTime] -> ShowS #
FormatTime GribTime #
Methods formatCharacter :: Char -> Maybe (TimeLocale -> Maybe NumericPadOption -> GribTime -> String) #
ParseTime GribTime #
Methods buildTime :: TimeLocale -> [(Char, String)] -> Maybe GribTime #
FromField GribTime #
Methods parseField :: Field -> Parser GribTime
HasGribTime GribTime UTCTime #
Methods gribTime :: Lens' GribTime UTCTime #
HasReferenceTime RawGribLine GribTime #
Methods referenceTime :: Lens' RawGribLine GribTime #
HasForecastTime RawGribLine GribTime #
Methods forecastTime :: Lens' RawGribLine GribTime #

data RawGribLine #

This is a (mostly-)raw gribline, right after being parsed.

The "mostly-" comes from the fact that we wrap a few things (e.g. the times into GribTime) and convert pressure into an Int.

Constructors

RawGribLine
Fields _referenceTime :: GribTime _forecastTime :: GribTime _direction :: Direction _pressure :: Int _longitude :: Longitude _latitude :: Latitude _velocity :: Double

Instances

Eq RawGribLine #
Methods (==) :: RawGribLine -> RawGribLine -> Bool # (/=) :: RawGribLine -> RawGribLine -> Bool #
Show RawGribLine #
Methods showsPrec :: Int -> RawGribLine -> ShowS # show :: RawGribLine -> String # showList :: [RawGribLine] -> ShowS #
HasLatitude RawGribLine Latitude #
Methods latitude :: Lens' RawGribLine Latitude #
HasLongitude RawGribLine Longitude #
Methods longitude :: Lens' RawGribLine Longitude #
HasPressure RawGribLine Int #
Methods pressure :: Lens' RawGribLine Int #
HasVelocity RawGribLine Double #
Methods velocity :: Lens' RawGribLine Double #
HasReferenceTime RawGribLine GribTime #
Methods referenceTime :: Lens' RawGribLine GribTime #
HasForecastTime RawGribLine GribTime #
Methods forecastTime :: Lens' RawGribLine GribTime #
HasDirection RawGribLine Direction #
Methods direction :: Lens' RawGribLine Direction #
HasRaw VGRDLine RawGribLine #
Methods raw :: Lens' VGRDLine RawGribLine #
HasRaw UGRDLine RawGribLine #
Methods raw :: Lens' UGRDLine RawGribLine #

newtype UGRDLine #

A single UGRD line.

Constructors

UGRDLine
Fields _uGRDLineRaw :: RawGribLine

Instances

Eq UGRDLine #
Methods (==) :: UGRDLine -> UGRDLine -> Bool # (/=) :: UGRDLine -> UGRDLine -> Bool #
Show UGRDLine #
Methods showsPrec :: Int -> UGRDLine -> ShowS # show :: UGRDLine -> String # showList :: [UGRDLine] -> ShowS #
HasRaw UGRDLine RawGribLine #
Methods raw :: Lens' UGRDLine RawGribLine #

newtype VGRDLine #

A single VGRD line.

Constructors

VGRDLine
Fields _vGRDLineRaw :: RawGribLine

Instances

Eq VGRDLine #
Methods (==) :: VGRDLine -> VGRDLine -> Bool # (/=) :: VGRDLine -> VGRDLine -> Bool #
Show VGRDLine #
Methods showsPrec :: Int -> VGRDLine -> ShowS # show :: VGRDLine -> String # showList :: [VGRDLine] -> ShowS #
HasRaw VGRDLine RawGribLine #
Methods raw :: Lens' VGRDLine RawGribLine #

newtype OtherLine #

A single non-UGRD and non-VGRD line.

Constructors

OtherLine
Fields _otherLineRaw :: RawGribLine

Instances

Eq OtherLine #
Methods (==) :: OtherLine -> OtherLine -> Bool # (/=) :: OtherLine -> OtherLine -> Bool #
Show OtherLine #
Methods showsPrec :: Int -> OtherLine -> ShowS # show :: OtherLine -> String # showList :: [OtherLine] -> ShowS #

data GribLine #

Either a UGRDLine or a VGRDLine. This is so we can parse and ultimately return a Vector containing both UGRD and VGRD lines. We return a Vector GribLine (or rather, Cassava does) and we just know that a GribLine will either be a UGRDLine or a VGRDLine.

If the line is anything else, we return the raw line in OtherGribLine.

Constructors

UGRDGribLine UGRDLine
VGRDGribLine VGRDLine
OtherGribLine OtherLine

Instances

Eq GribLine #
Methods (==) :: GribLine -> GribLine -> Bool # (/=) :: GribLine -> GribLine -> Bool #
Show GribLine #
Methods showsPrec :: Int -> GribLine -> ShowS # show :: GribLine -> String # showList :: [GribLine] -> ShowS #

type Pressure = Int #

type Key = (Longitude, Latitude, Pressure, Direction) #

newtype KeyedGribLine #

Constructors

KeyedGribLine (Key, GribLine)

Instances

Eq KeyedGribLine #
Methods (==) :: KeyedGribLine -> KeyedGribLine -> Bool # (/=) :: KeyedGribLine -> KeyedGribLine -> Bool #
Show KeyedGribLine #
Methods showsPrec :: Int -> KeyedGribLine -> ShowS # show :: KeyedGribLine -> String # showList :: [KeyedGribLine] -> ShowS #
FromRecord KeyedGribLine #
Methods parseRecord :: Record -> Parser KeyedGribLine