kairos-core-0.1: A utility program for converting between timezones.
Safe HaskellNone
LanguageHaskell2010

Kairos.Types.Date

Description

Since: 0.1

Synopsis

Date

data Date where Source #

Represents a date string in the format YYYY-MM-DD.

Since: 0.1

Bundled Patterns

pattern MkDate :: Word16 -> Word8 -> Word8 -> Date

Since: 0.1

pattern MkDateString :: Text -> Date

Since: 0.1

Instances

Instances details
NFData Date Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Date.Internal

Methods

rnf :: Date -> () #

Generic Date Source # 
Instance details

Defined in Kairos.Types.Date.Internal

Associated Types

type Rep Date

Since: kairos-core-0.1

Instance details

Defined in Kairos.Types.Date.Internal

type Rep Date = D1 ('MetaData "Date" "Kairos.Types.Date.Internal" "kairos-core-0.1-inplace" 'False) (C1 ('MetaCons "UnsafeDate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word16) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word8) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word8))))

Methods

from :: Date -> Rep Date x #

to :: Rep Date x -> Date #

Show Date Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Date.Internal

Methods

showsPrec :: Int -> Date -> ShowS #

show :: Date -> String #

showList :: [Date] -> ShowS #

Eq Date Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Date.Internal

Methods

(==) :: Date -> Date -> Bool #

(/=) :: Date -> Date -> Bool #

HasField "day" Date Word8 Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Date.Internal

Methods

getField :: Date -> Word8 #

HasField "month" Date Word8 Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Date.Internal

Methods

getField :: Date -> Word8 #

HasField "unDateString" Date Text Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Date.Internal

Methods

getField :: Date -> Text #

HasField "year" Date Word16 Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Date.Internal

Methods

getField :: Date -> Word16 #

(k ~ A_Getter, a ~ Word8, b ~ Word8) => LabelOptic "day" k Date Date a b Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Date.Internal

Methods

labelOptic :: Optic k NoIx Date Date a b Source #

(k ~ A_Getter, a ~ Word8, b ~ Word8) => LabelOptic "month" k Date Date a b Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Date.Internal

Methods

labelOptic :: Optic k NoIx Date Date a b Source #

(k ~ A_Getter, a ~ (Word16, Word8, Word8), b ~ (Word16, Word8, Word8)) => LabelOptic "unDate" k Date Date a b Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Date.Internal

Methods

labelOptic :: Optic k NoIx Date Date a b Source #

(k ~ A_Getter, a ~ Text, b ~ Text) => LabelOptic "unDateString" k Date Date a b Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Date.Internal

Methods

labelOptic :: Optic k NoIx Date Date a b Source #

(k ~ A_Getter, a ~ Word16, b ~ Word16) => LabelOptic "year" k Date Date a b Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Date.Internal

Methods

labelOptic :: Optic k NoIx Date Date a b Source #

HasField "unDate" Date (Word16, Word8, Word8) Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Date.Internal

Methods

getField :: Date -> (Word16, Word8, Word8) #

type Rep Date Source #

Since: 0.1

Instance details

Defined in Kairos.Types.Date.Internal

type Rep Date = D1 ('MetaData "Date" "Kairos.Types.Date.Internal" "kairos-core-0.1-inplace" 'False) (C1 ('MetaCons "UnsafeDate" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word16) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word8) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Word8))))

Creation

parseDateString :: MonadFail f => Text -> f Date Source #

Parses a date string in YYYY-MM-DD form.

Since: 0.1

Elimination

unDateString :: Date -> Text Source #

Since: 0.1

unDate :: Date -> (Word16, Word8, Word8) Source #

Since: 0.1

year :: Date -> Word16 Source #

Since: 0.1

month :: Date -> Word8 Source #

Since: 0.1

day :: Date -> Word8 Source #

Since: 0.1

Optics

_DateString :: ReversedPrism' Date Text Source #

Since: 0.1