Safe Haskell | None |
---|---|
Language | Haskell2010 |
Kairos.Types.Exception
Description
Since: 0.1
Synopsis
- data ParseTimeException = MkParseTimeException (NonEmpty TimeFormat) Text
- newtype ParseTZInputException = MkParseTZInputException Text
- data LocalTimeZoneException = Exception e => MkLocalTimeZoneException e
- data LocalTZException = Exception e => MkLocalTZException e
- data LocalSystemTimeException = Exception e => MkLocalSystemTimeException e
- data SrcTZNoTimeStringException = MkSrcTZNoTimeStringException
- data DateNoTimeStringException = MkDateNoTimeStringException
Documentation
data ParseTimeException Source #
Exception parsing time string.
Since: 0.1
Constructors
MkParseTimeException (NonEmpty TimeFormat) Text |
Instances
newtype ParseTZInputException Source #
Exception parsing tz input names.
Since: 0.1
Constructors
MkParseTZInputException Text |
Instances
NFData ParseTZInputException Source # | Since: 0.1 | ||||
Defined in Kairos.Types.Exception Methods rnf :: ParseTZInputException -> () # | |||||
Exception ParseTZInputException Source # | Since: 0.1 | ||||
Defined in Kairos.Types.Exception | |||||
Generic ParseTZInputException Source # | |||||
Defined in Kairos.Types.Exception Associated Types
Methods from :: ParseTZInputException -> Rep ParseTZInputException x # to :: Rep ParseTZInputException x -> ParseTZInputException # | |||||
Show ParseTZInputException Source # | Since: 0.1 | ||||
Defined in Kairos.Types.Exception Methods showsPrec :: Int -> ParseTZInputException -> ShowS # show :: ParseTZInputException -> String # showList :: [ParseTZInputException] -> ShowS # | |||||
type Rep ParseTZInputException Source # | Since: 0.1 | ||||
Defined in Kairos.Types.Exception type Rep ParseTZInputException = D1 ('MetaData "ParseTZInputException" "Kairos.Types.Exception" "kairos-core-0.1-inplace" 'True) (C1 ('MetaCons "MkParseTZInputException" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) |
data LocalTimeZoneException Source #
Exception reading local system timezone.
Since: 0.1
Constructors
Exception e => MkLocalTimeZoneException e |
Instances
Exception LocalTimeZoneException Source # | Since: 0.1 |
Defined in Kairos.Types.Exception | |
Show LocalTimeZoneException Source # | Since: 0.1 |
Defined in Kairos.Types.Exception Methods showsPrec :: Int -> LocalTimeZoneException -> ShowS # show :: LocalTimeZoneException -> String # showList :: [LocalTimeZoneException] -> ShowS # |
data LocalTZException Source #
Exception reading local system tz. In contrast to
LocalTimeZoneException
, this is for when we try and fail to find
the local tz_database name e.g. America/New_York.
Since: 0.1
Constructors
Exception e => MkLocalTZException e |
Instances
Exception LocalTZException Source # | Since: 0.1 |
Defined in Kairos.Types.Exception Methods toException :: LocalTZException -> SomeException # fromException :: SomeException -> Maybe LocalTZException # | |
Show LocalTZException Source # | Since: 0.1 |
Defined in Kairos.Types.Exception Methods showsPrec :: Int -> LocalTZException -> ShowS # show :: LocalTZException -> String # showList :: [LocalTZException] -> ShowS # |
data LocalSystemTimeException Source #
Exception reading local system time.
Since: 0.1
Constructors
Exception e => MkLocalSystemTimeException e |
Instances
Exception LocalSystemTimeException Source # | Since: 0.1 |
Defined in Kairos.Types.Exception | |
Show LocalSystemTimeException Source # | Since: 0.1 |
Defined in Kairos.Types.Exception Methods showsPrec :: Int -> LocalSystemTimeException -> ShowS # show :: LocalSystemTimeException -> String # showList :: [LocalSystemTimeException] -> ShowS # |
data SrcTZNoTimeStringException Source #
Exception for when --src-tz is specified but time string is not.
Since: 0.1
Constructors
MkSrcTZNoTimeStringException |
Instances
Exception SrcTZNoTimeStringException Source # | Since: 0.1 |
Show SrcTZNoTimeStringException Source # | Since: 0.1 |
Defined in Kairos.Types.Exception Methods showsPrec :: Int -> SrcTZNoTimeStringException -> ShowS # show :: SrcTZNoTimeStringException -> String # showList :: [SrcTZNoTimeStringException] -> ShowS # |
data DateNoTimeStringException Source #
Exception for when --date specified but time string is not.
Since: 0.1
Constructors
MkDateNoTimeStringException |
Instances
Exception DateNoTimeStringException Source # | Since: 0.1 |
Defined in Kairos.Types.Exception | |
Show DateNoTimeStringException Source # | Since: 0.1 |
Defined in Kairos.Types.Exception Methods showsPrec :: Int -> DateNoTimeStringException -> ShowS # show :: DateNoTimeStringException -> String # showList :: [DateNoTimeStringException] -> ShowS # |