Safe Haskell	None
Language	GHC2021

Labs2025

Description

Módulo com os tipos de dados que vão ser utilizados para modelar as tarefas do trabalho prático de LI1/LP1 em 2025/26.

Synopsis

data Estado = Estado {
- mapaEstado :: Mapa
- objetosEstado :: [Objeto]
- minhocasEstado :: [Minhoca]
}
data Jogada
- = Dispara TipoArma Direcao
- | Move Direcao
type Mapa = Matriz Terreno
data Minhoca = Minhoca {
- posicaoMinhoca :: Maybe Posicao
- vidaMinhoca :: VidaMinhoca
- jetpackMinhoca :: Int
- escavadoraMinhoca :: Int
- bazucaMinhoca :: Int
- minaMinhoca :: Int
- dinamiteMinhoca :: Int
}
type NumMinhoca = Int
type NumObjeto = Int
data Objeto
- = Disparo {
  - posicaoDisparo :: Posicao
  - direcaoDisparo :: Direcao
  - tipoDisparo :: TipoArma
  - tempoDisparo :: Maybe Ticks
  - donoDisparo :: NumMinhoca
  }
- | Barril {
  - posicaoBarril :: Posicao
  - explodeBarril :: Bool
  }
data Terreno
- = Ar
- | Agua
- | Terra
- | Pedra
type Ticks = Int
data TipoArma
- = Jetpack
- | Escavadora
- | Bazuca
- | Mina
- | Dinamite
data VidaMinhoca
- = Viva Int
- | Morta
module Tarefa0_geral

Documentation

data Estado Source #

Estado do jogo.

Constructors

Estado
Fields mapaEstado :: Mapa O mapa atual. objetosEstado :: [Objeto] Uma lista com os objetos presentes no mapa. Para as funções que vai desenvolver, deve considerar que a ordem dos elementos é irrelevante. minhocasEstado :: [Minhoca] Uma lista com as minhocas no jogo. A ordem dos elementos é relevante, no sentido cada minhoca vai ser identificada pelo seu índice na lista.

Instances

Instances details

Read Estado Source #
Instance details Defined in Labs2025 Methods readsPrec :: Int -> ReadS Estado # readList :: ReadS [Estado] # readPrec :: ReadPrec Estado # readListPrec :: ReadPrec [Estado] #
Show Estado Source #
Instance details Defined in Labs2025 Methods showsPrec :: Int -> Estado -> ShowS # show :: Estado -> String # showList :: [Estado] -> ShowS #
Eq Estado Source #
Instance details Defined in Labs2025 Methods (==) :: Estado -> Estado -> Bool # (/=) :: Estado -> Estado -> Bool #
Ord Estado Source #
Instance details Defined in Labs2025 Methods compare :: Estado -> Estado -> Ordering # (<) :: Estado -> Estado -> Bool # (<=) :: Estado -> Estado -> Bool # (>) :: Estado -> Estado -> Bool # (>=) :: Estado -> Estado -> Bool # max :: Estado -> Estado -> Estado # min :: Estado -> Estado -> Estado #

data Jogada Source #

Uma jogada que uma minhoca pode efetuar.

Constructors

Dispara TipoArma Direcao	Disparar uma arma numa dada direção.
Move Direcao	Mover-se numa dada direção.

Instances

Instances details

Read Jogada Source #
Instance details Defined in Labs2025 Methods readsPrec :: Int -> ReadS Jogada # readList :: ReadS [Jogada] # readPrec :: ReadPrec Jogada # readListPrec :: ReadPrec [Jogada] #
Show Jogada Source #
Instance details Defined in Labs2025 Methods showsPrec :: Int -> Jogada -> ShowS # show :: Jogada -> String # showList :: [Jogada] -> ShowS #
Eq Jogada Source #
Instance details Defined in Labs2025 Methods (==) :: Jogada -> Jogada -> Bool # (/=) :: Jogada -> Jogada -> Bool #
Ord Jogada Source #
Instance details Defined in Labs2025 Methods compare :: Jogada -> Jogada -> Ordering # (<) :: Jogada -> Jogada -> Bool # (<=) :: Jogada -> Jogada -> Bool # (>) :: Jogada -> Jogada -> Bool # (>=) :: Jogada -> Jogada -> Bool # max :: Jogada -> Jogada -> Jogada # min :: Jogada -> Jogada -> Jogada #

type Mapa = Matriz Terreno Source #

O mapa do jogo é uma matriz de terrenos.

data Minhoca Source #

O estado completo de uma minhoca.

Constructors

Minhoca

Fields

posicaoMinhoca :: Maybe Posicao
Uma posição no mapa. Opcional porque a minhoca pode ter saído do mapa.
vidaMinhoca :: VidaMinhoca
O estado de saúde da minhoca.
jetpackMinhoca :: Int
Munições de Jetpack.
escavadoraMinhoca :: Int
Munições de Escavadora.
bazucaMinhoca :: Int
Munições de Bazuca.
minaMinhoca :: Int
Munições de Mina.
dinamiteMinhoca :: Int
Munições de Dinamite.

Instances

Instances details

Read Minhoca Source #
Instance details Defined in Labs2025 Methods readsPrec :: Int -> ReadS Minhoca # readList :: ReadS [Minhoca] # readPrec :: ReadPrec Minhoca # readListPrec :: ReadPrec [Minhoca] #
Show Minhoca Source #
Instance details Defined in Labs2025 Methods showsPrec :: Int -> Minhoca -> ShowS # show :: Minhoca -> String # showList :: [Minhoca] -> ShowS #
Eq Minhoca Source #
Instance details Defined in Labs2025 Methods (==) :: Minhoca -> Minhoca -> Bool # (/=) :: Minhoca -> Minhoca -> Bool #
Ord Minhoca Source #
Instance details Defined in Labs2025 Methods compare :: Minhoca -> Minhoca -> Ordering # (<) :: Minhoca -> Minhoca -> Bool # (<=) :: Minhoca -> Minhoca -> Bool # (>) :: Minhoca -> Minhoca -> Bool # (>=) :: Minhoca -> Minhoca -> Bool # max :: Minhoca -> Minhoca -> Minhoca # min :: Minhoca -> Minhoca -> Minhoca #

type NumMinhoca = Int Source #

O índice de uma minhoca na lista de minhocas.

type NumObjeto = Int Source #

O índice de um objeto na lista de objetos.

data Objeto Source #

Um objeto colocado no mapa.

Constructors

Disparo	Um disparo de uma arma.
Fields posicaoDisparo :: Posicao A posição do disparo no mapa. direcaoDisparo :: Direcao A direção do disparo. tipoDisparo :: TipoArma O tipo de arma do disparo. tempoDisparo :: Maybe Ticks O tempo até o disparo explodir. Opcional porque nem todos os disparos de todas as armas têm um tempo pré-definido para explodir. donoDisparo :: NumMinhoca A minhoca que efetuou o disparo.
Barril	Um barril de pólvora.
Fields posicaoBarril :: Posicao A posição do barril no mapa. explodeBarril :: Bool Se o barril está prestes a explodir ou não.

Instances

Instances details

Read Objeto Source #
Instance details Defined in Labs2025 Methods readsPrec :: Int -> ReadS Objeto # readList :: ReadS [Objeto] # readPrec :: ReadPrec Objeto # readListPrec :: ReadPrec [Objeto] #
Show Objeto Source #
Instance details Defined in Labs2025 Methods showsPrec :: Int -> Objeto -> ShowS # show :: Objeto -> String # showList :: [Objeto] -> ShowS #
Eq Objeto Source #
Instance details Defined in Labs2025 Methods (==) :: Objeto -> Objeto -> Bool # (/=) :: Objeto -> Objeto -> Bool #
Ord Objeto Source #
Instance details Defined in Labs2025 Methods compare :: Objeto -> Objeto -> Ordering # (<) :: Objeto -> Objeto -> Bool # (<=) :: Objeto -> Objeto -> Bool # (>) :: Objeto -> Objeto -> Bool # (>=) :: Objeto -> Objeto -> Bool # max :: Objeto -> Objeto -> Objeto # min :: Objeto -> Objeto -> Objeto #

data Terreno Source #

Um tipo de terreno do mapa.

Constructors

Ar	Terreno vazio.
Agua	Terreno que afoga minhocas.
Terra	Terreno opaco e destrutivel.
Pedra	Terreno opaco e indestrutivel.

Instances

Instances details

Enum Terreno Source #
Instance details Defined in Labs2025 Methods succ :: Terreno -> Terreno # pred :: Terreno -> Terreno # toEnum :: Int -> Terreno # fromEnum :: Terreno -> Int # enumFrom :: Terreno -> [Terreno] # enumFromThen :: Terreno -> Terreno -> [Terreno] # enumFromTo :: Terreno -> Terreno -> [Terreno] # enumFromThenTo :: Terreno -> Terreno -> Terreno -> [Terreno] #
Read Terreno Source #
Instance details Defined in Labs2025 Methods readsPrec :: Int -> ReadS Terreno # readList :: ReadS [Terreno] # readPrec :: ReadPrec Terreno # readListPrec :: ReadPrec [Terreno] #
Show Terreno Source #
Instance details Defined in Labs2025 Methods showsPrec :: Int -> Terreno -> ShowS # show :: Terreno -> String # showList :: [Terreno] -> ShowS #
Eq Terreno Source #
Instance details Defined in Labs2025 Methods (==) :: Terreno -> Terreno -> Bool # (/=) :: Terreno -> Terreno -> Bool #
Ord Terreno Source #
Instance details Defined in Labs2025 Methods compare :: Terreno -> Terreno -> Ordering # (<) :: Terreno -> Terreno -> Bool # (<=) :: Terreno -> Terreno -> Bool # (>) :: Terreno -> Terreno -> Bool # (>=) :: Terreno -> Terreno -> Bool # max :: Terreno -> Terreno -> Terreno # min :: Terreno -> Terreno -> Terreno #

type Ticks = Int Source #

Um tick é a unidade de tempo do jogo.

data TipoArma Source #

Os diversos tipos de arma disponíveis para uma minhoca.

Constructors

Jetpack
Escavadora
Bazuca
Mina
Dinamite

Instances

Instances details

Enum TipoArma Source #
Instance details Defined in Labs2025 Methods succ :: TipoArma -> TipoArma # pred :: TipoArma -> TipoArma # toEnum :: Int -> TipoArma # fromEnum :: TipoArma -> Int # enumFrom :: TipoArma -> [TipoArma] # enumFromThen :: TipoArma -> TipoArma -> [TipoArma] # enumFromTo :: TipoArma -> TipoArma -> [TipoArma] # enumFromThenTo :: TipoArma -> TipoArma -> TipoArma -> [TipoArma] #
Read TipoArma Source #
Instance details Defined in Labs2025 Methods readsPrec :: Int -> ReadS TipoArma # readList :: ReadS [TipoArma] # readPrec :: ReadPrec TipoArma # readListPrec :: ReadPrec [TipoArma] #
Show TipoArma Source #
Instance details Defined in Labs2025 Methods showsPrec :: Int -> TipoArma -> ShowS # show :: TipoArma -> String # showList :: [TipoArma] -> ShowS #
Eq TipoArma Source #
Instance details Defined in Labs2025 Methods (==) :: TipoArma -> TipoArma -> Bool # (/=) :: TipoArma -> TipoArma -> Bool #
Ord TipoArma Source #
Instance details Defined in Labs2025 Methods compare :: TipoArma -> TipoArma -> Ordering # (<) :: TipoArma -> TipoArma -> Bool # (<=) :: TipoArma -> TipoArma -> Bool # (>) :: TipoArma -> TipoArma -> Bool # (>=) :: TipoArma -> TipoArma -> Bool # max :: TipoArma -> TipoArma -> TipoArma # min :: TipoArma -> TipoArma -> TipoArma #

data VidaMinhoca Source #

O estado de saúde de uma minhoca.

Constructors

Viva Int	Está viva com um número inteiros de pontos de vida.
Morta	Está morta.

Instances

Instances details

Read VidaMinhoca Source #
Instance details Defined in Labs2025 Methods readsPrec :: Int -> ReadS VidaMinhoca # readList :: ReadS [VidaMinhoca] # readPrec :: ReadPrec VidaMinhoca # readListPrec :: ReadPrec [VidaMinhoca] #
Show VidaMinhoca Source #
Instance details Defined in Labs2025 Methods showsPrec :: Int -> VidaMinhoca -> ShowS # show :: VidaMinhoca -> String # showList :: [VidaMinhoca] -> ShowS #
Eq VidaMinhoca Source #
Instance details Defined in Labs2025 Methods (==) :: VidaMinhoca -> VidaMinhoca -> Bool # (/=) :: VidaMinhoca -> VidaMinhoca -> Bool #
Ord VidaMinhoca Source #
Instance details Defined in Labs2025 Methods compare :: VidaMinhoca -> VidaMinhoca -> Ordering # (<) :: VidaMinhoca -> VidaMinhoca -> Bool # (<=) :: VidaMinhoca -> VidaMinhoca -> Bool # (>) :: VidaMinhoca -> VidaMinhoca -> Bool # (>=) :: VidaMinhoca -> VidaMinhoca -> Bool # max :: VidaMinhoca -> VidaMinhoca -> VidaMinhoca # min :: VidaMinhoca -> VidaMinhoca -> VidaMinhoca #

module Tarefa0_geral