| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Model.RESTDatatypes
Description
Module contains all datatypes used by the REST service and functions to parse all ready members and strings
- data Login = Login {
- loginMail :: !Text
- loginPassword :: !Text
- type LoginId = Key Login
- data Session = Session {
- sessionKey :: !Int
- type SessionId = Key Session
- data Member = Member {
- memberName :: !Text
- memberSurName :: !Text
- memberBirthDay :: !Int
- memberBirthMonth :: !Int
- memberBirthYear :: !Int
- memberExamationDay :: !Int
- memberExamationMonth :: !Int
- memberExamationYear :: !Int
- memberInstructionCheck :: !Int
- memberExerciseCheck :: !Int
- type MemberId = Key Member
- data Memberlist = Memberlist {
- memberlistMembers :: ![Member]
- type MemberlistId = Key Memberlist
- data Membersupdate = Membersupdate {}
- type MembersupdateId = Key Membersupdate
- data Appointment = Appointment {
- appointmentTitle :: !Text
- appointmentType :: !Text
- appointmentDay :: !Int
- appointmentMonth :: !Int
- appointmentYear :: !Int
- appointmentHour :: !Int
- appointmentMinute :: !Int
- appointmentMembers :: ![Text]
- type AppointmentId = Key Appointment
- data Appointmentlist = Appointmentlist {}
- type AppointmentlistId = Key Appointmentlist
- migrateAll :: Migration
- localTime :: IO (Integer, Int, Int)
- membersReady :: [Entity Member] -> (Integer, Int, Int) -> [Entity Member]
- membersReadyList :: [Entity Member] -> (Integer, Int, Int) -> [Bool]
- appointmentsInFuture :: [Entity Appointment] -> (Integer, Int, Int) -> [Entity Appointment]
- appointmentInFuture :: Entity Appointment -> (Int, Int, Integer) -> Bool
- membersReadyFilter :: Entity Member -> (Int, Int, Integer) -> Bool
- dateToString :: (Int, Int, Int) -> String
- timeToString :: (Int, Int) -> String
Documentation
All REST Datatypes which can be packed into json und unpacked
Constructors
| Login | |
Fields
| |
Instances
| Show Login Source # | |
| ToJSON Login Source # | |
| FromJSON Login Source # | |
| PersistFieldSql Login Source # | |
| PersistEntity Login Source # | |
| PersistField Login Source # | |
| ToBackendKey SqlBackend Login Source # | |
| Eq (Key Login) Source # | |
| Ord (Key Login) Source # | |
| Read (Key Login) Source # | |
| Show (Key Login) Source # | |
| ToJSON (Key Login) Source # | |
| ToJSON (Entity Login) Source # | |
| FromJSON (Key Login) Source # | |
| FromJSON (Entity Login) Source # | |
| ToHttpApiData (Key Login) Source # | |
| FromHttpApiData (Key Login) Source # | |
| PathPiece (Key Login) Source # | |
| PersistFieldSql (Key Login) Source # | |
| PersistField (Key Login) Source # | |
| data Unique Login Source # | |
| data EntityField Login Source # | |
| data Key Login Source # | |
| type PersistEntityBackend Login Source # | |
Constructors
| Session | |
Fields
| |
Instances
| ToJSON Session Source # | |
| FromJSON Session Source # | |
| PersistFieldSql Session Source # | |
| PersistEntity Session Source # | |
| PersistField Session Source # | |
| ToBackendKey SqlBackend Session Source # | |
| Eq (Key Session) Source # | |
| Ord (Key Session) Source # | |
| Read (Key Session) Source # | |
| Show (Key Session) Source # | |
| ToJSON (Key Session) Source # | |
| ToJSON (Entity Session) Source # | |
| FromJSON (Key Session) Source # | |
| FromJSON (Entity Session) Source # | |
| ToHttpApiData (Key Session) Source # | |
| FromHttpApiData (Key Session) Source # | |
| PathPiece (Key Session) Source # | |
| PersistFieldSql (Key Session) Source # | |
| PersistField (Key Session) Source # | |
| data Unique Session Source # | |
| data EntityField Session Source # | |
| data Key Session Source # | |
| type PersistEntityBackend Session Source # | |
Constructors
| Member | |
Fields
| |
Instances
| ToJSON Member Source # | |
| FromJSON Member Source # | |
| PersistFieldSql Member Source # | |
| PersistEntity Member Source # | |
| PersistField Member Source # | |
| ToBackendKey SqlBackend Member Source # | |
| Eq (Key Member) Source # | |
| Ord (Key Member) Source # | |
| Read (Key Member) Source # | |
| Show (Key Member) Source # | |
| ToJSON (Key Member) Source # | |
| ToJSON (Entity Member) Source # | |
| FromJSON (Key Member) Source # | |
| FromJSON (Entity Member) Source # | |
| ToHttpApiData (Key Member) Source # | |
| FromHttpApiData (Key Member) Source # | |
| PathPiece (Key Member) Source # | |
| PersistFieldSql (Key Member) Source # | |
| PersistField (Key Member) Source # | |
| data Unique Member Source # | |
| data EntityField Member Source # | |
| data Key Member Source # | |
| type PersistEntityBackend Member Source # | |
data Memberlist Source #
Constructors
| Memberlist | |
Fields
| |
Instances
type MemberlistId = Key Memberlist Source #
data Membersupdate Source #
Constructors
| Membersupdate | |
Fields
| |
Instances
type MembersupdateId = Key Membersupdate Source #
data Appointment Source #
Constructors
| Appointment | |
Fields
| |
Instances
type AppointmentId = Key Appointment Source #
data Appointmentlist Source #
Constructors
| Appointmentlist | |
Fields | |
Instances
type AppointmentlistId = Key Appointmentlist Source #
Get Current Time in (Year, Month, Day)
Arguments
| :: [Entity Member] | List of Members |
| -> (Integer, Int, Int) | Current Date |
| -> [Entity Member] | Return Members which joined all importend appointments |
Get Return Members which joined all importend appointments
membersReadyList :: [Entity Member] -> (Integer, Int, Int) -> [Bool] Source #
Get members which joined all importend appointments
Arguments
| :: [Entity Appointment] | List of Appointments |
| -> (Integer, Int, Int) | Current Date |
| -> [Entity Appointment] | Appointments in future |
Get appointments in Future
Arguments
| :: Entity Appointment | Appointment to check |
| -> (Int, Int, Integer) | Current Date |
| -> Bool | Flag if date is in future |
Check if appointment is in future
Check if member joined all importend appointments
Convert Date to String