Safe HaskellSafe-Infered

Card

Documentation

data Card Source

Constructors

Card Integer 
Aleph Card 
WeaklyInaccessible Card 
StronglyInaccessible Card 
AlphaInaccessible Card 
HyperInaccessible Card 
Hyper2Inaccessible Card 
WeaklyMahlo Card 
StronglyMahlo Card 
AlphaMahlo Card 
HyperMahlo Card 
Reflecting Card 
PiIndescribable (Int, Int) Card 
TotallyIndescribable Card 
NuIndescribable Card 
LambdaUnfoldable Card 
Unfoldable Card 
LambdaShrewd Card 
Shrewd Card 
Ethereal Card 
Subtle Card 
AlmostIneffable Card 
Ineffable Card 
NIneffable Card 
TotallyIneffable Card 
Remarkable Card 
AlphaErdos Card 
GammaErdos Card 
AlmostRamsey Card 
Jonsson Card 
Rowbottom Card 
Ramsey Card 
IneffablyRamsey Card 
Measurable Card 
ZeroDagger Card 
LambdaStrong Card 
Strong Card 
Woodin Card 
WeaklyHyperWoodin Card 
Shelah Card 
HyperWoodin Card 
Superstrong Card 
Subcompact Card 
StronglyCompact Card 
Supercompact Card 
EtaExtendible Card 
Extendible Card 
Vopenka Card 
NSuperstrong Card 
NAlmostHuge Card 
NSuperAlmostHuge Card 
NHuge Card 
NSuperHuge Card 
RankIntoRank Card 
Reinhardt Card 
TAV 
AbsoluteInfinity 

Instances

Eq Card 
Ord Card 
Show Card 

apply :: (t -> t1) -> [t] -> [t1]Source

zero :: CardSource

one :: CardSource

absolute :: CardSource

zeros :: [Card]Source

ones :: [Card]Source

alefz :: Int -> [Card]Source

tavs :: [Card]Source

absolutes :: [Card]Source

absoluteInfinities :: [Card]Source

(#) :: Card -> Card -> CardSource

(#.) :: [Card] -> CardSource

(*.) :: Card -> Card -> CardSource

x :: [Card] -> CardSource

(^.) :: Card -> Card -> CardSource

cp :: [a] -> [b] -> [(a, b)]Source

cartesianProduct :: [a] -> [b] -> [(a, b)]Source

powerset :: [a] -> [[a]]Source

ascend :: Integer -> [Card]Source

descend :: Integer -> [Card]Source

level :: Int -> (Card -> Card) -> Integer -> CardSource

ascent :: Int -> (Card -> Card) -> Integer -> Integer -> [Card]Source

descent :: Int -> (Card -> Card) -> Integer -> Integer -> [Card]Source

c :: Integer -> CardSource

alef :: Integer -> CardSource

aleph :: Int -> Integer -> CardSource

beth :: Int -> Integer -> CardSource

wInac :: Int -> Integer -> CardSource

weaklyInaccessible :: Int -> Integer -> CardSource

sInac :: Int -> Integer -> CardSource

stronglyInaccessible :: Int -> Integer -> CardSource

theta :: Int -> Integer -> CardSource

aInac :: Int -> Integer -> CardSource

alphaInaccessible :: Int -> Integer -> CardSource

hInac :: Int -> Integer -> CardSource

hyperInaccessible :: Int -> Integer -> CardSource

nu :: Int -> Integer -> CardSource

h2Inac :: Int -> Integer -> CardSource

hyper2Inaccessible :: Int -> Integer -> CardSource

mu :: Int -> Integer -> CardSource

wMahlo :: Int -> Integer -> CardSource

weaklyMahlo :: Int -> Integer -> CardSource

sMahlo :: Int -> Integer -> CardSource

stronglyMahlo :: Int -> Integer -> CardSource

rho :: Int -> Integer -> CardSource

aMahlo :: Int -> Integer -> CardSource

alphaMahlo :: Int -> Integer -> CardSource

hMahlo :: Int -> Integer -> CardSource

hyperMahlo :: Int -> Integer -> CardSource

reflect :: Int -> Integer -> CardSource

reflecting :: Int -> Integer -> CardSource

pii :: Int -> Int -> Int -> Integer -> CardSource

piIndesc :: Int -> Int -> Int -> Integer -> CardSource

piIndescribable :: Int -> Int -> Int -> Integer -> CardSource

ti :: Int -> Integer -> CardSource

totalIndesc :: Int -> Integer -> CardSource

totallyIndescribable :: Int -> Integer -> CardSource

ni :: Int -> Integer -> CardSource

nuIndesc :: Int -> Integer -> CardSource

nuIndescribable :: Int -> Integer -> CardSource

lambdaUnfold :: Int -> Integer -> CardSource

lambdaUnfoldable :: Int -> Integer -> CardSource

unfold :: Int -> Integer -> CardSource

unfoldable :: Int -> Integer -> CardSource

lambdaShrewd :: Int -> Integer -> CardSource

shrewd :: Int -> Integer -> CardSource

ether :: Int -> Integer -> CardSource

ethereal :: Int -> Integer -> CardSource

subtle :: Int -> Integer -> CardSource

almostIneff :: Int -> Integer -> CardSource

almostIneffable :: Int -> Integer -> CardSource

ineff :: Int -> Integer -> CardSource

ineffable :: Int -> Integer -> CardSource

nIneff :: Int -> Integer -> CardSource

nIneffable :: Int -> Integer -> CardSource

totalIneff :: Int -> Integer -> CardSource

totallyIneffable :: Int -> Integer -> CardSource

remark :: Int -> Integer -> CardSource

remarkable :: Int -> Integer -> CardSource

aErdos :: Int -> Integer -> CardSource

alphaErdos :: Int -> Integer -> CardSource

gamma :: Int -> Integer -> CardSource

gErdos :: Int -> Integer -> CardSource

gammaErdos :: Int -> Integer -> CardSource

aRamsey :: Int -> Integer -> CardSource

almostRamsey :: Int -> Integer -> CardSource

jonsson :: Int -> Integer -> CardSource

rowbottom :: Int -> Integer -> CardSource

ramsey :: Int -> Integer -> CardSource

iRamsey :: Int -> Integer -> CardSource

ineffablyRamsey :: Int -> Integer -> CardSource

measure :: Int -> Integer -> CardSource

measurable :: Int -> Integer -> CardSource

kappa :: Int -> Integer -> CardSource

zeroDag :: Int -> Integer -> CardSource

zeroDagger :: Int -> Integer -> CardSource

lambdaStrong :: Int -> Integer -> CardSource

strong :: Int -> Integer -> CardSource

woodin :: Int -> Integer -> CardSource

whWoodin :: Int -> Integer -> CardSource

weaklyHyperWoodin :: Int -> Integer -> CardSource

shelah :: Int -> Integer -> CardSource

hWoodin :: Int -> Integer -> CardSource

hyperWoodin :: Int -> Integer -> CardSource

ss :: Int -> Integer -> CardSource

supStrong :: 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

eta :: Int -> Integer -> CardSource

etaExtend :: Int -> Integer -> CardSource

etaExtendible :: Int -> Integer -> CardSource

ex :: Int -> Integer -> CardSource

extend :: Int -> Integer -> CardSource

extendible :: Int -> Integer -> CardSource

vopenka :: Int -> Integer -> CardSource

nss :: Int -> Integer -> CardSource

nSuperstrong :: Int -> Integer -> CardSource

nah :: Int -> Integer -> CardSource

nAlmostHuge :: Int -> Integer -> CardSource

nsah :: Int -> Integer -> CardSource

nSuperAlmostHuge :: Int -> Integer -> CardSource

nh :: Int -> Integer -> CardSource

nHuge :: Int -> Integer -> CardSource

nsh :: Int -> Integer -> CardSource

nSuperHuge :: Int -> Integer -> CardSource

rank :: Int -> Integer -> CardSource

lambda :: Int -> Integer -> CardSource

rankIntoRank :: Int -> Integer -> CardSource

reinhardt :: Int -> Integer -> CardSource

order :: Int -> (Card -> Card) -> [Card]Source

zeroOrder :: Int -> (Card -> Card) -> [Card]Source

orderClass :: Int -> (Card -> Card) -> [Card]Source

club :: (Card -> Card) -> [Card]Source

fixedpoints :: Integer -> (Card -> Card) -> [Card]Source

higherOrder :: Integer -> (Card -> Card) -> [Card]Source

fromTo :: Int -> (Card -> Card) -> Int -> Int -> [Card]Source

alephs :: Int -> [Card]Source

alefs :: Integer -> [Card]Source

wInacs :: Int -> [Card]Source

weaklyInaccessibles :: Int -> [Card]Source

wInacz :: Integer -> [Card]Source

weaklyInaccessiblez :: Integer -> [Card]Source

sInacs :: Int -> [Card]Source

stronglyInaccessibles :: Int -> [Card]Source

sInacz :: Integer -> [Card]Source

stronglyInaccessiblez :: Integer -> [Card]Source

aInacs :: Int -> [Card]Source

alphaInaccessibles :: Int -> [Card]Source

aInacz :: Integer -> [Card]Source

alphaInaccessiblez :: Integer -> [Card]Source

hInacs :: Int -> [Card]Source

hyperInaccessibles :: Int -> [Card]Source

hInacz :: Integer -> [Card]Source

hyperInaccessiblez :: Integer -> [Card]Source

h2Inacs :: Int -> [Card]Source

hyper2Inaccessibles :: Int -> [Card]Source

h2Inacz :: Integer -> [Card]Source

hyper2Inaccessiblez :: Integer -> [Card]Source

wMahlos :: Int -> [Card]Source

weaklyMahlos :: Int -> [Card]Source

wMahloz :: Integer -> [Card]Source

weaklyMahloz :: Integer -> [Card]Source

sMahlos :: Int -> [Card]Source

stronglyMahlos :: Int -> [Card]Source

sMahloz :: Integer -> [Card]Source

stronglyMahloz :: Integer -> [Card]Source

aMahlos :: Int -> [Card]Source

alphaMahlos :: Int -> [Card]Source

aMahloz :: Integer -> [Card]Source

alphaMahloz :: Integer -> [Card]Source

hMahlos :: Int -> [Card]Source

hyperMahlos :: Int -> [Card]Source

hMahloz :: Integer -> [Card]Source

hyperMahloz :: Integer -> [Card]Source

reflections :: Int -> [Card]Source

reflexions :: Integer -> [Card]Source

piis :: Int -> Int -> Int -> [Card]Source

piIndescribables :: Int -> Int -> Int -> [Card]Source

piiz :: Int -> Int -> Integer -> [Card]Source

piIndescribablez :: Int -> Int -> Integer -> [Card]Source

tis :: Int -> [Card]Source

totallyIndescribables :: Int -> [Card]Source

tiz :: Integer -> [Card]Source

totallyIndescribablez :: Integer -> [Card]Source

nis :: Int -> [Card]Source

nuIndescribables :: Int -> [Card]Source

niz :: Integer -> [Card]Source

nuIndescribablez :: Integer -> [Card]Source

lambdaUnfolds :: Int -> [Card]Source

lambdaUnfoldables :: Int -> [Card]Source

lambdaUnfoldz :: Integer -> [Card]Source

lambdaUnfoldablez :: Integer -> [Card]Source

unfolds :: Int -> [Card]Source

unfoldables :: Int -> [Card]Source

unfoldz :: Integer -> [Card]Source

unfoldablez :: Integer -> [Card]Source

lambdaShrewds :: Int -> [Card]Source

lambdaShrewdz :: Integer -> [Card]Source

shrewds :: Int -> [Card]Source

shrewdz :: Integer -> [Card]Source

ethers :: Int -> [Card]Source

ethereals :: Int -> [Card]Source

etherz :: Integer -> [Card]Source

etherealz :: Integer -> [Card]Source

subtles :: Int -> [Card]Source

subtlez :: Integer -> [Card]Source

almostIneffs :: Int -> [Card]Source

almostIneffables :: Int -> [Card]Source

almostIneffz :: Integer -> [Card]Source

almostIneffablez :: Integer -> [Card]Source

ineffs :: Int -> [Card]Source

ineffables :: Int -> [Card]Source

ineffz :: Integer -> [Card]Source

ineffablez :: Integer -> [Card]Source

nIneffs :: Int -> [Card]Source

nIneffables :: Int -> [Card]Source

nIneffz :: Integer -> [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

aErdoss :: Int -> [Card]Source

alphaErdoss :: Int -> [Card]Source

aErdosz :: Integer -> [Card]Source

alphaErdosz :: Integer -> [Card]Source

gErdoss :: Int -> [Card]Source

gammaErdoss :: Int -> [Card]Source

gErdosz :: Integer -> [Card]Source

gammaErdosz :: Integer -> [Card]Source

aRamseys :: Int -> [Card]Source

almostRamseys :: Int -> [Card]Source

aRamseyz :: Integer -> [Card]Source

almostRamseyz :: Integer -> [Card]Source

jonssons :: Int -> [Card]Source

jonssonz :: Integer -> [Card]Source

rowbottoms :: Int -> [Card]Source

rowbottomz :: Integer -> [Card]Source

ramseys :: Int -> [Card]Source

ramseyz :: Integer -> [Card]Source

iRamseys :: Int -> [Card]Source

ineffablyRamseys :: Int -> [Card]Source

iRamseyz :: Integer -> [Card]Source

ineffablyRamseyz :: Integer -> [Card]Source

measures :: Int -> [Card]Source

measurables :: Int -> [Card]Source

measurez :: Integer -> [Card]Source

measurablez :: Integer -> [Card]Source

zeroDags :: Int -> [Card]Source

zeroDaggers :: Int -> [Card]Source

zeroDagz :: Integer -> [Card]Source

zeroDaggerz :: Integer -> [Card]Source

lambdaStrongs :: Int -> [Card]Source

lambdaStrongz :: Integer -> [Card]Source

strongs :: Int -> [Card]Source

strongz :: Integer -> [Card]Source

woodins :: Int -> [Card]Source

woodinz :: Integer -> [Card]Source

whWoodins :: Int -> [Card]Source

weaklyHyperWoodins :: Int -> [Card]Source

whWoodinz :: Integer -> [Card]Source

weaklyHyperWoodinz :: Integer -> [Card]Source

shelahs :: Int -> [Card]Source

shelahz :: Integer -> [Card]Source

hWoodins :: Int -> [Card]Source

hyperWoodins :: Int -> [Card]Source

hWoodinz :: Integer -> [Card]Source

hyperWoodinz :: Integer -> [Card]Source

sss :: Int -> [Card]Source

superstrongs :: Int -> [Card]Source

ssz :: Integer -> [Card]Source

superstrongz :: Integer -> [Card]Source

scs :: Int -> [Card]Source

subcompacts :: Int -> [Card]Source

scz :: Integer -> [Card]Source

subcompactz :: Integer -> [Card]Source

stronglycompacts :: Int -> [Card]Source

stronglycompactz :: Integer -> [Card]Source

supercompacts :: Int -> [Card]Source

supercompactz :: Integer -> [Card]Source

etas :: Int -> [Card]Source

etaExtendibles :: Int -> [Card]Source

etaz :: Integer -> [Card]Source

etaExtendiblez :: Integer -> [Card]Source

extends :: Int -> [Card]Source

extendibles :: Int -> [Card]Source

extendz :: Integer -> [Card]Source

extendiblez :: Integer -> [Card]Source

vopenkas :: Int -> [Card]Source

vopenkaz :: Integer -> [Card]Source

nsss :: Int -> [Card]Source

nSuperstrongs :: Int -> [Card]Source

nssz :: Integer -> [Card]Source

nSuperstrongz :: Integer -> [Card]Source

nahs :: Int -> [Card]Source

nAlmostHuges :: Int -> [Card]Source

nahz :: Integer -> [Card]Source

nAlmostHugez :: Integer -> [Card]Source

nsahs :: Int -> [Card]Source

nSuperAlmostHuges :: Int -> [Card]Source

nsahz :: Integer -> [Card]Source

nSuperAlmostHugez :: Integer -> [Card]Source

nHuges :: Int -> [Card]Source

nHugez :: Integer -> [Card]Source

nshs :: Int -> [Card]Source

nSuperHuges :: Int -> [Card]Source

nshz :: Integer -> [Card]Source

nSuperHugez :: Integer -> [Card]Source

ranks :: Int -> [Card]Source

rankIntoRanks :: Int -> [Card]Source

rankz :: Integer -> [Card]Source

rankIntoRankz :: Integer -> [Card]Source

reinhardts :: Int -> [Card]Source

reinhardtz :: Integer -> [Card]Source