| Copyright | (c) 2011 Kathleen Fisher <kathleen.fisher@gmail.com> John Launchbury <john.launchbury@gmail.com> |
|---|---|
| License | MIT |
| Maintainer | Karl Cronburg <karl@cs.tufts.edu> |
| Stability | experimental |
| Safe Haskell | None |
| Language | Haskell2010 |
Language.Pads.BaseTypes
Contents
Description
Some useful Pads types (parsers) implemented by the code generator in lieu of writing them by hand.
Synopsis
- pm2m :: Span -> (PMaybe a, PMaybe_md a_md) -> (Maybe a, Maybe_md a_md)
- m2pm :: (Maybe a, Maybe_md a_md) -> (PMaybe a, PMaybe_md a_md)
- type UTCTime_md = Base_md
- strToUTC :: String -> Span -> (StringSE, Base_md) -> (UTCTime, Base_md)
- uTCTime_def :: UTCTime
- utcToStr :: String -> (UTCTime, Base_md) -> (StringSE, Base_md)
- strToTz :: Span -> (StringSE, Base_md) -> (TimeZone, Base_md)
- tzToStr :: (TimeZone, Base_md) -> (StringSE, Base_md)
- hexStr2Int :: Span -> (StringFW, Base_md) -> (Int, Base_md)
- int2HexStr :: Int -> (Int, Base_md) -> (StringFW, Base_md)
Documentation
pm2m :: Span -> (PMaybe a, PMaybe_md a_md) -> (Maybe a, Maybe_md a_md) Source #
Pads maybe to Haskell maybe
type UTCTime_md = Base_md Source #
Coordinated universal time Pads metadata type
strToUTC :: String -> Span -> (StringSE, Base_md) -> (UTCTime, Base_md) Source #
UTC parser from a string based on Haskell builtin UTC parser.
uTCTime_def :: UTCTime Source #
Default time of: 0h Nov 17, 1858
utcToStr :: String -> (UTCTime, Base_md) -> (StringSE, Base_md) Source #
Format a UTC instance as a string.
hexStr2Int :: Span -> (StringFW, Base_md) -> (Int, Base_md) Source #
Transform a hexadecimal string to an int
int2HexStr :: Int -> (Int, Base_md) -> (StringFW, Base_md) Source #
Transform an int into a hexadecimal string