Documentation

getPeca :: Posicao -> Tabuleiro -> Peca #

getPecaAtual :: Jogo -> Int -> Peca #

getCarro :: Int -> Jogo -> Carro #

normalizaPosicao :: Tabuleiro -> Posicao -> Posicao #

orientacoes :: [Orientacao] #

genOrientacao :: Gen Orientacao #

genPonto :: Tabuleiro -> Gen Ponto #

genPosicao :: Tabuleiro -> Gen Posicao #

validaPos :: Posicao -> Tabuleiro -> Bool #

ponto2Pos :: Ponto -> Posicao #

validaPonto :: Ponto -> Tabuleiro -> Bool #

valida :: Mapa -> Bool #

validaTabuleiro :: Tabuleiro -> Bool #

bordaLava :: Tabuleiro -> Bool #

tamanhoMapa :: Mapa -> Int #

pecasMapa :: Mapa -> [(Peca, Posicao, Orientacao)] #

percorre :: [(Peca, Posicao, Orientacao)] -> Tabuleiro -> Posicao -> Orientacao -> [(Peca, Posicao, Orientacao)] #

lookMap :: Tabuleiro -> Int -> Int -> Peca #

todoPiso :: Posicao -> [[Peca]] -> [Posicao] #

daVolta :: [(Peca, Posicao, Orientacao)] -> Bool #

sequencial :: [(Peca, Posicao, Orientacao)] -> Altura -> Bool #

subir :: (Altura, Orientacao) -> (Altura, Orientacao) -> Maybe Altura #

naoDesperdica :: [(Peca, Posicao, Orientacao)] -> [Posicao] -> Bool #

curva :: Orientacao -> Peca -> Maybe Orientacao #

centroPeca' :: Posicao -> Ponto #

centroPeca :: Tipo -> Posicao -> Ponto #

testesT2 :: [Tabuleiro] #

testesMC_T2 :: [[[Peca]]] #

mc_map_v1 :: [[Peca]] #

mc_map_v2 :: [[Peca]] #

mc_map_v3 :: [[Peca]] #

mc_map_i1 :: [[Peca]] #

mc_map_i2 :: [[Peca]] #

mc_map_i3 :: [[Peca]] #

mc_map_i4 :: [[Peca]] #

testesNM_T2 :: [[[Peca]]] #

testesJP_T2 :: [Tabuleiro] #

unTab :: Mapa -> Tabuleiro #