Safe Haskell	Safe-Inferred
Language	Haskell2010

Datatypes

Description

Synopsis

data User = User {
- nameUser :: String
- emailUser :: String
- isAdminUser :: Bool
}
data UserFull = UserFull {
- name :: String
- email :: String
- password :: Text
- registrationDate :: String
- isAdmin :: Bool
}
type ErrorLog = String
data Screen
- = ExitScreen
- | FirstScreen
- | StartScreen
- | LoginScreen
- | LoggedScreen
- | AdminScreen
- | InsertRoomScreen
- | SignUpScreen
- | RemoveUserScreen
- | ViewUserScreen
- | ViewScreen
- | ViewRoomScreen
- | ViewFilterScreen
- | ReportRoomScreen
- | ReportDayScreen
- | CreateReservationScreen
- | EditReservationScreen
- | RemoveReservationScreen
data Room = Room {
- code :: String
- schedule :: [Reservation]
- resources :: [Resource]
- capacity :: Int
- localization :: String
- category :: RoomCategory
}
data Reservation = Reservation {
- requester :: String
- description :: String
- startTime :: LocalTime
- finishTime :: LocalTime
}
data RoomCategory
- = Laboratory
- | Auditorium
- | Classroom
- | Office
- | Warehouse
data ResourceKind
- = Projector
- | Microscope
- | Desk
- | Computer
- | Board
- | AirConditioner
data Resource = Resource {
- resourceKind :: ResourceKind
- resourceQuantity :: Int
}

Documentation

data User Source #

Versão resumida de usuário do sistema. Mantém dados essenciais, mas omite dados sensíveis que não serão necessários.

Constructors

User
Fields nameUser :: String O nome do Usuário. emailUser :: String O e-mail do usuário. isAdminUser :: Bool Indicação se o usuário é ou não um administrador.

Instances

Instances details

Eq User Source #
Instance details Defined in Datatypes Methods (==) :: User -> User -> Bool # (/=) :: User -> User -> Bool #
Show User Source #
Instance details Defined in Handlers.UserHandler Methods showsPrec :: Int -> User -> ShowS # show :: User -> String # showList :: [User] -> ShowS #
Generic User Source #
Instance details Defined in Datatypes Associated Types type Rep User :: Type -> Type # Methods from :: User -> Rep User x # to :: Rep User x -> User #
ToJSON User Source #
Instance details Defined in Handlers.DataHandler Methods toJSON :: User -> Value # toEncoding :: User -> Encoding # toJSONList :: [User] -> Value # toEncodingList :: [User] -> Encoding #
FromJSON User Source #
Instance details Defined in Handlers.DataHandler Methods parseJSON :: Value -> Parser User # parseJSONList :: Value -> Parser [User] #
type Rep User Source #
Instance details Defined in Datatypes type Rep User = D1 ('MetaData "User" "Datatypes" "SIGES-0.1.0.0-FsG69xsmiW77B8YjOPBwKm" 'False) (C1 ('MetaCons "User" 'PrefixI 'True) (S1 ('MetaSel ('Just "nameUser") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: (S1 ('MetaSel ('Just "emailUser") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: S1 ('MetaSel ('Just "isAdminUser") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))

data UserFull Source #

Versão completa do usuário do sistema, a ser usada quando se precisa de todas as informações do usuário.

Constructors

UserFull
Fields name :: String O nome do usuário. email :: String O e-mail do usuário. password :: Text A senha (criptografada) do usuário. registrationDate :: String A data em que o usuário se registrou. isAdmin :: Bool Indicação se o usuário é administrador.

Instances

Instances details

Eq UserFull Source #
Instance details Defined in Datatypes Methods (==) :: UserFull -> UserFull -> Bool # (/=) :: UserFull -> UserFull -> Bool #
Show UserFull Source #
Instance details Defined in Datatypes Methods showsPrec :: Int -> UserFull -> ShowS # show :: UserFull -> String # showList :: [UserFull] -> ShowS #
Generic UserFull Source #
Instance details Defined in Datatypes Associated Types type Rep UserFull :: Type -> Type # Methods from :: UserFull -> Rep UserFull x # to :: Rep UserFull x -> UserFull #
ToJSON UserFull Source #
Instance details Defined in Handlers.DataHandler Methods toJSON :: UserFull -> Value # toEncoding :: UserFull -> Encoding # toJSONList :: [UserFull] -> Value # toEncodingList :: [UserFull] -> Encoding #
FromJSON UserFull Source #
Instance details Defined in Handlers.DataHandler Methods parseJSON :: Value -> Parser UserFull # parseJSONList :: Value -> Parser [UserFull] #
type Rep UserFull Source #
Instance details Defined in Datatypes type Rep UserFull = D1 ('MetaData "UserFull" "Datatypes" "SIGES-0.1.0.0-FsG69xsmiW77B8YjOPBwKm" 'False) (C1 ('MetaCons "UserFull" 'PrefixI 'True) ((S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: S1 ('MetaSel ('Just "email") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :: (S1 ('MetaSel ('Just "password") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: (S1 ('MetaSel ('Just "registrationDate") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: S1 ('MetaSel ('Just "isAdmin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))))

type ErrorLog = String Source #

Define o tipo ErrorLog como uma String.

data Screen Source #

As diferentes telas do sistema.

Constructors

ExitScreen	A tela de saída do sistema.
FirstScreen	A tela inicial, quando nenhum administrador foi cadastrado ainda.
StartScreen	A tela inicial do sistema quando já existem usuários cadastrados.
LoginScreen	A tela de Login.
LoggedScreen	A tela após um usuário logar-se no sistema.
AdminScreen	A tela exibida após um administrador fazer login no sistema.
InsertRoomScreen	A tela de cadastrar uma nova sala no sistema
SignUpScreen	A tela de cadastro do usuário.
RemoveUserScreen	A tela de remoção de um usuário.
ViewUserScreen	A tela de visualização de salas específica de um usuário.
ViewScreen	A tela com opções de visualização de salas.
ViewRoomScreen	A tela de visualização de uma sala específica.
ViewFilterScreen	A tela de busca de salas por filtros.
ReportRoomScreen	A tela de exibição de relatório de ocupação para uma sala específica.
ReportDayScreen	A tela de exibição de relatório de ocupação para todas as salas em um determinado dia.
CreateReservationScreen	A tela para se fazer uma nova reserva em uma sala.
EditReservationScreen	A tela para se editar uma reserva previamente feita.
RemoveReservationScreen	A tela para se remover uma reserva previamente feita.

Instances

Instances details

Eq Screen Source #
Instance details Defined in Datatypes Methods (==) :: Screen -> Screen -> Bool # (/=) :: Screen -> Screen -> Bool #
Content Screen Source #
Instance details Defined in TUI.OutputScreens Methods getContent :: Screen -> String Source # nextScreens :: Screen -> Map Char Screen Source #
Action Screen Source #
Instance details Defined in TUI.ScreenListeners Methods useContent :: Screen -> IO Screen Source #

data Room Source #

Uma sala do sistema SIGES.

Constructors

Room
Fields code :: String O código da sala. schedule :: [Reservation] A agenda onde são armazenadas todas as reservas ativas para esta sala. resources :: [Resource] A lista de recursos oferecidos pela sala. capacity :: Int A quantidade de pessoas suportada pela sala. localization :: String A Localização da Sala. category :: RoomCategory A categoria da sala.

Instances

Instances details

Eq Room Source #
Instance details Defined in Datatypes Methods (==) :: Room -> Room -> Bool # (/=) :: Room -> Room -> Bool #
Show Room Source #
Instance details Defined in Handlers.RoomsHandler Methods showsPrec :: Int -> Room -> ShowS # show :: Room -> String # showList :: [Room] -> ShowS #
Generic Room Source #
Instance details Defined in Datatypes Associated Types type Rep Room :: Type -> Type # Methods from :: Room -> Rep Room x # to :: Rep Room x -> Room #
ToJSON Room Source #
Instance details Defined in Handlers.DataHandler Methods toJSON :: Room -> Value # toEncoding :: Room -> Encoding # toJSONList :: [Room] -> Value # toEncodingList :: [Room] -> Encoding #
FromJSON Room Source #
Instance details Defined in Handlers.DataHandler Methods parseJSON :: Value -> Parser Room # parseJSONList :: Value -> Parser [Room] #
type Rep Room Source #
Instance details Defined in Datatypes type Rep Room = D1 ('MetaData "Room" "Datatypes" "SIGES-0.1.0.0-FsG69xsmiW77B8YjOPBwKm" 'False) (C1 ('MetaCons "Room" 'PrefixI 'True) ((S1 ('MetaSel ('Just "code") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: (S1 ('MetaSel ('Just "schedule") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Reservation]) :: S1 ('MetaSel ('Just "resources") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Resource]))) :: (S1 ('MetaSel ('Just "capacity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :: (S1 ('MetaSel ('Just "localization") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "category") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RoomCategory)))))

data Reservation Source #

As reservas de salas do sistema.

Constructors

Reservation
Fields requester :: String O responsável pela reserva. description :: String A descrição do evento da reserva. startTime :: LocalTime O tempo de início do evento. finishTime :: LocalTime O tempo de finalização do evento.

Instances

Instances details

Eq Reservation Source #
Instance details Defined in Datatypes Methods (==) :: Reservation -> Reservation -> Bool # (/=) :: Reservation -> Reservation -> Bool #
Ord Reservation Source #
Instance details Defined in Handlers.RoomsHandler Methods compare :: Reservation -> Reservation -> Ordering # (<) :: Reservation -> Reservation -> Bool # (<=) :: Reservation -> Reservation -> Bool # (>) :: Reservation -> Reservation -> Bool # (>=) :: Reservation -> Reservation -> Bool # max :: Reservation -> Reservation -> Reservation # min :: Reservation -> Reservation -> Reservation #
Show Reservation Source #
Instance details Defined in Handlers.RoomsHandler Methods showsPrec :: Int -> Reservation -> ShowS # show :: Reservation -> String # showList :: [Reservation] -> ShowS #
Generic Reservation Source #
Instance details Defined in Datatypes Associated Types type Rep Reservation :: Type -> Type # Methods from :: Reservation -> Rep Reservation x # to :: Rep Reservation x -> Reservation #
ToJSON Reservation Source #
Instance details Defined in Handlers.DataHandler Methods toJSON :: Reservation -> Value # toEncoding :: Reservation -> Encoding # toJSONList :: [Reservation] -> Value # toEncodingList :: [Reservation] -> Encoding #
FromJSON Reservation Source #
Instance details Defined in Handlers.DataHandler Methods parseJSON :: Value -> Parser Reservation # parseJSONList :: Value -> Parser [Reservation] #
type Rep Reservation Source #
Instance details Defined in Datatypes type Rep Reservation = D1 ('MetaData "Reservation" "Datatypes" "SIGES-0.1.0.0-FsG69xsmiW77B8YjOPBwKm" 'False) (C1 ('MetaCons "Reservation" 'PrefixI 'True) ((S1 ('MetaSel ('Just "requester") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :: S1 ('MetaSel ('Just "description") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :: (S1 ('MetaSel ('Just "startTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LocalTime) :*: S1 ('MetaSel ('Just "finishTime") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 LocalTime))))

data RoomCategory Source #

As categorias de sala oferecidas pelo sistema.

Constructors

Laboratory	Sala que funciona como um laboratório.
Auditorium	Sala que funciona como um auditório.
Classroom	Sala que funciona como uma sala de aula.
Office	Sala que funciona como um escritório.
Warehouse	Sala que funciona como um depósito.

Instances

Instances details

Eq RoomCategory Source #
Instance details Defined in Datatypes Methods (==) :: RoomCategory -> RoomCategory -> Bool # (/=) :: RoomCategory -> RoomCategory -> Bool #
Show RoomCategory Source #
Instance details Defined in Datatypes Methods showsPrec :: Int -> RoomCategory -> ShowS # show :: RoomCategory -> String # showList :: [RoomCategory] -> ShowS #
Generic RoomCategory Source #
Instance details Defined in Datatypes Associated Types type Rep RoomCategory :: Type -> Type # Methods from :: RoomCategory -> Rep RoomCategory x # to :: Rep RoomCategory x -> RoomCategory #
ToJSON RoomCategory Source #
Instance details Defined in Handlers.DataHandler Methods toJSON :: RoomCategory -> Value # toEncoding :: RoomCategory -> Encoding # toJSONList :: [RoomCategory] -> Value # toEncodingList :: [RoomCategory] -> Encoding #
FromJSON RoomCategory Source #
Instance details Defined in Handlers.DataHandler Methods parseJSON :: Value -> Parser RoomCategory # parseJSONList :: Value -> Parser [RoomCategory] #
type Rep RoomCategory Source #
Instance details Defined in Datatypes type Rep RoomCategory = D1 ('MetaData "RoomCategory" "Datatypes" "SIGES-0.1.0.0-FsG69xsmiW77B8YjOPBwKm" 'False) ((C1 ('MetaCons "Laboratory" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Auditorium" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Classroom" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Office" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Warehouse" 'PrefixI 'False) (U1 :: Type -> Type))))

data ResourceKind Source #

Os tipos de recursos existentes no sistema.

Constructors

Projector	Projetor ou Datashow.
Microscope	Microscópio.
Desk	Escrivaninha.
Computer	Computador.
Board	Quadro negro ou branco.
AirConditioner	Ar condicionado.

Instances

Instances details

Eq ResourceKind Source #
Instance details Defined in Datatypes Methods (==) :: ResourceKind -> ResourceKind -> Bool # (/=) :: ResourceKind -> ResourceKind -> Bool #
Show ResourceKind Source #
Instance details Defined in Datatypes Methods showsPrec :: Int -> ResourceKind -> ShowS # show :: ResourceKind -> String # showList :: [ResourceKind] -> ShowS #
Generic ResourceKind Source #
Instance details Defined in Datatypes Associated Types type Rep ResourceKind :: Type -> Type # Methods from :: ResourceKind -> Rep ResourceKind x # to :: Rep ResourceKind x -> ResourceKind #
ToJSON ResourceKind Source #
Instance details Defined in Handlers.DataHandler Methods toJSON :: ResourceKind -> Value # toEncoding :: ResourceKind -> Encoding # toJSONList :: [ResourceKind] -> Value # toEncodingList :: [ResourceKind] -> Encoding #
FromJSON ResourceKind Source #
Instance details Defined in Handlers.DataHandler Methods parseJSON :: Value -> Parser ResourceKind # parseJSONList :: Value -> Parser [ResourceKind] #
type Rep ResourceKind Source #
Instance details Defined in Datatypes type Rep ResourceKind = D1 ('MetaData "ResourceKind" "Datatypes" "SIGES-0.1.0.0-FsG69xsmiW77B8YjOPBwKm" 'False) ((C1 ('MetaCons "Projector" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Microscope" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Desk" 'PrefixI 'False) (U1 :: Type -> Type))) :+: (C1 ('MetaCons "Computer" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Board" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AirConditioner" 'PrefixI 'False) (U1 :: Type -> Type))))

data Resource Source #

Os recursos oferecidos pelas salas do sistema.

Constructors

Resource
Fields resourceKind :: ResourceKind O tipo do recurso. resourceQuantity :: Int A quantidade do recurso que a sala oferece.

Instances

Instances details

Eq Resource Source #
Instance details Defined in Datatypes Methods (==) :: Resource -> Resource -> Bool # (/=) :: Resource -> Resource -> Bool #
Show Resource Source #
Instance details Defined in Handlers.RoomsHandler Methods showsPrec :: Int -> Resource -> ShowS # show :: Resource -> String # showList :: [Resource] -> ShowS #
Generic Resource Source #
Instance details Defined in Datatypes Associated Types type Rep Resource :: Type -> Type # Methods from :: Resource -> Rep Resource x # to :: Rep Resource x -> Resource #
ToJSON Resource Source #
Instance details Defined in Handlers.DataHandler Methods toJSON :: Resource -> Value # toEncoding :: Resource -> Encoding # toJSONList :: [Resource] -> Value # toEncodingList :: [Resource] -> Encoding #
FromJSON Resource Source #
Instance details Defined in Handlers.DataHandler Methods parseJSON :: Value -> Parser Resource # parseJSONList :: Value -> Parser [Resource] #
type Rep Resource Source #
Instance details Defined in Datatypes type Rep Resource = D1 ('MetaData "Resource" "Datatypes" "SIGES-0.1.0.0-FsG69xsmiW77B8YjOPBwKm" 'False) (C1 ('MetaCons "Resource" 'PrefixI 'True) (S1 ('MetaSel ('Just "resourceKind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ResourceKind) :*: S1 ('MetaSel ('Just "resourceQuantity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))