casr-logbook-0.3.0: CASR 61.345 Pilot Personal Logbook

Safe HaskellNone
LanguageHaskell2010

Data.Aviation.Casr.Logbook.Types.Logbook

Documentation

data Logbook ae se ee be Source #

Constructors

Logbook 

Fields

Instances

(Eq be, Eq ee, Eq se, Eq ae) => Eq (Logbook ae se ee be) Source # 

Methods

(==) :: Logbook ae se ee be -> Logbook ae se ee be -> Bool #

(/=) :: Logbook ae se ee be -> Logbook ae se ee be -> Bool #

(Ord be, Ord ee, Ord se, Ord ae) => Ord (Logbook ae se ee be) Source # 

Methods

compare :: Logbook ae se ee be -> Logbook ae se ee be -> Ordering #

(<) :: Logbook ae se ee be -> Logbook ae se ee be -> Bool #

(<=) :: Logbook ae se ee be -> Logbook ae se ee be -> Bool #

(>) :: Logbook ae se ee be -> Logbook ae se ee be -> Bool #

(>=) :: Logbook ae se ee be -> Logbook ae se ee be -> Bool #

max :: Logbook ae se ee be -> Logbook ae se ee be -> Logbook ae se ee be #

min :: Logbook ae se ee be -> Logbook ae se ee be -> Logbook ae se ee be #

(Show be, Show ee, Show se, Show ae) => Show (Logbook ae se ee be) Source # 

Methods

showsPrec :: Int -> Logbook ae se ee be -> ShowS #

show :: Logbook ae se ee be -> String #

showList :: [Logbook ae se ee be] -> ShowS #

HasLogbook (Logbook ae0 se0 ee0 be0) ae0 se0 ee0 be0 Source # 

Methods

logbook :: Lens' (Logbook ae0 se0 ee0 be0) (Logbook ae0 se0 ee0 be0) Source #

logbookaviator :: Lens' (Logbook ae0 se0 ee0 be0) Aviator Source #

logbookentries :: Lens' (Logbook ae0 se0 ee0 be0) (Entries ae0 se0 ee0 be0) Source #

class HasLogbook c ae se ee be | c -> ae se ee be where Source #

Minimal complete definition

logbook

Methods

logbook :: Lens' c (Logbook ae se ee be) Source #

logbookaviator :: Lens' c Aviator Source #

logbookentries :: Lens' c (Entries ae se ee be) Source #

Instances

HasLogbook (Logbook ae0 se0 ee0 be0) ae0 se0 ee0 be0 Source # 

Methods

logbook :: Lens' (Logbook ae0 se0 ee0 be0) (Logbook ae0 se0 ee0 be0) Source #

logbookaviator :: Lens' (Logbook ae0 se0 ee0 be0) Aviator Source #

logbookentries :: Lens' (Logbook ae0 se0 ee0 be0) (Entries ae0 se0 ee0 be0) Source #

aviatorlogbook :: Aviator -> [Entry ae se ee be] -> Logbook ae se ee be Source #

emptylogbook :: Aviator -> Logbook ae se ee be Source #

singleentrylogbook :: Aviator -> Entry ae se ee be -> Logbook ae se ee be Source #