Safe Haskell	None
Language	Haskell2010

Data.Thyme.Calendar.OrdinalDate

Contents

Orphan instances

Description

ISO 8601 Ordinal Date format

Synopsis

type Year = Int
isLeapYear :: Year -> Bool
type DayOfYear = Int
data OrdinalDate = OrdinalDate {
- odYear :: !Year
- odDay :: !DayOfYear
}
ordinalDate :: Iso' Day OrdinalDate
ordinalDateValid :: OrdinalDate -> Maybe Day
_odYear :: Lens' OrdinalDate Year
_odDay :: Lens' OrdinalDate DayOfYear

Documentation

type Year = Int #

isLeapYear :: Year -> Bool #

Gregorian leap year?

type DayOfYear = Int #

data OrdinalDate #

Constructors

OrdinalDate
Fields odYear :: !Year odDay :: !DayOfYear

Instances

Bounded OrdinalDate #
Instance details Defined in Data.Thyme.Calendar.OrdinalDate Methods minBound :: OrdinalDate # maxBound :: OrdinalDate #
Eq OrdinalDate #
Instance details Defined in Data.Thyme.Calendar.Internal Methods (==) :: OrdinalDate -> OrdinalDate -> Bool # (/=) :: OrdinalDate -> OrdinalDate -> Bool #
Data OrdinalDate #
Instance details Defined in Data.Thyme.Calendar.Internal Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OrdinalDate -> c OrdinalDate # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OrdinalDate # toConstr :: OrdinalDate -> Constr # dataTypeOf :: OrdinalDate -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OrdinalDate) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OrdinalDate) # gmapT :: (forall b. Data b => b -> b) -> OrdinalDate -> OrdinalDate # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OrdinalDate -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OrdinalDate -> r # gmapQ :: (forall d. Data d => d -> u) -> OrdinalDate -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> OrdinalDate -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OrdinalDate -> m OrdinalDate # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OrdinalDate -> m OrdinalDate # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OrdinalDate -> m OrdinalDate #
Ord OrdinalDate #
Instance details Defined in Data.Thyme.Calendar.Internal Methods compare :: OrdinalDate -> OrdinalDate -> Ordering # (<) :: OrdinalDate -> OrdinalDate -> Bool # (<=) :: OrdinalDate -> OrdinalDate -> Bool # (>) :: OrdinalDate -> OrdinalDate -> Bool # (>=) :: OrdinalDate -> OrdinalDate -> Bool # max :: OrdinalDate -> OrdinalDate -> OrdinalDate # min :: OrdinalDate -> OrdinalDate -> OrdinalDate #
Show OrdinalDate #
Instance details Defined in Data.Thyme.Calendar.Internal Methods showsPrec :: Int -> OrdinalDate -> ShowS # show :: OrdinalDate -> String # showList :: [OrdinalDate] -> ShowS #
Generic OrdinalDate #
Instance details Defined in Data.Thyme.Calendar.Internal Associated Types type Rep OrdinalDate :: Type -> Type # Methods from :: OrdinalDate -> Rep OrdinalDate x # to :: Rep OrdinalDate x -> OrdinalDate #
Arbitrary OrdinalDate #
Instance details Defined in Data.Thyme.Calendar.OrdinalDate Methods arbitrary :: Gen OrdinalDate # shrink :: OrdinalDate -> [OrdinalDate] #
CoArbitrary OrdinalDate #
Instance details Defined in Data.Thyme.Calendar.OrdinalDate Methods coarbitrary :: OrdinalDate -> Gen b -> Gen b #
NFData OrdinalDate #
Instance details Defined in Data.Thyme.Calendar.Internal Methods rnf :: OrdinalDate -> () #
Random OrdinalDate #
Instance details Defined in Data.Thyme.Calendar.OrdinalDate Methods randomR :: RandomGen g => (OrdinalDate, OrdinalDate) -> g -> (OrdinalDate, g) # random :: RandomGen g => g -> (OrdinalDate, g) # randomRs :: RandomGen g => (OrdinalDate, OrdinalDate) -> g -> [OrdinalDate] # randoms :: RandomGen g => g -> [OrdinalDate] # randomRIO :: (OrdinalDate, OrdinalDate) -> IO OrdinalDate # randomIO :: IO OrdinalDate #
Unbox OrdinalDate #
Instance details Defined in Data.Thyme.Calendar.Internal
ParseTime OrdinalDate #
Instance details Defined in Data.Thyme.Format Methods buildTime :: TimeParse -> OrdinalDate #
FormatTime OrdinalDate #
Instance details Defined in Data.Thyme.Format Methods showsTime :: TimeLocale -> OrdinalDate -> (Char -> ShowS) -> Char -> ShowS #
Vector Vector OrdinalDate #
Instance details Defined in Data.Thyme.Calendar.Internal Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) OrdinalDate -> m (Vector OrdinalDate) # basicUnsafeThaw :: PrimMonad m => Vector OrdinalDate -> m (Mutable Vector (PrimState m) OrdinalDate) # basicLength :: Vector OrdinalDate -> Int # basicUnsafeSlice :: Int -> Int -> Vector OrdinalDate -> Vector OrdinalDate # basicUnsafeIndexM :: Monad m => Vector OrdinalDate -> Int -> m OrdinalDate # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) OrdinalDate -> Vector OrdinalDate -> m () # elemseq :: Vector OrdinalDate -> OrdinalDate -> b -> b #
MVector MVector OrdinalDate #
Instance details Defined in Data.Thyme.Calendar.Internal Methods basicLength :: MVector s OrdinalDate -> Int # basicUnsafeSlice :: Int -> Int -> MVector s OrdinalDate -> MVector s OrdinalDate # basicOverlaps :: MVector s OrdinalDate -> MVector s OrdinalDate -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) OrdinalDate) # basicInitialize :: PrimMonad m => MVector (PrimState m) OrdinalDate -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> OrdinalDate -> m (MVector (PrimState m) OrdinalDate) # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) OrdinalDate -> Int -> m OrdinalDate # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) OrdinalDate -> Int -> OrdinalDate -> m () # basicClear :: PrimMonad m => MVector (PrimState m) OrdinalDate -> m () # basicSet :: PrimMonad m => MVector (PrimState m) OrdinalDate -> OrdinalDate -> m () # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) OrdinalDate -> MVector (PrimState m) OrdinalDate -> m () # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) OrdinalDate -> MVector (PrimState m) OrdinalDate -> m () # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) OrdinalDate -> Int -> m (MVector (PrimState m) OrdinalDate) #
type Rep OrdinalDate #
Instance details Defined in Data.Thyme.Calendar.Internal type Rep OrdinalDate = D1 (MetaData "OrdinalDate" "Data.Thyme.Calendar.Internal" "thyme-0.3.5.5-5fDUuKjOKkrCqjpykDCZJz" False) (C1 (MetaCons "OrdinalDate" PrefixI True) (S1 (MetaSel (Just "odYear") SourceUnpack SourceStrict DecidedStrict) (Rec0 Year) :*: S1 (MetaSel (Just "odDay") SourceUnpack SourceStrict DecidedStrict) (Rec0 DayOfYear)))
newtype Vector OrdinalDate #
Instance details Defined in Data.Thyme.Calendar.Internal newtype Vector OrdinalDate = V_OrdinalDate (Vector Int)
newtype MVector s OrdinalDate #
Instance details Defined in Data.Thyme.Calendar.Internal newtype MVector s OrdinalDate = MV_OrdinalDate (MVector s Int)

ordinalDate :: Iso' Day OrdinalDate #

ordinalDateValid :: OrdinalDate -> Maybe Day #

_odYear :: Lens' OrdinalDate Year #

_odDay :: Lens' OrdinalDate DayOfYear #

Orphan instances

Bounded OrdinalDate #
Instance details Methods minBound :: OrdinalDate # maxBound :: OrdinalDate #
Arbitrary OrdinalDate #
Instance details Methods arbitrary :: Gen OrdinalDate # shrink :: OrdinalDate -> [OrdinalDate] #
CoArbitrary OrdinalDate #
Instance details Methods coarbitrary :: OrdinalDate -> Gen b -> Gen b #
Random OrdinalDate #
Instance details Methods randomR :: RandomGen g => (OrdinalDate, OrdinalDate) -> g -> (OrdinalDate, g) # random :: RandomGen g => g -> (OrdinalDate, g) # randomRs :: RandomGen g => (OrdinalDate, OrdinalDate) -> g -> [OrdinalDate] # randoms :: RandomGen g => g -> [OrdinalDate] # randomRIO :: (OrdinalDate, OrdinalDate) -> IO OrdinalDate # randomIO :: IO OrdinalDate #