Safe Haskell | Safe-Infered |
---|
Documentation
cartesianProduct :: [a] -> [b] -> [(a, b)]Source
weaklyInaccessible :: Int -> Integer -> CardSource
stronglyInaccessible :: Int -> Integer -> CardSource
alphaInaccessible :: Int -> Integer -> CardSource
hyperInaccessible :: Int -> Integer -> CardSource
hyper2Inaccessible :: Int -> Integer -> CardSource
weaklyMahlo :: Int -> Integer -> CardSource
stronglyMahlo :: Int -> Integer -> CardSource
alphaMahlo :: Int -> Integer -> CardSource
hyperMahlo :: Int -> Integer -> CardSource
reflecting :: Int -> Integer -> CardSource
piIndescribable :: Int -> Int -> Int -> Integer -> CardSource
totalIndesc :: Int -> Integer -> CardSource
totallyIndescribable :: Int -> Integer -> CardSource
nuIndescribable :: Int -> Integer -> CardSource
lambdaUnfold :: Int -> Integer -> CardSource
lambdaUnfoldable :: Int -> Integer -> CardSource
unfoldable :: Int -> Integer -> CardSource
lambdaShrewd :: Int -> Integer -> CardSource
almostIneff :: Int -> Integer -> CardSource
almostIneffable :: Int -> Integer -> CardSource
nIneffable :: Int -> Integer -> CardSource
totalIneff :: Int -> Integer -> CardSource
totallyIneffable :: Int -> Integer -> CardSource
remarkable :: Int -> Integer -> CardSource
alphaErdos :: Int -> Integer -> CardSource
gammaErdos :: Int -> Integer -> CardSource
almostRamsey :: Int -> Integer -> CardSource
ineffablyRamsey :: Int -> Integer -> CardSource
measurable :: Int -> Integer -> CardSource
zeroDagger :: Int -> Integer -> CardSource
lambdaStrong :: Int -> Integer -> CardSource
weaklyHyperWoodin :: Int -> Integer -> CardSource
hyperWoodin :: Int -> Integer -> CardSource
superstrong :: Int -> Integer -> CardSource
superStrong :: Int -> Integer -> CardSource
subcompact :: Int -> Integer -> CardSource
stronglyCompact :: Int -> Integer -> CardSource
supCompact :: Int -> Integer -> CardSource
superCompact :: Int -> Integer -> CardSource
etaExtendible :: Int -> Integer -> CardSource
extendible :: Int -> Integer -> CardSource
nSuperstrong :: Int -> Integer -> CardSource
nAlmostHuge :: Int -> Integer -> CardSource
nSuperAlmostHuge :: Int -> Integer -> CardSource
nSuperHuge :: Int -> Integer -> CardSource
rankIntoRank :: Int -> Integer -> CardSource
orderClass :: Int -> (Card -> Card) -> [Card]Source
fixedpoints :: Integer -> (Card -> Card) -> [Card]Source
higherOrder :: Integer -> (Card -> Card) -> [Card]Source
weaklyInaccessibles :: Int -> [Card]Source
weaklyInaccessiblez :: Integer -> [Card]Source
stronglyInaccessibles :: Int -> [Card]Source
stronglyInaccessiblez :: Integer -> [Card]Source
alphaInaccessibles :: Int -> [Card]Source
alphaInaccessiblez :: Integer -> [Card]Source
hyperInaccessibles :: Int -> [Card]Source
hyperInaccessiblez :: Integer -> [Card]Source
hyper2Inaccessibles :: Int -> [Card]Source
hyper2Inaccessiblez :: Integer -> [Card]Source
weaklyMahlos :: Int -> [Card]Source
weaklyMahloz :: Integer -> [Card]Source
stronglyMahlos :: Int -> [Card]Source
stronglyMahloz :: Integer -> [Card]Source
alphaMahlos :: Int -> [Card]Source
alphaMahloz :: Integer -> [Card]Source
hyperMahlos :: Int -> [Card]Source
hyperMahloz :: Integer -> [Card]Source
reflections :: Int -> [Card]Source
reflexions :: Integer -> [Card]Source
piIndescribables :: Int -> Int -> Int -> [Card]Source
piIndescribablez :: Int -> Int -> Integer -> [Card]Source
totallyIndescribables :: Int -> [Card]Source
totallyIndescribablez :: Integer -> [Card]Source
nuIndescribables :: Int -> [Card]Source
nuIndescribablez :: Integer -> [Card]Source
lambdaUnfolds :: Int -> [Card]Source
lambdaUnfoldables :: Int -> [Card]Source
lambdaUnfoldz :: Integer -> [Card]Source
lambdaUnfoldablez :: Integer -> [Card]Source
unfoldables :: Int -> [Card]Source
unfoldablez :: Integer -> [Card]Source
lambdaShrewds :: Int -> [Card]Source
lambdaShrewdz :: Integer -> [Card]Source
almostIneffs :: Int -> [Card]Source
almostIneffables :: Int -> [Card]Source
almostIneffz :: Integer -> [Card]Source
almostIneffablez :: Integer -> [Card]Source
ineffables :: Int -> [Card]Source
ineffablez :: Integer -> [Card]Source
nIneffables :: Int -> [Card]Source
nIneffablez :: Integer -> [Card]Source
totalIneffs :: Int -> [Card]Source
totallyIneffables :: Int -> [Card]Source
totalIneffz :: Integer -> [Card]Source
totallyIneffablez :: Integer -> [Card]Source
remarkables :: Int -> [Card]Source
remarkablez :: Integer -> [Card]Source
alphaErdoss :: Int -> [Card]Source
alphaErdosz :: Integer -> [Card]Source
gammaErdoss :: Int -> [Card]Source
gammaErdosz :: Integer -> [Card]Source
almostRamseys :: Int -> [Card]Source
almostRamseyz :: Integer -> [Card]Source
rowbottoms :: Int -> [Card]Source
rowbottomz :: Integer -> [Card]Source
ineffablyRamseys :: Int -> [Card]Source
ineffablyRamseyz :: Integer -> [Card]Source
measurables :: Int -> [Card]Source
measurablez :: Integer -> [Card]Source
zeroDaggers :: Int -> [Card]Source
zeroDaggerz :: Integer -> [Card]Source
lambdaStrongs :: Int -> [Card]Source
lambdaStrongz :: Integer -> [Card]Source
weaklyHyperWoodins :: Int -> [Card]Source
weaklyHyperWoodinz :: Integer -> [Card]Source
hyperWoodins :: Int -> [Card]Source
hyperWoodinz :: Integer -> [Card]Source
superstrongs :: Int -> [Card]Source
superstrongz :: Integer -> [Card]Source
subcompacts :: Int -> [Card]Source
subcompactz :: Integer -> [Card]Source
stronglycompacts :: Int -> [Card]Source
stronglycompactz :: Integer -> [Card]Source
supercompacts :: Int -> [Card]Source
supercompactz :: Integer -> [Card]Source
etaExtendibles :: Int -> [Card]Source
etaExtendiblez :: Integer -> [Card]Source
extendibles :: Int -> [Card]Source
extendiblez :: Integer -> [Card]Source
nSuperstrongs :: Int -> [Card]Source
nSuperstrongz :: Integer -> [Card]Source
nAlmostHuges :: Int -> [Card]Source
nAlmostHugez :: Integer -> [Card]Source
nSuperAlmostHuges :: Int -> [Card]Source
nSuperAlmostHugez :: Integer -> [Card]Source
nSuperHuges :: Int -> [Card]Source
nSuperHugez :: Integer -> [Card]Source
rankIntoRanks :: Int -> [Card]Source
rankIntoRankz :: Integer -> [Card]Source
reinhardts :: Int -> [Card]Source
reinhardtz :: Integer -> [Card]Source