Copyright	Henrique Faria <d14410@di.uminho.pt> Emanuel Rodrigues <d14960@di.uminho.pt> Nelson Estevão <d12733@di.uminho.pt> Olga Pacheco <omp@di.uminho.pt> Sérgio Alves <sfa@di.uminho.pt> Xavier Pinho <d12736@di.uminho.pt>
Safe Haskell	None
Language	GHC2021

Labs2026

Contents

Tipos de dados
Constantes do jogo
Funções auxiliares

Description

Tipos de dados e funções auxiliares para a realização do projeto de LI1/LP1 em 2026/27.

O projeto é uma versão simplificada do jogo Motherload: uma escavadora explora um mundo visto de lado, recolhe minérios, e vende-os à superfície.

Synopsis

type Combustivel = Int
type Creditos = Int
type Dimensao = (Int, Int)
data Direcao
- = Cima
- | Baixo
- | Esquerda
- | Direita
type Nivel = Int
type Peso = Int
type Posicao = (Int, Int)
type Semente = Int
type Ticks = Int
type Matriz a = [[a]]
type Mapa = Matriz Bloco
data Bloco
- = Ar
- | Terra
- | Rocha
- | Minerio TipoMinerio
- | Lava
data TipoMinerio
- = Ferro
- | Bronze
- | Prata
- | Ouro
- | Platina
- | Diamante
data Escavadora = Escavadora {
- posicaoEscavadora :: Posicao
- direcaoEscavadora :: Direcao
- combustivelEscavadora :: Combustivel
- depositoEscavadora :: Combustivel
- vidaEscavadora :: Int
- vidaMaximaEscavadora :: Int
- brocaEscavadora :: Nivel
- cargaEscavadora :: [TipoMinerio]
- capacidadeEscavadora :: Peso
- quedaEscavadora :: Int
- voandoEscavadora :: Bool
- dinamitesEscavadora :: Int
}
data Edificio = Edificio {
- tipoEdificio :: TipoEdificio
- posicaoEdificio :: Posicao
}
data TipoEdificio
- = Posto
- | Refinaria
- | Oficina
data Objeto = Dinamite {
- posicaoDinamite :: Posicao
- tempoDinamite :: Ticks
}
data Melhoria
- = Deposito Combustivel
- | Vida Int
- | Broca Nivel
- | Carga Peso
- | Dinamites Int
type Loja = [(Creditos, Melhoria)]
data Jogo = Jogo {
- mapaJogo :: Mapa
- escavadoraJogo :: Escavadora
- edificiosJogo :: [Edificio]
- objetosJogo :: [Objeto]
- creditosJogo :: Creditos
- lojaJogo :: Loja
}
data Jogada
- = Parado
- | Move Direcao
- | Vende
- | Abastece
- | Repara
- | Compra Int
- | LargaDinamite
valorMinerio :: TipoMinerio -> Creditos
pesoMinerio :: TipoMinerio -> Peso
durezaBloco :: Bloco -> Maybe Nivel
custoEscavacao :: Bloco -> Combustivel
custoMovimento :: Combustivel
custoVoo :: Combustivel
danoLava :: Int
alturaQuedaSegura :: Int
danoQueda :: Int
precoCombustivel :: Creditos
precoReparacao :: Creditos
duracaoDinamite :: Ticks
raioDinamite :: Int
danoDinamite :: Int
geraAleatorios :: Semente -> Int -> [Int]

Tipos de dados

Básicos

type Combustivel = Int Source #

Unidades de combustível.

type Creditos = Int Source #

Moeda do jogo.

type Dimensao = (Int, Int) Source #

Dimensão de uma matriz: (número de linhas, número de colunas).

data Direcao Source #

Direção de um movimento numa matriz: Cima e Baixo mudam a linha, Esquerda e Direita mudam a coluna.

Constructors

Cima
Baixo
Esquerda
Direita

Instances

Instances details

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

type Nivel = Int Source #

Nível da broca / dureza de um bloco.

type Peso = Int Source #

Peso de minérios na carga.

type Posicao = (Int, Int) Source #

Uma posição numa matriz é dada como um par (linha,colunha). As coordenadas são dois números naturais e começam com (0,0) no canto superior esquerdo, com as linhas incrementando para baixo e as colunas incrementando para a direita.

type Semente = Int Source #

Valor inicial que determina a sequência de números pseudo-aleatórios.

type Ticks = Int Source #

Unidade de tempo do jogo. Por tick a escavadora desloca-se, no máximo, um bloco.

Mapas

type Matriz a = [[a]] Source #

Uma matriz é um conjunto de elementos a duas dimensões.

Em notação matemática, é geralmente representada por:

O Mapa do jogo, em Labs2026, é precisamente uma matriz de blocos.

type Mapa = Matriz Bloco Source #

Mapa retangular de blocos, ou seja, uma Matriz de Blocos. A linha 0 é a superfície e é toda Ar.

data Bloco Source #

Bloco do mundo.

Constructors

Ar	Espaço livre (céu ou túnel). A escavadora só ocupa blocos de ar.
Terra	Escavável, sem valor.
Rocha	Inescavável.
Minerio TipoMinerio	Escavável; ao ser escavado o minério passa para a carga da escavadora.
Lava	Escavável, mas causa `danoLava` à escavadora quando escavado.

Instances

Instances details

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

data TipoMinerio Source #

Minérios, por ordem crescente de valor.

Constructors

Ferro
Bronze
Prata
Ouro
Platina
Diamante

Instances

Instances details

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

Entidades

data Escavadora Source #

Escavadora controlada pelo jogador.

Constructors

Escavadora

Fields

posicaoEscavadora :: Posicao
Posição no mapa (bloco de Ar).
direcaoEscavadora :: Direcao
Direção do último movimento bem sucedido (para desenhar).
combustivelEscavadora :: Combustivel
Combustível atual, entre 0 e depositoEscavadora.
depositoEscavadora :: Combustivel
Capacidade do depósito.
vidaEscavadora :: Int
Vida atual, entre 0 e vidaMaximaEscavadora.
vidaMaximaEscavadora :: Int
Vida máxima.
brocaEscavadora :: Nivel
Dureza máxima de bloco que a broca consegue escavar.
cargaEscavadora :: [TipoMinerio]
Minérios transportados.
capacidadeEscavadora :: Peso
Peso máximo transportável.
quedaEscavadora :: Int
Blocos caídos consecutivamente (para dano de queda).
voandoEscavadora :: Bool
Propulsores ligados (suspendem a gravidade).
dinamitesEscavadora :: Int
Dinamites no inventário.

Instances

Instances details

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

data Edificio Source #

Edifício à superfície (linha 0).

Constructors

Edificio
Fields tipoEdificio :: TipoEdificio Que serviço o edifício presta. posicaoEdificio :: Posicao Posição do edifício, sempre na linha 0.

Instances

Instances details

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

data TipoEdificio Source #

Tipo de edifício à superfície.

Constructors

Posto	Abastecer combustível.
Refinaria	Vender a carga.
Oficina	Reparar a escavadora e comprar melhorias.

Instances

Instances details

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

data Objeto Source #

Objeto colocado no mapa.

Constructors

Dinamite
Fields posicaoDinamite :: Posicao Posição da dinamite. tempoDinamite :: Ticks Ticks até explodir. Em cada tick o temporizador é decrementado e a dinamite explode quando chega a 0.

Instances

Instances details

Read Objeto Source #
Instance details Defined in Labs2026 Methods readsPrec :: Int -> ReadS Objeto # readList :: ReadS [Objeto] # readPrec :: ReadPrec Objeto # readListPrec :: ReadPrec [Objeto] #
Show Objeto Source #
Instance details Defined in Labs2026 Methods showsPrec :: Int -> Objeto -> ShowS # show :: Objeto -> String # showList :: [Objeto] -> ShowS #
Eq Objeto Source #
Instance details Defined in Labs2026 Methods (==) :: Objeto -> Objeto -> Bool # (/=) :: Objeto -> Objeto -> Bool #
Ord Objeto Source #
Instance details Defined in Labs2026 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 Melhoria Source #

Melhoria comprável na Oficina. Os valores são absolutos (a nova capacidade), exceto Dinamites, que é somada ao inventário.

Constructors

Deposito Combustivel	Novo `depositoEscavadora`.
Vida Int	Novo `vidaMaximaEscavadora`.
Broca Nivel	Novo `brocaEscavadora`.
Carga Peso	Nova `capacidadeEscavadora`.
Dinamites Int	Acrescenta dinamites ao inventário.

Instances

Instances details

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

type Loja = [(Creditos, Melhoria)] Source #

Loja de melhorias com o respetivo preço. O stock é infinito: comprar não altera a loja.

Jogo

data Jogo Source #

Estado completo do jogo.

Constructors

Jogo
Fields mapaJogo :: Mapa O mapa atual. escavadoraJogo :: Escavadora A escavadora do jogador. edificiosJogo :: [Edificio] Edifícios à superfície. objetosJogo :: [Objeto] Objetos no mapa. creditosJogo :: Creditos Créditos do jogador. lojaJogo :: Loja Melhorias à venda.

Instances

Instances details

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

data Jogada Source #

Ações do jogador.

Constructors

Parado	Ausência de ação que desliga propulsores ativos.
Move Direcao	Deslocar-se (`Ar`), voar (`Cima`) ou escavar (bloco escavável, só quando apoiado).
Vende	Na `Refinaria`: vende toda a carga.
Abastece	No `Posto`: enche o depósito, limitado pelos créditos.
Repara	Na `Oficina`: repara a escavadora, limitado pelos créditos.
Compra Int	Na `Oficina`: compra a melhoria com este índice na `Loja`.
LargaDinamite	Coloca uma dinamite na posição atual.

Instances

Instances details

Read Jogada Source #
Instance details Defined in Labs2026 Methods readsPrec :: Int -> ReadS Jogada # readList :: ReadS [Jogada] # readPrec :: ReadPrec Jogada # readListPrec :: ReadPrec [Jogada] #
Show Jogada Source #
Instance details Defined in Labs2026 Methods showsPrec :: Int -> Jogada -> ShowS # show :: Jogada -> String # showList :: [Jogada] -> ShowS #
Eq Jogada Source #
Instance details Defined in Labs2026 Methods (==) :: Jogada -> Jogada -> Bool # (/=) :: Jogada -> Jogada -> Bool #
Ord Jogada Source #
Instance details Defined in Labs2026 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 #

Constantes do jogo

Minérios

valorMinerio :: TipoMinerio -> Creditos Source #

Valor de venda de uma unidade de cada minério, na Refinaria.

Cada minério vale cerca de duas vezes e meia o anterior, e o mesmo salto separa cada nível da broca: o valor de uma viagem cresce com a profundidade a que se consegue chegar.

Minério	Valor
`Ferro`	25
`Bronze`	60
`Prata`	150
`Ouro`	400
`Platina`	1000
`Diamante`	2500

pesoMinerio :: TipoMinerio -> Peso Source #

Peso de uma unidade de cada minério na carga da escavadora.

NB: o Diamante é o mais valioso e o mais leve; a Platina obriga a escolher.

Escavação e movimento

durezaBloco :: Bloco -> Maybe Nivel Source #

Dureza de um bloco, ou seja, o nível mínimo de brocaEscavadora que o consegue escavar.

Devolve Nothing para os blocos que não são escaváveis: Ar (não há nada para escavar) e Rocha (inescavável a qualquer nível).

custoEscavacao :: Bloco -> Combustivel Source #

Combustível gasto a escavar um bloco: a sua durezaBloco.

>>> custoEscavacao Terra
1
>>> custoEscavacao Rocha
0

custoMovimento :: Combustivel Source #

Combustível gasto a deslocar-se um bloco na horizontal.

custoVoo :: Combustivel Source #

Combustível gasto a subir um bloco com os propulsores.

Dano

danoLava :: Int Source #

Vida perdida ao escavar um bloco de Lava.

alturaQuedaSegura :: Int Source #

Número de blocos que a escavadora pode cair sem sofrer dano.

danoQueda :: Int Source #

Vida perdida por cada bloco caído acima da alturaQuedaSegura.

Edifícios

precoCombustivel :: Creditos Source #

Créditos por unidade de combustível, no Posto.

precoReparacao :: Creditos Source #

Créditos por ponto de vida reparado, na Oficina.

Dinamite

duracaoDinamite :: Ticks Source #

Ticks entre largar uma dinamite e a sua explosão.

raioDinamite :: Int Source #

Raio da explosão de uma dinamite, em blocos (distância de Chebyshev).

danoDinamite :: Int Source #

Vida perdida numa explosão que apanhe a escavadora.

Funções auxiliares

geraAleatorios :: Semente -> Int -> [Int] Source #

Função que gera uma lista de números aleatórios a partir de uma Semente.

Exemplos

>>> geraAleatorios 2627 3
[7884690122452951765,-2301222553746467507,2230926884526872602]