Safe HaskellSafe

OracleT1

Contents

Documentation

newtype PrettyMapa #

Constructors

PrettyMapa 

Fields

Instances

Eq PrettyMapa # 

Methods

(==) :: PrettyMapa -> PrettyMapa -> Bool

(/=) :: PrettyMapa -> PrettyMapa -> Bool

Show PrettyMapa # 

Methods

showsPrec :: Int -> PrettyMapa -> ShowS

show :: PrettyMapa -> String

showList :: [PrettyMapa] -> ShowS

Generic PrettyMapa # 

Associated Types

type Rep PrettyMapa :: * -> *

Methods

from :: PrettyMapa -> Rep PrettyMapa x

to :: Rep PrettyMapa x -> PrettyMapa

NFData PrettyMapa # 

Methods

rnf :: PrettyMapa -> ()

Out PrettyMapa # 

Methods

docPrec :: Int -> PrettyMapa -> Doc

doc :: PrettyMapa -> Doc

docList :: [PrettyMapa] -> Doc

type Rep PrettyMapa # 
type Rep PrettyMapa = D1 (MetaData "PrettyMapa" "OracleT1" "main" True) (C1 (MetaCons "PrettyMapa" PrefixI True) (S1 (MetaSel (Just Symbol "unPrettyMapa") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Mapa)))

newtype PrettyTabuleiro #

Constructors

PrettyTabuleiro 

Fields

Instances

Eq PrettyTabuleiro # 
Show PrettyTabuleiro # 

Methods

showsPrec :: Int -> PrettyTabuleiro -> ShowS

show :: PrettyTabuleiro -> String

showList :: [PrettyTabuleiro] -> ShowS

Generic PrettyTabuleiro # 

Associated Types

type Rep PrettyTabuleiro :: * -> *

Methods

from :: PrettyTabuleiro -> Rep PrettyTabuleiro x

to :: Rep PrettyTabuleiro x -> PrettyTabuleiro

NFData PrettyTabuleiro # 

Methods

rnf :: PrettyTabuleiro -> ()

Out PrettyTabuleiro # 

Methods

docPrec :: Int -> PrettyTabuleiro -> Doc

doc :: PrettyTabuleiro -> Doc

docList :: [PrettyTabuleiro] -> Doc

type Rep PrettyTabuleiro # 
type Rep PrettyTabuleiro = D1 (MetaData "PrettyTabuleiro" "OracleT1" "main" True) (C1 (MetaCons "PrettyTabuleiro" PrefixI True) (S1 (MetaSel (Just Symbol "unPrettyTabuleiro") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Tabuleiro)))

newtype PrettyCaminho #

Constructors

PrettyCaminho 

Fields

Instances

Eq PrettyCaminho # 
Show PrettyCaminho # 

Methods

showsPrec :: Int -> PrettyCaminho -> ShowS

show :: PrettyCaminho -> String

showList :: [PrettyCaminho] -> ShowS

Generic PrettyCaminho # 

Associated Types

type Rep PrettyCaminho :: * -> *

Methods

from :: PrettyCaminho -> Rep PrettyCaminho x

to :: Rep PrettyCaminho x -> PrettyCaminho

NFData PrettyCaminho # 

Methods

rnf :: PrettyCaminho -> ()

Out PrettyCaminho # 

Methods

docPrec :: Int -> PrettyCaminho -> Doc

doc :: PrettyCaminho -> Doc

docList :: [PrettyCaminho] -> Doc

type Rep PrettyCaminho # 
type Rep PrettyCaminho = D1 (MetaData "PrettyCaminho" "OracleT1" "main" True) (C1 (MetaCons "PrettyCaminho" PrefixI True) (S1 (MetaSel (Just Symbol "unPrettyCaminho") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Caminho)))

printMapa :: Mapa -> [Char] #

printTab :: (Foldable t1, Foldable t) => t (t1 Peca) -> [Char] #

printHeight :: Mapa -> IO () #

printPHeight :: Peca -> [Char] #

printPeca :: Peca -> String #

printTipoPeca :: Tipo -> String #

constroi :: Caminho -> Mapa #

theFloorIsLava :: Dimensao -> [[Peca]] #

processa :: Caminho -> Orientacao -> Altura -> (Int, Int) -> [[Peca]] -> [[Peca]] #

replace :: [[a]] -> (Int, Int) -> a -> [[a]] #

blocoCurvo :: Orientacao -> Orientacao -> Altura -> Peca #

adapta :: Passo -> Altura -> Altura #

blocoRampa :: Passo -> Orientacao -> Altura -> Peca #

mexe :: (Int, Int) -> Orientacao -> (Int, Int) #

roda :: Orientacao -> Bool -> Orientacao #

atNote2 :: String -> [[a]] -> Int -> Int -> a #

intToDouble :: Int -> Double #

pontoToPosicao :: Ponto -> Posicao #

posicaoToPonto :: Posicao -> Ponto #

invOrientacao :: Orientacao -> Orientacao #

vOri :: Orientacao -> Bool #

hOri :: Orientacao -> Bool #

isCurva :: Peca -> Bool #

ladosPeca :: Peca -> [Orientacao] #

type Linha = (Posicao, Posicao) #

paredesPeca :: Peca -> Posicao -> [Linha] #

distanceLinhaPonto :: Linha -> Ponto -> Double #

distanceParedes :: Peca -> Posicao -> Ponto -> Double #

pecaSaida :: Peca -> Orientacao -> Orientacao #

metaOri :: Peca -> Orientacao -> Orientacao #

metaLine :: Orientacao -> Float -> Float -> Float -> [(Float, Float)] #

int2passo :: Int -> Passo #

randomCam :: Int -> Int -> [Passo] #

char2passo :: Char -> Passo #

str2passo :: [Char] -> [Passo] #

testesT1 :: [Caminho] #

testesMC_T1 :: [[Passo]] #

mc_caminho1 :: [Passo] #

mc_caminho2 :: [Passo] #

mc_caminho3 :: [Passo] #

mc_caminho4 :: [Passo] #

mc_caminho5 :: [Passo] #

mc_caminho6 :: [Passo] #

testesJP_T1 :: [[Passo]] #

testesJP_T1_validos :: [[Passo]] #

testesJP_T1_invalidos :: [[Passo]] #

Orphan instances

Generic Acao # 

Associated Types

type Rep Acao :: * -> *

Methods

from :: Acao -> Rep Acao x

to :: Rep Acao x -> Acao

Generic Propriedades # 

Associated Types

type Rep Propriedades :: * -> *

Methods

from :: Propriedades -> Rep Propriedades x

to :: Rep Propriedades x -> Propriedades

Generic Jogo # 

Associated Types

type Rep Jogo :: * -> *

Methods

from :: Jogo -> Rep Jogo x

to :: Rep Jogo x -> Jogo

Generic Carro # 

Associated Types

type Rep Carro :: * -> *

Methods

from :: Carro -> Rep Carro x

to :: Rep Carro x -> Carro

Generic Orientacao # 

Associated Types

type Rep Orientacao :: * -> *

Methods

from :: Orientacao -> Rep Orientacao x

to :: Rep Orientacao x -> Orientacao

Generic Tipo # 

Associated Types

type Rep Tipo :: * -> *

Methods

from :: Tipo -> Rep Tipo x

to :: Rep Tipo x -> Tipo

Generic Peca # 

Associated Types

type Rep Peca :: * -> *

Methods

from :: Peca -> Rep Peca x

to :: Rep Peca x -> Peca

Generic Mapa # 

Associated Types

type Rep Mapa :: * -> *

Methods

from :: Mapa -> Rep Mapa x

to :: Rep Mapa x -> Mapa

Generic Passo # 

Associated Types

type Rep Passo :: * -> *

Methods

from :: Passo -> Rep Passo x

to :: Rep Passo x -> Passo

NFData Acao # 

Methods

rnf :: Acao -> ()

NFData Propriedades # 

Methods

rnf :: Propriedades -> ()

NFData Jogo # 

Methods

rnf :: Jogo -> ()

NFData Carro # 

Methods

rnf :: Carro -> ()

NFData Orientacao # 

Methods

rnf :: Orientacao -> ()

NFData Tipo # 

Methods

rnf :: Tipo -> ()

NFData Peca # 

Methods

rnf :: Peca -> ()

NFData Mapa # 

Methods

rnf :: Mapa -> ()

NFData Passo # 

Methods

rnf :: Passo -> ()

Out Acao # 

Methods

docPrec :: Int -> Acao -> Doc

doc :: Acao -> Doc

docList :: [Acao] -> Doc

Out Propriedades # 

Methods

docPrec :: Int -> Propriedades -> Doc

doc :: Propriedades -> Doc

docList :: [Propriedades] -> Doc

Out Jogo # 

Methods

docPrec :: Int -> Jogo -> Doc

doc :: Jogo -> Doc

docList :: [Jogo] -> Doc

Out Carro # 

Methods

docPrec :: Int -> Carro -> Doc

doc :: Carro -> Doc

docList :: [Carro] -> Doc

Out Orientacao # 

Methods

docPrec :: Int -> Orientacao -> Doc

doc :: Orientacao -> Doc

docList :: [Orientacao] -> Doc

Out Peca # 

Methods

docPrec :: Int -> Peca -> Doc

doc :: Peca -> Doc

docList :: [Peca] -> Doc

Out Mapa # 

Methods

docPrec :: Int -> Mapa -> Doc

doc :: Mapa -> Doc

docList :: [Mapa] -> Doc

Out Passo # 

Methods

docPrec :: Int -> Passo -> Doc

doc :: Passo -> Doc

docList :: [Passo] -> Doc