Data.NetCDF.Utils

Documentation

type NcIO a = IO (Either NcError a)

Simple synonym to tidy up signatures.

type Access a = ReaderT (String, FilePath) (ExceptT NcError IO) a

Monad stack to help with handling errors from FFI functions.

runAccess :: String -> String -> Access a -> NcIO a

Utility function to run access monad stack.

class Checkable a where

Utility class to make dealing with status return from foreign NetCDF functions a little easier.

Associated Types

type OutType a :: *

Methods

status :: a -> Int

proj :: a -> OutType a

Instances

Checkable Int

Defined in Data.NetCDF.Utils

Associated Types

type OutType Int :: Type

Methods

status :: Int -> Int

proj :: Int -> OutType Int

Checkable (Int, a)

Defined in Data.NetCDF.Utils

Associated Types

type OutType (Int, a) :: Type

Methods

status :: (Int, a) -> Int

proj :: (Int, a) -> OutType (Int, a)

Checkable (Int, a, b)

Defined in Data.NetCDF.Utils

Associated Types

type OutType (Int, a, b) :: Type

Methods

status :: (Int, a, b) -> Int

proj :: (Int, a, b) -> OutType (Int, a, b)

Checkable (Int, a, b, c)

Defined in Data.NetCDF.Utils

Associated Types

type OutType (Int, a, b, c) :: Type

Methods

status :: (Int, a, b, c) -> Int

proj :: (Int, a, b, c) -> OutType (Int, a, b, c)

Checkable (Int, a, b, c, d)

Defined in Data.NetCDF.Utils

Associated Types

type OutType (Int, a, b, c, d) :: Type

Methods

status :: (Int, a, b, c, d) -> Int

proj :: (Int, a, b, c, d) -> OutType (Int, a, b, c, d)

Checkable (Int, a, b, c, d, e)

Defined in Data.NetCDF.Utils

Associated Types

type OutType (Int, a, b, c, d, e) :: Type

Methods

status :: (Int, a, b, c, d, e) -> Int

proj :: (Int, a, b, c, d, e) -> OutType (Int, a, b, c, d, e)

chk :: Checkable a => IO a -> Access (OutType a)

Perform an IO action that returns a tuple with an integer status and some return values, processing errors.