module Game.LambdaHack.Content.CaveKind
( pattern DEFAULT_RANDOM
, CaveKind(..), makeData
#ifdef EXPOSE_INTERNAL
, validateSingle, validateAll, mandatoryGroups
#endif
) where
import Prelude ()
import Game.LambdaHack.Core.Prelude
import qualified Data.Text as T
import Game.LambdaHack.Content.ItemKind (ItemKind)
import Game.LambdaHack.Content.PlaceKind (PlaceKind)
import Game.LambdaHack.Content.TileKind (TileKind)
import qualified Game.LambdaHack.Core.Dice as Dice
import Game.LambdaHack.Core.Random
import Game.LambdaHack.Definition.ContentData
import Game.LambdaHack.Definition.Defs
import Game.LambdaHack.Definition.DefsInternal
data CaveKind = CaveKind
{ CaveKind -> Char
csymbol :: Char
, CaveKind -> Text
cname :: Text
, CaveKind -> Freqs CaveKind
cfreq :: Freqs CaveKind
, CaveKind -> X
cXminSize :: X
, CaveKind -> X
cYminSize :: Y
, CaveKind -> DiceXY
ccellSize :: Dice.DiceXY
, CaveKind -> DiceXY
cminPlaceSize :: Dice.DiceXY
, CaveKind -> DiceXY
cmaxPlaceSize :: Dice.DiceXY
, CaveKind -> Dice
cdarkOdds :: Dice.Dice
, CaveKind -> Dice
cnightOdds :: Dice.Dice
, CaveKind -> Rational
cauxConnects :: Rational
, CaveKind -> Rational
cmaxVoid :: Rational
, CaveKind -> Rational
cdoorChance :: Chance
, CaveKind -> Rational
copenChance :: Chance
, CaveKind -> X
chidden :: Int
, CaveKind -> X
cactorCoeff :: Int
, CaveKind -> Freqs ItemKind
cactorFreq :: Freqs ItemKind
, CaveKind -> Dice
citemNum :: Dice.Dice
, CaveKind -> Freqs ItemKind
citemFreq :: Freqs ItemKind
, CaveKind -> Freqs PlaceKind
cplaceFreq :: Freqs PlaceKind
, CaveKind -> Bool
cpassable :: Bool
, CaveKind -> Bool
labyrinth :: Bool
, CaveKind -> GroupName TileKind
cdefTile :: GroupName TileKind
, CaveKind -> GroupName TileKind
cdarkCorTile :: GroupName TileKind
, CaveKind -> GroupName TileKind
clitCorTile :: GroupName TileKind
, CaveKind -> GroupName TileKind
cwallTile :: GroupName TileKind
, CaveKind -> GroupName TileKind
ccornerTile :: GroupName TileKind
, CaveKind -> GroupName TileKind
cfenceTileN :: GroupName TileKind
, CaveKind -> GroupName TileKind
cfenceTileE :: GroupName TileKind
, CaveKind -> GroupName TileKind
cfenceTileS :: GroupName TileKind
, CaveKind -> GroupName TileKind
cfenceTileW :: GroupName TileKind
, CaveKind -> Bool
cfenceApart :: Bool
, CaveKind -> X
cminStairDist :: Int
, CaveKind -> Dice
cmaxStairsNum :: Dice.Dice
, CaveKind -> Freqs PlaceKind
cescapeFreq :: Freqs PlaceKind
, CaveKind -> Freqs PlaceKind
cstairFreq :: Freqs PlaceKind
, CaveKind -> Freqs PlaceKind
cstairAllowed :: Freqs PlaceKind
, CaveKind -> [X]
cskip :: [Int]
, CaveKind -> Text
cdesc :: Text
}
deriving X -> CaveKind -> ShowS
[CaveKind] -> ShowS
CaveKind -> String
(X -> CaveKind -> ShowS)
-> (CaveKind -> String) -> ([CaveKind] -> ShowS) -> Show CaveKind
forall a.
(X -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [CaveKind] -> ShowS
$cshowList :: [CaveKind] -> ShowS
show :: CaveKind -> String
$cshow :: CaveKind -> String
showsPrec :: X -> CaveKind -> ShowS
$cshowsPrec :: X -> CaveKind -> ShowS
Show
validateSingle :: CaveKind -> [Text]
validateSingle :: CaveKind -> [Text]
validateSingle CaveKind{Bool
Char
X
[X]
Freqs ItemKind
Freqs PlaceKind
Freqs CaveKind
Rational
Text
DiceXY
Dice
GroupName TileKind
cdesc :: Text
cskip :: [X]
cstairAllowed :: Freqs PlaceKind
cstairFreq :: Freqs PlaceKind
cescapeFreq :: Freqs PlaceKind
cmaxStairsNum :: Dice
cminStairDist :: X
cfenceApart :: Bool
cfenceTileW :: GroupName TileKind
cfenceTileS :: GroupName TileKind
cfenceTileE :: GroupName TileKind
cfenceTileN :: GroupName TileKind
ccornerTile :: GroupName TileKind
cwallTile :: GroupName TileKind
clitCorTile :: GroupName TileKind
cdarkCorTile :: GroupName TileKind
cdefTile :: GroupName TileKind
labyrinth :: Bool
cpassable :: Bool
cplaceFreq :: Freqs PlaceKind
citemFreq :: Freqs ItemKind
citemNum :: Dice
cactorFreq :: Freqs ItemKind
cactorCoeff :: X
chidden :: X
copenChance :: Rational
cdoorChance :: Rational
cmaxVoid :: Rational
cauxConnects :: Rational
cnightOdds :: Dice
cdarkOdds :: Dice
cmaxPlaceSize :: DiceXY
cminPlaceSize :: DiceXY
ccellSize :: DiceXY
cYminSize :: X
cXminSize :: X
cfreq :: Freqs CaveKind
cname :: Text
csymbol :: Char
cdesc :: CaveKind -> Text
cskip :: CaveKind -> [X]
cstairAllowed :: CaveKind -> Freqs PlaceKind
cstairFreq :: CaveKind -> Freqs PlaceKind
cescapeFreq :: CaveKind -> Freqs PlaceKind
cmaxStairsNum :: CaveKind -> Dice
cminStairDist :: CaveKind -> X
cfenceApart :: CaveKind -> Bool
cfenceTileW :: CaveKind -> GroupName TileKind
cfenceTileS :: CaveKind -> GroupName TileKind
cfenceTileE :: CaveKind -> GroupName TileKind
cfenceTileN :: CaveKind -> GroupName TileKind
ccornerTile :: CaveKind -> GroupName TileKind
cwallTile :: CaveKind -> GroupName TileKind
clitCorTile :: CaveKind -> GroupName TileKind
cdarkCorTile :: CaveKind -> GroupName TileKind
cdefTile :: CaveKind -> GroupName TileKind
labyrinth :: CaveKind -> Bool
cpassable :: CaveKind -> Bool
cplaceFreq :: CaveKind -> Freqs PlaceKind
citemFreq :: CaveKind -> Freqs ItemKind
citemNum :: CaveKind -> Dice
cactorFreq :: CaveKind -> Freqs ItemKind
cactorCoeff :: CaveKind -> X
chidden :: CaveKind -> X
copenChance :: CaveKind -> Rational
cdoorChance :: CaveKind -> Rational
cmaxVoid :: CaveKind -> Rational
cauxConnects :: CaveKind -> Rational
cnightOdds :: CaveKind -> Dice
cdarkOdds :: CaveKind -> Dice
cmaxPlaceSize :: CaveKind -> DiceXY
cminPlaceSize :: CaveKind -> DiceXY
ccellSize :: CaveKind -> DiceXY
cYminSize :: CaveKind -> X
cXminSize :: CaveKind -> X
cfreq :: CaveKind -> Freqs CaveKind
cname :: CaveKind -> Text
csymbol :: CaveKind -> Char
..} =
let (X
minCellSizeX, X
minCellSizeY) = DiceXY -> (X, X)
Dice.infDiceXY DiceXY
ccellSize
(X
minMinSizeX, X
minMinSizeY) = DiceXY -> (X, X)
Dice.infDiceXY DiceXY
cminPlaceSize
(X
maxMinSizeX, X
maxMinSizeY) = DiceXY -> (X, X)
Dice.supDiceXY DiceXY
cminPlaceSize
(X
minMaxSizeX, X
minMaxSizeY) = DiceXY -> (X, X)
Dice.infDiceXY DiceXY
cmaxPlaceSize
in [ Text
"cname longer than 25" | Text -> X
T.length Text
cname X -> X -> Bool
forall a. Ord a => a -> a -> Bool
> X
25 ]
[Text] -> [Text] -> [Text]
forall a. [a] -> [a] -> [a]
++ [ Text
"cXminSize < 20" | X
cXminSize X -> X -> Bool
forall a. Ord a => a -> a -> Bool
< X
20 ]
[Text] -> [Text] -> [Text]
forall a. [a] -> [a] -> [a]
++ [ Text
"cYminSize < 20" | X
cYminSize X -> X -> Bool
forall a. Ord a => a -> a -> Bool
< X
20 ]
[Text] -> [Text] -> [Text]
forall a. [a] -> [a] -> [a]
++ [ Text
"minCellSizeX < 1" | X
minCellSizeX X -> X -> Bool
forall a. Ord a => a -> a -> Bool
< X
1 ]
[Text] -> [Text] -> [Text]
forall a. [a] -> [a] -> [a]
++ [ Text
"minCellSizeY < 1" | X
minCellSizeY X -> X -> Bool
forall a. Ord a => a -> a -> Bool
< X
1 ]
[Text] -> [Text] -> [Text]
forall a. [a] -> [a] -> [a]
++ [ Text
"minCellSizeX < 6 && non-trivial stairs"
| X
minCellSizeX X -> X -> Bool
forall a. Ord a => a -> a -> Bool
< X
6 Bool -> Bool -> Bool
&& Bool -> Bool
not (Freqs PlaceKind -> X
forall a. [a] -> X
length Freqs PlaceKind
cstairFreq X -> X -> Bool
forall a. Ord a => a -> a -> Bool
<= X
1 Bool -> Bool -> Bool
&& Freqs PlaceKind -> Bool
forall a. [a] -> Bool
null Freqs PlaceKind
cescapeFreq) ]
[Text] -> [Text] -> [Text]
forall a. [a] -> [a] -> [a]
++ [ Text
"minCellSizeY < 4 && non-trivial stairs"
| X
minCellSizeY X -> X -> Bool
forall a. Ord a => a -> a -> Bool
< X
4 Bool -> Bool -> Bool
&& Bool -> Bool
not (Freqs PlaceKind -> X
forall a. [a] -> X
length Freqs PlaceKind
cstairFreq X -> X -> Bool
forall a. Ord a => a -> a -> Bool
<= X
1 Bool -> Bool -> Bool
&& Freqs PlaceKind -> Bool
forall a. [a] -> Bool
null Freqs PlaceKind
cescapeFreq) ]
[Text] -> [Text] -> [Text]
forall a. [a] -> [a] -> [a]
++ [ Text
"minMinSizeX < 5 && non-trivial stairs"
| X
minMinSizeX X -> X -> Bool
forall a. Ord a => a -> a -> Bool
< X
5 Bool -> Bool -> Bool
&& Bool -> Bool
not (Freqs PlaceKind -> X
forall a. [a] -> X
length Freqs PlaceKind
cstairFreq X -> X -> Bool
forall a. Ord a => a -> a -> Bool
<= X
1 Bool -> Bool -> Bool
&& Freqs PlaceKind -> Bool
forall a. [a] -> Bool
null Freqs PlaceKind
cescapeFreq) ]
[Text] -> [Text] -> [Text]
forall a. [a] -> [a] -> [a]
++ [ Text
"minMinSizeY < 3 && non-trivial stairs"
| X
minMinSizeY X -> X -> Bool
forall a. Ord a => a -> a -> Bool
< X
3 Bool -> Bool -> Bool
&& Bool -> Bool
not (Freqs PlaceKind -> X
forall a. [a] -> X
length Freqs PlaceKind
cstairFreq X -> X -> Bool
forall a. Ord a => a -> a -> Bool
<= X
1 Bool -> Bool -> Bool
&& Freqs PlaceKind -> Bool
forall a. [a] -> Bool
null Freqs PlaceKind
cescapeFreq) ]
[Text] -> [Text] -> [Text]
forall a. [a] -> [a] -> [a]
++ [ Text
"minMinSizeX < 1" | X
minMinSizeX X -> X -> Bool
forall a. Ord a => a -> a -> Bool
< X
1 ]
[Text] -> [Text] -> [Text]
forall a. [a] -> [a] -> [a]
++ [ Text
"minMinSizeY < 1" | X
minMinSizeY X -> X -> Bool
forall a. Ord a => a -> a -> Bool
< X
1 ]
[Text] -> [Text] -> [Text]
forall a. [a] -> [a] -> [a]
++ [ Text
"minMaxSizeX < maxMinSizeX" | X
minMaxSizeX X -> X -> Bool
forall a. Ord a => a -> a -> Bool
< X
maxMinSizeX ]
[Text] -> [Text] -> [Text]
forall a. [a] -> [a] -> [a]
++ [ Text
"minMaxSizeY < maxMinSizeY" | X
minMaxSizeY X -> X -> Bool
forall a. Ord a => a -> a -> Bool
< X
maxMinSizeY ]
[Text] -> [Text] -> [Text]
forall a. [a] -> [a] -> [a]
++ [ Text
"chidden < 0" | X
chidden X -> X -> Bool
forall a. Ord a => a -> a -> Bool
< X
0 ]
[Text] -> [Text] -> [Text]
forall a. [a] -> [a] -> [a]
++ [ Text
"cactorCoeff < 0" | X
cactorCoeff X -> X -> Bool
forall a. Ord a => a -> a -> Bool
< X
0 ]
[Text] -> [Text] -> [Text]
forall a. [a] -> [a] -> [a]
++ [ Text
"citemNum < 0" | Dice -> X
Dice.infDice Dice
citemNum X -> X -> Bool
forall a. Ord a => a -> a -> Bool
< X
0 ]
[Text] -> [Text] -> [Text]
forall a. [a] -> [a] -> [a]
++ [ Text
"cmaxStairsNum < 0" | Dice -> X
Dice.infDice Dice
cmaxStairsNum X -> X -> Bool
forall a. Ord a => a -> a -> Bool
< X
0 ]
[Text] -> [Text] -> [Text]
forall a. [a] -> [a] -> [a]
++ [ Text
"stairs suggested, but not defined"
| Dice -> X
Dice.supDice Dice
cmaxStairsNum X -> X -> Bool
forall a. Ord a => a -> a -> Bool
> X
0 Bool -> Bool -> Bool
&& Freqs PlaceKind -> Bool
forall a. [a] -> Bool
null Freqs PlaceKind
cstairFreq ]
validateAll :: [CaveKind] -> ContentData CaveKind -> [Text]
validateAll :: [CaveKind] -> ContentData CaveKind -> [Text]
validateAll [CaveKind]
_ ContentData CaveKind
_ = []
mandatoryGroups :: [GroupName CaveKind]
mandatoryGroups :: [GroupName CaveKind]
mandatoryGroups =
[GroupName CaveKind
DEFAULT_RANDOM]
pattern DEFAULT_RANDOM :: GroupName CaveKind
pattern $bDEFAULT_RANDOM :: GroupName CaveKind
$mDEFAULT_RANDOM :: forall r. GroupName CaveKind -> (Void# -> r) -> (Void# -> r) -> r
DEFAULT_RANDOM = GroupName "default random"
makeData :: [CaveKind] -> [GroupName CaveKind] -> [GroupName CaveKind]
-> ContentData CaveKind
makeData :: [CaveKind]
-> [GroupName CaveKind]
-> [GroupName CaveKind]
-> ContentData CaveKind
makeData [CaveKind]
content [GroupName CaveKind]
groupNamesSingleton [GroupName CaveKind]
groupNames =
String
-> (CaveKind -> Text)
-> (CaveKind -> Freqs CaveKind)
-> (CaveKind -> [Text])
-> ([CaveKind] -> ContentData CaveKind -> [Text])
-> [CaveKind]
-> [GroupName CaveKind]
-> [GroupName CaveKind]
-> ContentData CaveKind
forall c.
Show c =>
String
-> (c -> Text)
-> (c -> Freqs c)
-> (c -> [Text])
-> ([c] -> ContentData c -> [Text])
-> [c]
-> [GroupName c]
-> [GroupName c]
-> ContentData c
makeContentData String
"CaveKind" CaveKind -> Text
cname CaveKind -> Freqs CaveKind
cfreq CaveKind -> [Text]
validateSingle [CaveKind] -> ContentData CaveKind -> [Text]
validateAll [CaveKind]
content
[GroupName CaveKind]
groupNamesSingleton
([GroupName CaveKind]
mandatoryGroups [GroupName CaveKind]
-> [GroupName CaveKind] -> [GroupName CaveKind]
forall a. [a] -> [a] -> [a]
++ [GroupName CaveKind]
groupNames)