casr-logbook-0.7.0: CASR 61.345 Pilot Personal Logbook
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Aviation.Casr.Logbook.Types.Time

Documentation

data Time Source #

Constructors

Time 

Fields

Instances

Instances details
Show Time Source # 
Instance details

Defined in Data.Aviation.Casr.Logbook.Types.Time

Methods

showsPrec :: Int -> Time -> ShowS #

show :: Time -> String #

showList :: [Time] -> ShowS #

HasTime Time Source # 
Instance details

Defined in Data.Aviation.Casr.Logbook.Types.Time

Methods

time :: Lens' Time Time Source #

daytime :: Lens' Time Day Source #

timeofday :: Lens' Time (Maybe TimeOfDay) Source #

Eq Time Source # 
Instance details

Defined in Data.Aviation.Casr.Logbook.Types.Time

Methods

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

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

Ord Time Source # 
Instance details

Defined in Data.Aviation.Casr.Logbook.Types.Time

Methods

compare :: Time -> Time -> Ordering #

(<) :: Time -> Time -> Bool #

(<=) :: Time -> Time -> Bool #

(>) :: Time -> Time -> Bool #

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

max :: Time -> Time -> Time #

min :: Time -> Time -> Time #

class HasTime c where Source #

Minimal complete definition

time

Methods

time :: Lens' c Time Source #

daytime :: Lens' c Day Source #

timeofday :: Lens' c (Maybe TimeOfDay) Source #

Instances

Instances details
HasTime Briefing Source # 
Instance details

Defined in Data.Aviation.Casr.Logbook.Types.Briefing

Methods

time :: Lens' Briefing Time Source #

daytime :: Lens' Briefing Day Source #

timeofday :: Lens' Briefing (Maybe TimeOfDay) Source #

HasTime Exam Source # 
Instance details

Defined in Data.Aviation.Casr.Logbook.Types.Exam

Methods

time :: Lens' Exam Time Source #

daytime :: Lens' Exam Day Source #

timeofday :: Lens' Exam (Maybe TimeOfDay) Source #

HasTime SimulatorFlight Source # 
Instance details

Defined in Data.Aviation.Casr.Logbook.Types.SimulatorFlight

Methods

time :: Lens' SimulatorFlight Time Source #

daytime :: Lens' SimulatorFlight Day Source #

timeofday :: Lens' SimulatorFlight (Maybe TimeOfDay) Source #

HasTime Time Source # 
Instance details

Defined in Data.Aviation.Casr.Logbook.Types.Time

Methods

time :: Lens' Time Time Source #

daytime :: Lens' Time Day Source #

timeofday :: Lens' Time (Maybe TimeOfDay) Source #

dayonly :: Day -> Time Source #

dayandtime :: Day -> TimeOfDay -> Time Source #

timeofday' :: HasTime c => Traversal' c TimeOfDay Source #