diff --git a/Card.html b/Card.html new file mode 100644 --- /dev/null +++ b/Card.html @@ -0,0 +1,4 @@ +Card

 

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

diff --git a/LargeCardinalHierarchy.cabal b/LargeCardinalHierarchy.cabal --- a/LargeCardinalHierarchy.cabal +++ b/LargeCardinalHierarchy.cabal @@ -1,5 +1,5 @@ Name: LargeCardinalHierarchy -Version: 0.0.0 +Version: 0.0.1 Cabal-Version: >= 1.2 License: OtherLicense License-File: LICENSE diff --git a/LargeCardinalHierarchy.html b/LargeCardinalHierarchy.html new file mode 100644 --- /dev/null +++ b/LargeCardinalHierarchy.html @@ -0,0 +1,287 @@ +LargeCardinalHierarchy

 

PortabilityOS independent
Stabilityunstable
MaintainerStephen E.A. Britton (sbritton (at) cbu (dot) edu)
Safe HaskellSafe-Infered

LargeCardinalHierarchy

Description

The LargeCardinalHierarchy module defines a recursively enumerable, + countably infinite subclass of the logically + (consistent) maximal transfinite set-theoretic universe + ZFC+Con(LargeCardinals) (Zermelo-Frankel Set Theory + Axiom of Choice + + All known large cardinals consistent with ZFC) via data constructors + for each large cardinal within the hierarchy and functions over them. + The algebraic data type Card is a Haskell implementation + of the set theoretic proper class of all cardinals, Card. + Card has value constructors for a countably infinite (aleph-null sized) + subset of every cardinal type of all known large cardinals consistent + with ZFC (Zermelo-Frankel Set Theory + Axiom of Choice) or, + equivalently, ZF+GCH (Zermelo-Frankel Set Theory + Generalized Continuum Hypothesis). +

Synopsis

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

apply is a binary higher-order function + that takes a function f and a list of type x values, [x], + and returns a new list of values derived from the application of f to + each of the x values within [x]. +

zero :: CardSource

zero is the unique nullary function within the + LargeCardinalHierarchy module that returns the additive identity element + (and multiplicative absorbing element within the class of all cardinals), + cardinal 0, via the Card constructor. +

one :: CardSource

one is the unique nullary function within the + LargeCardinalHierarchy module that returns the multiplicative identity element + within the class of all cardinals, cardinal 1, via the Card constructor. +

absolute :: CardSource

absolute is a type synonym (nullary function) for AbsoluteInfinity; the + supremum of the class of all cardinals, Card. +

zeros :: [Card]Source

zeros is a nullary function that returns a countably-infinite (aleph-null sized) + sequence (a stream) of cardinal zeros. +

ones :: [Card]Source

ones is a nullary function that returns a countably-infinite (aleph-null sized) + sequence (a stream) of cardinal ones. +

alefz :: Int -> [Card]Source

alefz is a unary function that takes an Int n and + returns an n-element list of the first n aleph numbers enumerating from + aleph-null. +

tavs :: [Card]Source

tavs is a nullary function that returns a countably-infinite (aleph-null sized) + sequence (a stream) of TAVs; TAV being the symbol for the absolutely infinite + supremum of the class of all cardinals, Card. +

absolutes :: [Card]Source

absolutes is a nullary function that returns a countably-infinite (aleph-null sized) + sequence (a stream) of AbsoluteInfinitys; AbsoluteInfinity being the + cardinality the class of all cardinals, Card. +

absoluteInfinities :: [Card]Source

absoluteInfinities is a type synonym (nullary function) for absolutes. +

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

'(#)' is binary function from (Card, Card) to Card. + '(#)' takes two cardinal numbers and returns their binary sum. + Category-theoretically speaking, '(#)' is a coproduct in the class of + all cardinals, Card. +

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

'(#.)' is a unary (or, multiary) function from [Card] to Card. + '(#.)' takes a list of cardinal numbers and returns their multiary sum. + Category-theoretically speaking, '(#.)' is a coproduct in the class of + all cardinals, Card. +

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

'(*.)' is a binary function from (Card, Card) to Card. + '(*.)' takes two cardinal numbers and returns their binary product. +

x :: [Card] -> CardSource

x is a unary (or, multiary) function from [Card] to Card. + x takes a list of cardinal numbers and returns their multiary product. +

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

'(^.)' is a binary function from (Card,Card) to Card. + '(^.)' take two cardinal numbers and returns the power of the + zeroth cardinal number exponentiated to the first cardinal number. +

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

cp is a binary function from [a] & [b] to [(a, b)]. + cp takes two lists of elements and returns the + list of all ordered pairs of elements between the two lists. + cp is the Cartesian product operator. +

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

cartesianProduct is a binary function from [a] & [b] to [(a, b)]. + cartesianProduct takes two lists of elements and returns the + list of all ordered pairs of elements between the two lists + cartesianProduct is the Cartesian product operator. +

powerList :: [a] -> [[a]]Source

powerList is a unary function from [a] -> [[a]]. + powerList takes a list of elements and returns the list of all sublists + of that list. powerList is a canonical example of Haskell's facilitation + in expressing functions elegantly. +

ascend :: Integer -> [Card]Source

ascend is a unary function from Integer to [Card]. + ascend takes a natural number n and returns a list of aleph cardinals from + aleph 0 to aleph n. +

descend :: Integer -> [Card]Source

descend is a unary function from Integer to [Card]. + descend takes a natural number n and returns a list of aleph cardinals from + aleph n to aleph 0. +

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

level is a ternary function from (Int, Card, Integer) to Card. + level takes an Int n, a Card value constructor cons, and an Integer m + and returns a Card equal to cons $ cons $ cons $ ... $ Card m. +

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

ascent is a quaternary function from (Int, Card, Integer, Integer) to + [Card]. ascent takes an Int x, a Card value constructor cons, and + two Integers y and z and returns a list of level x type + cons Card values from y to z, where y <= z. + ascent is a generalization of ascend + over all data constructors in Card. +

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

descent is a quaternary function from (Int, Card, Integer, Integer) to + [Card]. descent takes an Int x, a Card value constructor cons, and + two Integers y and z and returns a list of level x type + cons Card values from y to z, where y >= z. + descent is a generalization of descend + over all data constructors in Card. +

c :: Integer -> CardSource

c is a unary function that takes an Integer n and + returns a finite cardinal number, Card n. +

alef :: Integer -> CardSource

alef is a unary function that takes an Integer n and + returns a tranfinite aleph number subscripted by cardinal n, Aleph n. +

aleph :: Int -> Integer -> CardSource

aleph is a binary function from (Int, Integer) to Card. + aleph takes an Int m and an Integer n and returns an + m level Aleph whose deepest subscript is n. +

beth :: Int -> Integer -> CardSource

beth is a binary function from (Int, Integer) to Card. + beth takes an Int m and an Integer n and returns an + m level Aleph whose deepest subscript is n. +

wInac :: Int -> Integer -> CardSource

wInac is a binary function from (Int, Integer) to Card. + wInac takes an Int m and an Integer n and returns an + m level WeaklyInaccessible whose deepest subscript is n. +

weaklyInaccessible :: Int -> Integer -> CardSource

weaklyInaccessible is a function synonym for wInac. +

sInac :: Int -> Integer -> CardSource

sInac is a binary function from (Int, Integer) to Card. + sInac takes an Int m and an Integer n and returns an + m level StronglyInaccessible whose deepest subscript is n. +

stronglyInaccessible :: Int -> Integer -> CardSource

stronglyInaccessible is a function synonym for sInac. +

theta :: Int -> Integer -> CardSource

theta is a binary function from (Int, Integer) to Card. + theta takes an Int m and an Integer n and returns an + m level StronglyInaccessible cardinal whose deepest subscript is n. + theta is a function synonym for sInac. +

aInac :: Int -> Integer -> CardSource

aInac is a binary function from (Int, Integer) to Card. + aInac takes an Int m and an Integer n and returns an + m level AlphaInaccessible whose deepest subscript is n. +

alphaInaccessible :: Int -> Integer -> CardSource

alphaInaccessible is a binary function from (Int, Integer) to Card. + alphaInaccessible takes an Int m and an Integer n and returns an + m level AlphaInaccessible whose deepest subscript is n. + alphaInaccessible is a function synonym for aInac. +

hInac :: Int -> Integer -> CardSource

hInac is a binary function from (Int, Integer) to Card. + hInac takes an Int m and an Integer n and returns an + m level HyperInaccessible whose deepest subscript is n. +

hyperInaccessible :: Int -> Integer -> CardSource

hyperInaccessible is a binary function from (Int, Integer) to Card. + hyperInaccessible takes an Int m and an Integer n and returns an + m level HyperInaccessible whose deepest subscript is n. + hyperInaccessible is a function synonym for hInac. +

nu :: Int -> Integer -> CardSource

nu is a binary function from (Int, Integer) to Card. + nu takes an Int m and an Integer n and returns an + m level HyperInaccessible whose deepest subscript is n. + nu is a function synonym for hInac. +

h2Inac :: Int -> Integer -> CardSource

h2Inac is a binary function from (Int, Integer) to Card. + h2Inac takes an Int m and an Integer n and returns an + m level Hyper2Inaccessible whose deepest subscript is n. +

hyper2Inaccessible :: Int -> Integer -> CardSource

hyper2Inaccessible is a binary function from (Int, Integer) to Card. + hyper2Inaccessible takes an Int m and an Integer n and returns an + m level Hyper2Inaccessible whose deepest subscript is n. + hyper2Inaccessible is a function synonym for h2Inac. +

mu :: Int -> Integer -> CardSource

mu is a binary function from (Int, Integer) to Card. + mu takes an Int m and an Integer n and returns an + m level Hyper2Inaccessible whose deepest subscript is n. + mu is a function synonym for h2Inac. +

wMahlo :: Int -> Integer -> CardSource

wMahlo is a binary function from (Int, Integer) to Card. + wMahlo takes an Int m and an Integer n and returns an + m level WeaklyMahlo whose deepest subscript is n. +

weaklyMahlo :: Int -> Integer -> CardSource

weaklyMahlo is a binary function from (Int, Integer) to Card. + weaklyMahlo takes an Int m and an Integer n and returns an + m level WeaklyMahlo whose deepest subscript is n. + weaklyMahlo is a function synonym for wMahlo. +

sMahlo :: Int -> Integer -> CardSource

sMahlo is a binary function from (Int, Integer) to Card. + sMahlo takes an Int m and an Integer n and returns an + m level StronglyMahlo whose deepest subscript is n. +

stronglyMahlo :: Int -> Integer -> CardSource

stronglyMahlo is a binary function from (Int, Integer) to Card. + stronglyMahlo takes an Int m and an Integer n and returns an + m level StronglyMahlo whose deepest subscript is n. + stronglyMahlo is a function synonym for sMahlo. +

rho :: Int -> Integer -> CardSource

rho is a binary function from (Int, Integer) to Card. + rho takes an Int m and an Integer n and returns an + m level StronglyMahlo cardinal whose deepest subscript is n. +

aMahlo :: Int -> Integer -> CardSource

aMahlo is a binary function from (Int, Integer) to Card. + aMahlo takes an Int m and an Integer n and returns an + m level AlphaMahlo whose deepest subscript is n. +

alphaMahlo :: Int -> Integer -> CardSource

alphaMahlo is a binary function from (Int, Integer) to Card. + alphaMahlo takes an Int m and an Integer n and returns an + m level AlphaMahlo whose deepest subscript is n. + alphaMahlo is a function synonym for aMahlo. +

hMahlo :: Int -> Integer -> CardSource

hMahlo is a binary function from (Int, Integer) to Card. + hMahlo takes an Int m and an Integer n and returns an + m level HyperMahlo whose deepest subscript is n. +

hyperMahlo :: Int -> Integer -> CardSource

hyperMahlo is a binary function from (Int, Integer) to Card. + hyperMahlo takes an Int m and an Integer n and returns an + m level HyperMahlo whose deepest subscript is n. +

reflect :: Int -> Integer -> CardSource

Binary function from (Int, Integer) to Card + reflect takes an Int m and an Integer n and returns an + m level reflecting cardinal whose deepest subscript is n +

reflecting :: Int -> Integer -> CardSource

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

Binary function from (Int, Int, Int, Integer) to Card + pii takes an Int x, an Int y, an Int m, and an Integer n + and returns the m level pi-(x, y)-indescribable cardinal + whose deepest subscript is n +

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

Binary function from (Int, Integer) to Card + ether takes an Int m and an Integer n and returns an + m level ethereal cardinal whose deepest subscript is n +

ethereal :: Int -> Integer -> CardSource

subtle :: Int -> Integer -> CardSource

Binary function from (Int, Integer) to Card + subtle takes an Int m and an Integer n and returns an + m level subtle cardinal whose deepest subscript is n +

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

Binary function from (Int, Integer) to Card + kappa takes an Int m and an Integer n and returns an + m level measurable cardinal whose deepest subscript is n +

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

Binary function from (Int, Integer) to Card + lambda takes an Int m and an Integer n and returns an + m level rank-into-rank cardinal whose deepest subscript is n +

rankIntoRank :: Int -> Integer -> CardSource

reinhardt :: Int -> Integer -> CardSource

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

Binary function from Int x Card to Card + order takes an Int m and a Card card and returns the + countably infinite list of level m card(s) indexed over + the natural numbers [0..]. That is, order returns + [(card m 0), (card m 1), (card m 2), (card m 3), . . .] +

order increases linearly over its second argument + keeping its first argument constant. order indexes in a + zero order manner over the natural numbers. + order m card = + [(card m 0), (card m 1), (card m 2), (card m 3), . . .] +

fixedpoints increases hierarchly over its first argument + keeping its second argument constant. fixedpoints indexes + in a higher order manner over its own arguments. + fixedpoints m card = + [(card 1 m), (card 2 m), (card 3 m), (card 4 m), . . .] +

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

Binary function from Int x Card to Card + zeroOrder takes an Int m and a Card card and returns the + countably infinite list of level m card(s) indexed over + the natural numbers [0..]. That is, zeroOrder returns + [(card m 0), (card m 1), (card m 2), (card m 3), . . .] +

zeroOrder increases linearly over its second argument + keeping its first argument constant. zeroOrder indexes in a + zero order manner over the natural numbers. + zeroOrder m card = + [(card m 0), (card m 1), (card m 2), (card m 3), . . .] +

zeroOrder 1 Aleph = + [Aleph(0), Aleph(1), Aleph(2), Aleph(3), . . .] +

higherOrder increases hierarchly over its first argument + keeping its second argument constant. higherOrder indexes + in a higher order manner over its own arguments. + higherOrder m card = + [(card 1 m), (card 2 m), (card 3 m), (card 4 m), . . .] +

higherOrder 1 Aleph = + [(1), Aleph(1), Aleph(Aleph(1)), Aleph(Aleph(Aleph(1))), . . .] +

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

Binary function from Int x Card to Card + orderClass takes an Int m and a Card card and returns the + countably infinite list of level m card(s) indexed over + the natural numbers [0..]. That is, orderClass returns + [(card m 0), (card m 1), (card m 2), (card m 3), . . .] + orderClass is identical to order +

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

Unary function from Card to Card + club takes a Card value constructor card and returns + the countably infinite list of type card Card fixed points + indexed over the natural numbers [0..]. That is, club returns + [(card 1 0), (card 2 0), (card 3 0), . . .] + club is an implementation of the normal function f: Ordinals -> Ordinals + that defines a closed and unbounded (club) class of ordinal + fixed points according to the Fixed point lemma for normal functions +

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

Binary function from Int x Card to Card + fixedpoints takes an Int m and a Card value constructor card and returns + the countably infinite list of type card Card fixed points + indexed over the natural number m. That is, fixedpoints returns + [(card 1 m), (card 2 m), (card 3 m), . . .] + fixedpoints is an implementation of the normal function + f: Ordinals -> Ordinals + that defines a closed and unbounded (club) class of ordinal + fixed points according to the Fixed point lemma for normal functions +

fixedpoints increases hierarchly over its first argument + keeping its second argument constant. fixedpoints indexes + in a higher order manner over its own arguments. + fixedpoints m card = + [(card 1 m), (card 2 m), (card 3 m), (card 4 m), . . .] +

order increases linearly over its second argument + keeping its first argument constant. order indexes in a + zero order manner over the natural numbers. + order m card = + [(card m 0), (card m 1), (card m 2), (card m 3), . . .] +

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

Binary function from Int x Card to Card + higherOrder takes an Int m and a Card value constructor card and returns + the countably infinite list of type card Card fixed points + indexed over the natural number m. That is, higherOrder returns + [(card 1 m), (card 2 m), (card 3 m), . . .] + higherOrder is an implementation of the normal function + f: Ordinals -> Ordinals + that defines a closed and unbounded (club) class of ordinal + fixed points according to the Fixed point lemma for normal functions +

higherOrder increases hierarchly over its first argument + keeping its second argument constant. higherOrder indexes + in a higher order manner over its own arguments. + higherOrder m card = + [(card 1 m), (card 2 m), (card 3 m), (card 4 m), . . .] +

higherOrder 1 Aleph = + [(1), Aleph(1), Aleph(Aleph(1)), Aleph(Aleph(Aleph(1))), . . .] +

zeroOrder increases linearly over its second argument + keeping its first argument constant. zeroOrder indexes in a + zero order manner over the natural numbers. + zeroOrder m card = + [(card m 0), (card m 1), (card m 2), (card m 3), . . .] +

zeroOrder 1 Aleph = + [Aleph(0), Aleph(1), Aleph(2), Aleph(3), . . .] +

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

Quaternary function from Int x Card x Int x Int to [Card] + fromTo takes an Int ord, a Card value constructor cons, an Int m, + and an Int n and returns the list of type cons Card(s) of order + ord indexed from m to n. That is, fromTo returns + [(cons ord m), . . . , (cons ord n)] + fromTo ord cons m n = descent ord cons m n +

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

diff --git a/doc-index-35.html b/doc-index-35.html new file mode 100644 --- /dev/null +++ b/doc-index-35.html @@ -0,0 +1,4 @@ + (Index - #)

 

Index - #

#LargeCardinalHierarchy
#.LargeCardinalHierarchy
diff --git a/doc-index-42.html b/doc-index-42.html new file mode 100644 --- /dev/null +++ b/doc-index-42.html @@ -0,0 +1,4 @@ + (Index - *)

 

Index - *

*.LargeCardinalHierarchy
diff --git a/doc-index-94.html b/doc-index-94.html new file mode 100644 --- /dev/null +++ b/doc-index-94.html @@ -0,0 +1,4 @@ + (Index - ^)

 

Index - ^

^.LargeCardinalHierarchy
diff --git a/doc-index-A.html b/doc-index-A.html new file mode 100644 --- /dev/null +++ b/doc-index-A.html @@ -0,0 +1,4 @@ + (Index - A)

 

Index - A

absoluteLargeCardinalHierarchy
absoluteInfinitiesLargeCardinalHierarchy
AbsoluteInfinityLargeCardinalHierarchy
absolutesLargeCardinalHierarchy
aErdosLargeCardinalHierarchy
aErdossLargeCardinalHierarchy
aErdoszLargeCardinalHierarchy
aInacLargeCardinalHierarchy
aInacsLargeCardinalHierarchy
aInaczLargeCardinalHierarchy
alefLargeCardinalHierarchy
alefsLargeCardinalHierarchy
alefzLargeCardinalHierarchy
AlephLargeCardinalHierarchy
alephLargeCardinalHierarchy
alephsLargeCardinalHierarchy
almostIneffLargeCardinalHierarchy
AlmostIneffableLargeCardinalHierarchy
almostIneffableLargeCardinalHierarchy
almostIneffablesLargeCardinalHierarchy
almostIneffablezLargeCardinalHierarchy
almostIneffsLargeCardinalHierarchy
almostIneffzLargeCardinalHierarchy
AlmostRamseyLargeCardinalHierarchy
almostRamseyLargeCardinalHierarchy
almostRamseysLargeCardinalHierarchy
almostRamseyzLargeCardinalHierarchy
AlphaErdosLargeCardinalHierarchy
alphaErdosLargeCardinalHierarchy
alphaErdossLargeCardinalHierarchy
alphaErdoszLargeCardinalHierarchy
AlphaInaccessibleLargeCardinalHierarchy
alphaInaccessibleLargeCardinalHierarchy
alphaInaccessiblesLargeCardinalHierarchy
alphaInaccessiblezLargeCardinalHierarchy
AlphaMahloLargeCardinalHierarchy
alphaMahloLargeCardinalHierarchy
alphaMahlosLargeCardinalHierarchy
alphaMahlozLargeCardinalHierarchy
aMahloLargeCardinalHierarchy
aMahlosLargeCardinalHierarchy
aMahlozLargeCardinalHierarchy
applyLargeCardinalHierarchy
aRamseyLargeCardinalHierarchy
aRamseysLargeCardinalHierarchy
aRamseyzLargeCardinalHierarchy
ascendLargeCardinalHierarchy
ascentLargeCardinalHierarchy
diff --git a/doc-index-All.html b/doc-index-All.html new file mode 100644 --- /dev/null +++ b/doc-index-All.html @@ -0,0 +1,4 @@ + (Index)

 

Index

#LargeCardinalHierarchy
#.LargeCardinalHierarchy
*.LargeCardinalHierarchy
absoluteLargeCardinalHierarchy
absoluteInfinitiesLargeCardinalHierarchy
AbsoluteInfinityLargeCardinalHierarchy
absolutesLargeCardinalHierarchy
aErdosLargeCardinalHierarchy
aErdossLargeCardinalHierarchy
aErdoszLargeCardinalHierarchy
aInacLargeCardinalHierarchy
aInacsLargeCardinalHierarchy
aInaczLargeCardinalHierarchy
alefLargeCardinalHierarchy
alefsLargeCardinalHierarchy
alefzLargeCardinalHierarchy
AlephLargeCardinalHierarchy
alephLargeCardinalHierarchy
alephsLargeCardinalHierarchy
almostIneffLargeCardinalHierarchy
AlmostIneffableLargeCardinalHierarchy
almostIneffableLargeCardinalHierarchy
almostIneffablesLargeCardinalHierarchy
almostIneffablezLargeCardinalHierarchy
almostIneffsLargeCardinalHierarchy
almostIneffzLargeCardinalHierarchy
AlmostRamseyLargeCardinalHierarchy
almostRamseyLargeCardinalHierarchy
almostRamseysLargeCardinalHierarchy
almostRamseyzLargeCardinalHierarchy
AlphaErdosLargeCardinalHierarchy
alphaErdosLargeCardinalHierarchy
alphaErdossLargeCardinalHierarchy
alphaErdoszLargeCardinalHierarchy
AlphaInaccessibleLargeCardinalHierarchy
alphaInaccessibleLargeCardinalHierarchy
alphaInaccessiblesLargeCardinalHierarchy
alphaInaccessiblezLargeCardinalHierarchy
AlphaMahloLargeCardinalHierarchy
alphaMahloLargeCardinalHierarchy
alphaMahlosLargeCardinalHierarchy
alphaMahlozLargeCardinalHierarchy
aMahloLargeCardinalHierarchy
aMahlosLargeCardinalHierarchy
aMahlozLargeCardinalHierarchy
applyLargeCardinalHierarchy
aRamseyLargeCardinalHierarchy
aRamseysLargeCardinalHierarchy
aRamseyzLargeCardinalHierarchy
ascendLargeCardinalHierarchy
ascentLargeCardinalHierarchy
bethLargeCardinalHierarchy
cLargeCardinalHierarchy
Card 
1 (Type/Class)LargeCardinalHierarchy
2 (Data Constructor)LargeCardinalHierarchy
cartesianProductLargeCardinalHierarchy
clubLargeCardinalHierarchy
cpLargeCardinalHierarchy
descendLargeCardinalHierarchy
descentLargeCardinalHierarchy
etaLargeCardinalHierarchy
etaExtendLargeCardinalHierarchy
EtaExtendibleLargeCardinalHierarchy
etaExtendibleLargeCardinalHierarchy
etaExtendiblesLargeCardinalHierarchy
etaExtendiblezLargeCardinalHierarchy
etasLargeCardinalHierarchy
etazLargeCardinalHierarchy
etherLargeCardinalHierarchy
EtherealLargeCardinalHierarchy
etherealLargeCardinalHierarchy
etherealsLargeCardinalHierarchy
etherealzLargeCardinalHierarchy
ethersLargeCardinalHierarchy
etherzLargeCardinalHierarchy
exLargeCardinalHierarchy
extendLargeCardinalHierarchy
ExtendibleLargeCardinalHierarchy
extendibleLargeCardinalHierarchy
extendiblesLargeCardinalHierarchy
extendiblezLargeCardinalHierarchy
extendsLargeCardinalHierarchy
extendzLargeCardinalHierarchy
fixedpointsLargeCardinalHierarchy
fromToLargeCardinalHierarchy
gammaLargeCardinalHierarchy
GammaErdosLargeCardinalHierarchy
gammaErdosLargeCardinalHierarchy
gammaErdossLargeCardinalHierarchy
gammaErdoszLargeCardinalHierarchy
gErdosLargeCardinalHierarchy
gErdossLargeCardinalHierarchy
gErdoszLargeCardinalHierarchy
h2InacLargeCardinalHierarchy
h2InacsLargeCardinalHierarchy
h2InaczLargeCardinalHierarchy
higherOrderLargeCardinalHierarchy
hInacLargeCardinalHierarchy
hInacsLargeCardinalHierarchy
hInaczLargeCardinalHierarchy
hMahloLargeCardinalHierarchy
hMahlosLargeCardinalHierarchy
hMahlozLargeCardinalHierarchy
hWoodinLargeCardinalHierarchy
hWoodinsLargeCardinalHierarchy
hWoodinzLargeCardinalHierarchy
Hyper2InaccessibleLargeCardinalHierarchy
hyper2InaccessibleLargeCardinalHierarchy
hyper2InaccessiblesLargeCardinalHierarchy
hyper2InaccessiblezLargeCardinalHierarchy
HyperInaccessibleLargeCardinalHierarchy
hyperInaccessibleLargeCardinalHierarchy
hyperInaccessiblesLargeCardinalHierarchy
hyperInaccessiblezLargeCardinalHierarchy
HyperMahloLargeCardinalHierarchy
hyperMahloLargeCardinalHierarchy
hyperMahlosLargeCardinalHierarchy
hyperMahlozLargeCardinalHierarchy
HyperWoodinLargeCardinalHierarchy
hyperWoodinLargeCardinalHierarchy
hyperWoodinsLargeCardinalHierarchy
hyperWoodinzLargeCardinalHierarchy
ineffLargeCardinalHierarchy
IneffableLargeCardinalHierarchy
ineffableLargeCardinalHierarchy
ineffablesLargeCardinalHierarchy
ineffablezLargeCardinalHierarchy
IneffablyRamseyLargeCardinalHierarchy
ineffablyRamseyLargeCardinalHierarchy
ineffablyRamseysLargeCardinalHierarchy
ineffablyRamseyzLargeCardinalHierarchy
ineffsLargeCardinalHierarchy
ineffzLargeCardinalHierarchy
iRamseyLargeCardinalHierarchy
iRamseysLargeCardinalHierarchy
iRamseyzLargeCardinalHierarchy
JonssonLargeCardinalHierarchy
jonssonLargeCardinalHierarchy
jonssonsLargeCardinalHierarchy
jonssonzLargeCardinalHierarchy
kappaLargeCardinalHierarchy
lambdaLargeCardinalHierarchy
LambdaShrewdLargeCardinalHierarchy
lambdaShrewdLargeCardinalHierarchy
lambdaShrewdsLargeCardinalHierarchy
lambdaShrewdzLargeCardinalHierarchy
LambdaStrongLargeCardinalHierarchy
lambdaStrongLargeCardinalHierarchy
lambdaStrongsLargeCardinalHierarchy
lambdaStrongzLargeCardinalHierarchy
lambdaUnfoldLargeCardinalHierarchy
LambdaUnfoldableLargeCardinalHierarchy
lambdaUnfoldableLargeCardinalHierarchy
lambdaUnfoldablesLargeCardinalHierarchy
lambdaUnfoldablezLargeCardinalHierarchy
lambdaUnfoldsLargeCardinalHierarchy
lambdaUnfoldzLargeCardinalHierarchy
levelLargeCardinalHierarchy
MeasurableLargeCardinalHierarchy
measurableLargeCardinalHierarchy
measurablesLargeCardinalHierarchy
measurablezLargeCardinalHierarchy
measureLargeCardinalHierarchy
measuresLargeCardinalHierarchy
measurezLargeCardinalHierarchy
muLargeCardinalHierarchy
nahLargeCardinalHierarchy
nahsLargeCardinalHierarchy
nahzLargeCardinalHierarchy
NAlmostHugeLargeCardinalHierarchy
nAlmostHugeLargeCardinalHierarchy
nAlmostHugesLargeCardinalHierarchy
nAlmostHugezLargeCardinalHierarchy
nhLargeCardinalHierarchy
NHugeLargeCardinalHierarchy
nHugeLargeCardinalHierarchy
nHugesLargeCardinalHierarchy
nHugezLargeCardinalHierarchy
niLargeCardinalHierarchy
nIneffLargeCardinalHierarchy
NIneffableLargeCardinalHierarchy
nIneffableLargeCardinalHierarchy
nIneffablesLargeCardinalHierarchy
nIneffablezLargeCardinalHierarchy
nIneffsLargeCardinalHierarchy
nIneffzLargeCardinalHierarchy
nisLargeCardinalHierarchy
nizLargeCardinalHierarchy
nsahLargeCardinalHierarchy
nsahsLargeCardinalHierarchy
nsahzLargeCardinalHierarchy
nshLargeCardinalHierarchy
nshsLargeCardinalHierarchy
nshzLargeCardinalHierarchy
nssLargeCardinalHierarchy
nsssLargeCardinalHierarchy
nsszLargeCardinalHierarchy
NSuperAlmostHugeLargeCardinalHierarchy
nSuperAlmostHugeLargeCardinalHierarchy
nSuperAlmostHugesLargeCardinalHierarchy
nSuperAlmostHugezLargeCardinalHierarchy
NSuperHugeLargeCardinalHierarchy
nSuperHugeLargeCardinalHierarchy
nSuperHugesLargeCardinalHierarchy
nSuperHugezLargeCardinalHierarchy
NSuperstrongLargeCardinalHierarchy
nSuperstrongLargeCardinalHierarchy
nSuperstrongsLargeCardinalHierarchy
nSuperstrongzLargeCardinalHierarchy
nuLargeCardinalHierarchy
nuIndescLargeCardinalHierarchy
NuIndescribableLargeCardinalHierarchy
nuIndescribableLargeCardinalHierarchy
nuIndescribablesLargeCardinalHierarchy
nuIndescribablezLargeCardinalHierarchy
oneLargeCardinalHierarchy
onesLargeCardinalHierarchy
orderLargeCardinalHierarchy
orderClassLargeCardinalHierarchy
piiLargeCardinalHierarchy
piIndescLargeCardinalHierarchy
PiIndescribableLargeCardinalHierarchy
piIndescribableLargeCardinalHierarchy
piIndescribablesLargeCardinalHierarchy
piIndescribablezLargeCardinalHierarchy
piisLargeCardinalHierarchy
piizLargeCardinalHierarchy
powerListLargeCardinalHierarchy
RamseyLargeCardinalHierarchy
ramseyLargeCardinalHierarchy
ramseysLargeCardinalHierarchy
ramseyzLargeCardinalHierarchy
rankLargeCardinalHierarchy
RankIntoRankLargeCardinalHierarchy
rankIntoRankLargeCardinalHierarchy
rankIntoRanksLargeCardinalHierarchy
rankIntoRankzLargeCardinalHierarchy
ranksLargeCardinalHierarchy
rankzLargeCardinalHierarchy
reflectLargeCardinalHierarchy
ReflectingLargeCardinalHierarchy
reflectingLargeCardinalHierarchy
reflectionsLargeCardinalHierarchy
reflexionsLargeCardinalHierarchy
ReinhardtLargeCardinalHierarchy
reinhardtLargeCardinalHierarchy
reinhardtsLargeCardinalHierarchy
reinhardtzLargeCardinalHierarchy
remarkLargeCardinalHierarchy
RemarkableLargeCardinalHierarchy
remarkableLargeCardinalHierarchy
remarkablesLargeCardinalHierarchy
remarkablezLargeCardinalHierarchy
rhoLargeCardinalHierarchy
RowbottomLargeCardinalHierarchy
rowbottomLargeCardinalHierarchy
rowbottomsLargeCardinalHierarchy
rowbottomzLargeCardinalHierarchy
scsLargeCardinalHierarchy
sczLargeCardinalHierarchy
ShelahLargeCardinalHierarchy
shelahLargeCardinalHierarchy
shelahsLargeCardinalHierarchy
shelahzLargeCardinalHierarchy
ShrewdLargeCardinalHierarchy
shrewdLargeCardinalHierarchy
shrewdsLargeCardinalHierarchy
shrewdzLargeCardinalHierarchy
sInacLargeCardinalHierarchy
sInacsLargeCardinalHierarchy
sInaczLargeCardinalHierarchy
sMahloLargeCardinalHierarchy
sMahlosLargeCardinalHierarchy
sMahlozLargeCardinalHierarchy
ssLargeCardinalHierarchy
sssLargeCardinalHierarchy
sszLargeCardinalHierarchy
StrongLargeCardinalHierarchy
strongLargeCardinalHierarchy
StronglyCompactLargeCardinalHierarchy
stronglyCompactLargeCardinalHierarchy
stronglycompactsLargeCardinalHierarchy
stronglycompactzLargeCardinalHierarchy
StronglyInaccessibleLargeCardinalHierarchy
stronglyInaccessibleLargeCardinalHierarchy
stronglyInaccessiblesLargeCardinalHierarchy
stronglyInaccessiblezLargeCardinalHierarchy
StronglyMahloLargeCardinalHierarchy
stronglyMahloLargeCardinalHierarchy
stronglyMahlosLargeCardinalHierarchy
stronglyMahlozLargeCardinalHierarchy
strongsLargeCardinalHierarchy
strongzLargeCardinalHierarchy
SubcompactLargeCardinalHierarchy
subcompactLargeCardinalHierarchy
subcompactsLargeCardinalHierarchy
subcompactzLargeCardinalHierarchy
SubtleLargeCardinalHierarchy
subtleLargeCardinalHierarchy
subtlesLargeCardinalHierarchy
subtlezLargeCardinalHierarchy
supCompactLargeCardinalHierarchy
SupercompactLargeCardinalHierarchy
superCompactLargeCardinalHierarchy
supercompactsLargeCardinalHierarchy
supercompactzLargeCardinalHierarchy
SuperstrongLargeCardinalHierarchy
superStrongLargeCardinalHierarchy
superstrongLargeCardinalHierarchy
superstrongsLargeCardinalHierarchy
superstrongzLargeCardinalHierarchy
supStrongLargeCardinalHierarchy
TAVLargeCardinalHierarchy
tavsLargeCardinalHierarchy
thetaLargeCardinalHierarchy
tiLargeCardinalHierarchy
tisLargeCardinalHierarchy
tizLargeCardinalHierarchy
totalIndescLargeCardinalHierarchy
totalIneffLargeCardinalHierarchy
totalIneffsLargeCardinalHierarchy
totalIneffzLargeCardinalHierarchy
TotallyIndescribableLargeCardinalHierarchy
totallyIndescribableLargeCardinalHierarchy
totallyIndescribablesLargeCardinalHierarchy
totallyIndescribablezLargeCardinalHierarchy
TotallyIneffableLargeCardinalHierarchy
totallyIneffableLargeCardinalHierarchy
totallyIneffablesLargeCardinalHierarchy
totallyIneffablezLargeCardinalHierarchy
unfoldLargeCardinalHierarchy
UnfoldableLargeCardinalHierarchy
unfoldableLargeCardinalHierarchy
unfoldablesLargeCardinalHierarchy
unfoldablezLargeCardinalHierarchy
unfoldsLargeCardinalHierarchy
unfoldzLargeCardinalHierarchy
VopenkaLargeCardinalHierarchy
vopenkaLargeCardinalHierarchy
vopenkasLargeCardinalHierarchy
vopenkazLargeCardinalHierarchy
WeaklyHyperWoodinLargeCardinalHierarchy
weaklyHyperWoodinLargeCardinalHierarchy
weaklyHyperWoodinsLargeCardinalHierarchy
weaklyHyperWoodinzLargeCardinalHierarchy
WeaklyInaccessibleLargeCardinalHierarchy
weaklyInaccessibleLargeCardinalHierarchy
weaklyInaccessiblesLargeCardinalHierarchy
weaklyInaccessiblezLargeCardinalHierarchy
WeaklyMahloLargeCardinalHierarchy
weaklyMahloLargeCardinalHierarchy
weaklyMahlosLargeCardinalHierarchy
weaklyMahlozLargeCardinalHierarchy
whWoodinLargeCardinalHierarchy
whWoodinsLargeCardinalHierarchy
whWoodinzLargeCardinalHierarchy
wInacLargeCardinalHierarchy
wInacsLargeCardinalHierarchy
wInaczLargeCardinalHierarchy
wMahloLargeCardinalHierarchy
wMahlosLargeCardinalHierarchy
wMahlozLargeCardinalHierarchy
WoodinLargeCardinalHierarchy
woodinLargeCardinalHierarchy
woodinsLargeCardinalHierarchy
woodinzLargeCardinalHierarchy
xLargeCardinalHierarchy
zeroLargeCardinalHierarchy
zeroDagLargeCardinalHierarchy
ZeroDaggerLargeCardinalHierarchy
zeroDaggerLargeCardinalHierarchy
zeroDaggersLargeCardinalHierarchy
zeroDaggerzLargeCardinalHierarchy
zeroDagsLargeCardinalHierarchy
zeroDagzLargeCardinalHierarchy
zeroOrderLargeCardinalHierarchy
zerosLargeCardinalHierarchy
^.LargeCardinalHierarchy
diff --git a/doc-index-B.html b/doc-index-B.html new file mode 100644 --- /dev/null +++ b/doc-index-B.html @@ -0,0 +1,4 @@ + (Index - B)

 

Index - B

bethLargeCardinalHierarchy
diff --git a/doc-index-C.html b/doc-index-C.html new file mode 100644 --- /dev/null +++ b/doc-index-C.html @@ -0,0 +1,4 @@ + (Index - C)

 

Index - C

cLargeCardinalHierarchy
Card 
1 (Type/Class)LargeCardinalHierarchy
2 (Data Constructor)LargeCardinalHierarchy
cartesianProductLargeCardinalHierarchy
clubLargeCardinalHierarchy
cpLargeCardinalHierarchy
diff --git a/doc-index-D.html b/doc-index-D.html new file mode 100644 --- /dev/null +++ b/doc-index-D.html @@ -0,0 +1,4 @@ + (Index - D)

 

Index - D

descendLargeCardinalHierarchy
descentLargeCardinalHierarchy
diff --git a/doc-index-E.html b/doc-index-E.html new file mode 100644 --- /dev/null +++ b/doc-index-E.html @@ -0,0 +1,4 @@ + (Index - E)

 

Index - E

etaLargeCardinalHierarchy
etaExtendLargeCardinalHierarchy
EtaExtendibleLargeCardinalHierarchy
etaExtendibleLargeCardinalHierarchy
etaExtendiblesLargeCardinalHierarchy
etaExtendiblezLargeCardinalHierarchy
etasLargeCardinalHierarchy
etazLargeCardinalHierarchy
etherLargeCardinalHierarchy
EtherealLargeCardinalHierarchy
etherealLargeCardinalHierarchy
etherealsLargeCardinalHierarchy
etherealzLargeCardinalHierarchy
ethersLargeCardinalHierarchy
etherzLargeCardinalHierarchy
exLargeCardinalHierarchy
extendLargeCardinalHierarchy
ExtendibleLargeCardinalHierarchy
extendibleLargeCardinalHierarchy
extendiblesLargeCardinalHierarchy
extendiblezLargeCardinalHierarchy
extendsLargeCardinalHierarchy
extendzLargeCardinalHierarchy
diff --git a/doc-index-F.html b/doc-index-F.html new file mode 100644 --- /dev/null +++ b/doc-index-F.html @@ -0,0 +1,4 @@ + (Index - F)

 

Index - F

fixedpointsLargeCardinalHierarchy
fromToLargeCardinalHierarchy
diff --git a/doc-index-G.html b/doc-index-G.html new file mode 100644 --- /dev/null +++ b/doc-index-G.html @@ -0,0 +1,4 @@ + (Index - G)

 

Index - G

gammaLargeCardinalHierarchy
GammaErdosLargeCardinalHierarchy
gammaErdosLargeCardinalHierarchy
gammaErdossLargeCardinalHierarchy
gammaErdoszLargeCardinalHierarchy
gErdosLargeCardinalHierarchy
gErdossLargeCardinalHierarchy
gErdoszLargeCardinalHierarchy
diff --git a/doc-index-H.html b/doc-index-H.html new file mode 100644 --- /dev/null +++ b/doc-index-H.html @@ -0,0 +1,4 @@ + (Index - H)

 

Index - H

h2InacLargeCardinalHierarchy
h2InacsLargeCardinalHierarchy
h2InaczLargeCardinalHierarchy
higherOrderLargeCardinalHierarchy
hInacLargeCardinalHierarchy
hInacsLargeCardinalHierarchy
hInaczLargeCardinalHierarchy
hMahloLargeCardinalHierarchy
hMahlosLargeCardinalHierarchy
hMahlozLargeCardinalHierarchy
hWoodinLargeCardinalHierarchy
hWoodinsLargeCardinalHierarchy
hWoodinzLargeCardinalHierarchy
Hyper2InaccessibleLargeCardinalHierarchy
hyper2InaccessibleLargeCardinalHierarchy
hyper2InaccessiblesLargeCardinalHierarchy
hyper2InaccessiblezLargeCardinalHierarchy
HyperInaccessibleLargeCardinalHierarchy
hyperInaccessibleLargeCardinalHierarchy
hyperInaccessiblesLargeCardinalHierarchy
hyperInaccessiblezLargeCardinalHierarchy
HyperMahloLargeCardinalHierarchy
hyperMahloLargeCardinalHierarchy
hyperMahlosLargeCardinalHierarchy
hyperMahlozLargeCardinalHierarchy
HyperWoodinLargeCardinalHierarchy
hyperWoodinLargeCardinalHierarchy
hyperWoodinsLargeCardinalHierarchy
hyperWoodinzLargeCardinalHierarchy
diff --git a/doc-index-I.html b/doc-index-I.html new file mode 100644 --- /dev/null +++ b/doc-index-I.html @@ -0,0 +1,4 @@ + (Index - I)

 

Index - I

ineffLargeCardinalHierarchy
IneffableLargeCardinalHierarchy
ineffableLargeCardinalHierarchy
ineffablesLargeCardinalHierarchy
ineffablezLargeCardinalHierarchy
IneffablyRamseyLargeCardinalHierarchy
ineffablyRamseyLargeCardinalHierarchy
ineffablyRamseysLargeCardinalHierarchy
ineffablyRamseyzLargeCardinalHierarchy
ineffsLargeCardinalHierarchy
ineffzLargeCardinalHierarchy
iRamseyLargeCardinalHierarchy
iRamseysLargeCardinalHierarchy
iRamseyzLargeCardinalHierarchy
diff --git a/doc-index-J.html b/doc-index-J.html new file mode 100644 --- /dev/null +++ b/doc-index-J.html @@ -0,0 +1,4 @@ + (Index - J)

 

Index - J

JonssonLargeCardinalHierarchy
jonssonLargeCardinalHierarchy
jonssonsLargeCardinalHierarchy
jonssonzLargeCardinalHierarchy
diff --git a/doc-index-K.html b/doc-index-K.html new file mode 100644 --- /dev/null +++ b/doc-index-K.html @@ -0,0 +1,4 @@ + (Index - K)

 

Index - K

kappaLargeCardinalHierarchy
diff --git a/doc-index-L.html b/doc-index-L.html new file mode 100644 --- /dev/null +++ b/doc-index-L.html @@ -0,0 +1,4 @@ + (Index - L)

 

Index - L

lambdaLargeCardinalHierarchy
LambdaShrewdLargeCardinalHierarchy
lambdaShrewdLargeCardinalHierarchy
lambdaShrewdsLargeCardinalHierarchy
lambdaShrewdzLargeCardinalHierarchy
LambdaStrongLargeCardinalHierarchy
lambdaStrongLargeCardinalHierarchy
lambdaStrongsLargeCardinalHierarchy
lambdaStrongzLargeCardinalHierarchy
lambdaUnfoldLargeCardinalHierarchy
LambdaUnfoldableLargeCardinalHierarchy
lambdaUnfoldableLargeCardinalHierarchy
lambdaUnfoldablesLargeCardinalHierarchy
lambdaUnfoldablezLargeCardinalHierarchy
lambdaUnfoldsLargeCardinalHierarchy
lambdaUnfoldzLargeCardinalHierarchy
levelLargeCardinalHierarchy
diff --git a/doc-index-M.html b/doc-index-M.html new file mode 100644 --- /dev/null +++ b/doc-index-M.html @@ -0,0 +1,4 @@ + (Index - M)

 

Index - M

MeasurableLargeCardinalHierarchy
measurableLargeCardinalHierarchy
measurablesLargeCardinalHierarchy
measurablezLargeCardinalHierarchy
measureLargeCardinalHierarchy
measuresLargeCardinalHierarchy
measurezLargeCardinalHierarchy
muLargeCardinalHierarchy
diff --git a/doc-index-N.html b/doc-index-N.html new file mode 100644 --- /dev/null +++ b/doc-index-N.html @@ -0,0 +1,4 @@ + (Index - N)

 

Index - N

nahLargeCardinalHierarchy
nahsLargeCardinalHierarchy
nahzLargeCardinalHierarchy
NAlmostHugeLargeCardinalHierarchy
nAlmostHugeLargeCardinalHierarchy
nAlmostHugesLargeCardinalHierarchy
nAlmostHugezLargeCardinalHierarchy
nhLargeCardinalHierarchy
NHugeLargeCardinalHierarchy
nHugeLargeCardinalHierarchy
nHugesLargeCardinalHierarchy
nHugezLargeCardinalHierarchy
niLargeCardinalHierarchy
nIneffLargeCardinalHierarchy
NIneffableLargeCardinalHierarchy
nIneffableLargeCardinalHierarchy
nIneffablesLargeCardinalHierarchy
nIneffablezLargeCardinalHierarchy
nIneffsLargeCardinalHierarchy
nIneffzLargeCardinalHierarchy
nisLargeCardinalHierarchy
nizLargeCardinalHierarchy
nsahLargeCardinalHierarchy
nsahsLargeCardinalHierarchy
nsahzLargeCardinalHierarchy
nshLargeCardinalHierarchy
nshsLargeCardinalHierarchy
nshzLargeCardinalHierarchy
nssLargeCardinalHierarchy
nsssLargeCardinalHierarchy
nsszLargeCardinalHierarchy
NSuperAlmostHugeLargeCardinalHierarchy
nSuperAlmostHugeLargeCardinalHierarchy
nSuperAlmostHugesLargeCardinalHierarchy
nSuperAlmostHugezLargeCardinalHierarchy
NSuperHugeLargeCardinalHierarchy
nSuperHugeLargeCardinalHierarchy
nSuperHugesLargeCardinalHierarchy
nSuperHugezLargeCardinalHierarchy
NSuperstrongLargeCardinalHierarchy
nSuperstrongLargeCardinalHierarchy
nSuperstrongsLargeCardinalHierarchy
nSuperstrongzLargeCardinalHierarchy
nuLargeCardinalHierarchy
nuIndescLargeCardinalHierarchy
NuIndescribableLargeCardinalHierarchy
nuIndescribableLargeCardinalHierarchy
nuIndescribablesLargeCardinalHierarchy
nuIndescribablezLargeCardinalHierarchy
diff --git a/doc-index-O.html b/doc-index-O.html new file mode 100644 --- /dev/null +++ b/doc-index-O.html @@ -0,0 +1,4 @@ + (Index - O)

 

Index - O

oneLargeCardinalHierarchy
onesLargeCardinalHierarchy
orderLargeCardinalHierarchy
orderClassLargeCardinalHierarchy
diff --git a/doc-index-P.html b/doc-index-P.html new file mode 100644 --- /dev/null +++ b/doc-index-P.html @@ -0,0 +1,4 @@ + (Index - P)

 

Index - P

piiLargeCardinalHierarchy
piIndescLargeCardinalHierarchy
PiIndescribableLargeCardinalHierarchy
piIndescribableLargeCardinalHierarchy
piIndescribablesLargeCardinalHierarchy
piIndescribablezLargeCardinalHierarchy
piisLargeCardinalHierarchy
piizLargeCardinalHierarchy
powerListLargeCardinalHierarchy
diff --git a/doc-index-R.html b/doc-index-R.html new file mode 100644 --- /dev/null +++ b/doc-index-R.html @@ -0,0 +1,4 @@ + (Index - R)

 

Index - R

RamseyLargeCardinalHierarchy
ramseyLargeCardinalHierarchy
ramseysLargeCardinalHierarchy
ramseyzLargeCardinalHierarchy
rankLargeCardinalHierarchy
RankIntoRankLargeCardinalHierarchy
rankIntoRankLargeCardinalHierarchy
rankIntoRanksLargeCardinalHierarchy
rankIntoRankzLargeCardinalHierarchy
ranksLargeCardinalHierarchy
rankzLargeCardinalHierarchy
reflectLargeCardinalHierarchy
ReflectingLargeCardinalHierarchy
reflectingLargeCardinalHierarchy
reflectionsLargeCardinalHierarchy
reflexionsLargeCardinalHierarchy
ReinhardtLargeCardinalHierarchy
reinhardtLargeCardinalHierarchy
reinhardtsLargeCardinalHierarchy
reinhardtzLargeCardinalHierarchy
remarkLargeCardinalHierarchy
RemarkableLargeCardinalHierarchy
remarkableLargeCardinalHierarchy
remarkablesLargeCardinalHierarchy
remarkablezLargeCardinalHierarchy
rhoLargeCardinalHierarchy
RowbottomLargeCardinalHierarchy
rowbottomLargeCardinalHierarchy
rowbottomsLargeCardinalHierarchy
rowbottomzLargeCardinalHierarchy
diff --git a/doc-index-S.html b/doc-index-S.html new file mode 100644 --- /dev/null +++ b/doc-index-S.html @@ -0,0 +1,4 @@ + (Index - S)

 

Index - S

scsLargeCardinalHierarchy
sczLargeCardinalHierarchy
ShelahLargeCardinalHierarchy
shelahLargeCardinalHierarchy
shelahsLargeCardinalHierarchy
shelahzLargeCardinalHierarchy
ShrewdLargeCardinalHierarchy
shrewdLargeCardinalHierarchy
shrewdsLargeCardinalHierarchy
shrewdzLargeCardinalHierarchy
sInacLargeCardinalHierarchy
sInacsLargeCardinalHierarchy
sInaczLargeCardinalHierarchy
sMahloLargeCardinalHierarchy
sMahlosLargeCardinalHierarchy
sMahlozLargeCardinalHierarchy
ssLargeCardinalHierarchy
sssLargeCardinalHierarchy
sszLargeCardinalHierarchy
StrongLargeCardinalHierarchy
strongLargeCardinalHierarchy
StronglyCompactLargeCardinalHierarchy
stronglyCompactLargeCardinalHierarchy
stronglycompactsLargeCardinalHierarchy
stronglycompactzLargeCardinalHierarchy
StronglyInaccessibleLargeCardinalHierarchy
stronglyInaccessibleLargeCardinalHierarchy
stronglyInaccessiblesLargeCardinalHierarchy
stronglyInaccessiblezLargeCardinalHierarchy
StronglyMahloLargeCardinalHierarchy
stronglyMahloLargeCardinalHierarchy
stronglyMahlosLargeCardinalHierarchy
stronglyMahlozLargeCardinalHierarchy
strongsLargeCardinalHierarchy
strongzLargeCardinalHierarchy
SubcompactLargeCardinalHierarchy
subcompactLargeCardinalHierarchy
subcompactsLargeCardinalHierarchy
subcompactzLargeCardinalHierarchy
SubtleLargeCardinalHierarchy
subtleLargeCardinalHierarchy
subtlesLargeCardinalHierarchy
subtlezLargeCardinalHierarchy
supCompactLargeCardinalHierarchy
SupercompactLargeCardinalHierarchy
superCompactLargeCardinalHierarchy
supercompactsLargeCardinalHierarchy
supercompactzLargeCardinalHierarchy
SuperstrongLargeCardinalHierarchy
superStrongLargeCardinalHierarchy
superstrongLargeCardinalHierarchy
superstrongsLargeCardinalHierarchy
superstrongzLargeCardinalHierarchy
supStrongLargeCardinalHierarchy
diff --git a/doc-index-T.html b/doc-index-T.html new file mode 100644 --- /dev/null +++ b/doc-index-T.html @@ -0,0 +1,4 @@ + (Index - T)

 

Index - T

TAVLargeCardinalHierarchy
tavsLargeCardinalHierarchy
thetaLargeCardinalHierarchy
tiLargeCardinalHierarchy
tisLargeCardinalHierarchy
tizLargeCardinalHierarchy
totalIndescLargeCardinalHierarchy
totalIneffLargeCardinalHierarchy
totalIneffsLargeCardinalHierarchy
totalIneffzLargeCardinalHierarchy
TotallyIndescribableLargeCardinalHierarchy
totallyIndescribableLargeCardinalHierarchy
totallyIndescribablesLargeCardinalHierarchy
totallyIndescribablezLargeCardinalHierarchy
TotallyIneffableLargeCardinalHierarchy
totallyIneffableLargeCardinalHierarchy
totallyIneffablesLargeCardinalHierarchy
totallyIneffablezLargeCardinalHierarchy
diff --git a/doc-index-U.html b/doc-index-U.html new file mode 100644 --- /dev/null +++ b/doc-index-U.html @@ -0,0 +1,4 @@ + (Index - U)

 

Index - U

unfoldLargeCardinalHierarchy
UnfoldableLargeCardinalHierarchy
unfoldableLargeCardinalHierarchy
unfoldablesLargeCardinalHierarchy
unfoldablezLargeCardinalHierarchy
unfoldsLargeCardinalHierarchy
unfoldzLargeCardinalHierarchy
diff --git a/doc-index-V.html b/doc-index-V.html new file mode 100644 --- /dev/null +++ b/doc-index-V.html @@ -0,0 +1,4 @@ + (Index - V)

 

Index - V

VopenkaLargeCardinalHierarchy
vopenkaLargeCardinalHierarchy
vopenkasLargeCardinalHierarchy
vopenkazLargeCardinalHierarchy
diff --git a/doc-index-W.html b/doc-index-W.html new file mode 100644 --- /dev/null +++ b/doc-index-W.html @@ -0,0 +1,4 @@ + (Index - W)

 

Index - W

WeaklyHyperWoodinLargeCardinalHierarchy
weaklyHyperWoodinLargeCardinalHierarchy
weaklyHyperWoodinsLargeCardinalHierarchy
weaklyHyperWoodinzLargeCardinalHierarchy
WeaklyInaccessibleLargeCardinalHierarchy
weaklyInaccessibleLargeCardinalHierarchy
weaklyInaccessiblesLargeCardinalHierarchy
weaklyInaccessiblezLargeCardinalHierarchy
WeaklyMahloLargeCardinalHierarchy
weaklyMahloLargeCardinalHierarchy
weaklyMahlosLargeCardinalHierarchy
weaklyMahlozLargeCardinalHierarchy
whWoodinLargeCardinalHierarchy
whWoodinsLargeCardinalHierarchy
whWoodinzLargeCardinalHierarchy
wInacLargeCardinalHierarchy
wInacsLargeCardinalHierarchy
wInaczLargeCardinalHierarchy
wMahloLargeCardinalHierarchy
wMahlosLargeCardinalHierarchy
wMahlozLargeCardinalHierarchy
WoodinLargeCardinalHierarchy
woodinLargeCardinalHierarchy
woodinsLargeCardinalHierarchy
woodinzLargeCardinalHierarchy
diff --git a/doc-index-X.html b/doc-index-X.html new file mode 100644 --- /dev/null +++ b/doc-index-X.html @@ -0,0 +1,4 @@ + (Index - X)

 

Index - X

xLargeCardinalHierarchy
diff --git a/doc-index-Z.html b/doc-index-Z.html new file mode 100644 --- /dev/null +++ b/doc-index-Z.html @@ -0,0 +1,4 @@ + (Index - Z)

 

Index - Z

zeroLargeCardinalHierarchy
zeroDagLargeCardinalHierarchy
ZeroDaggerLargeCardinalHierarchy
zeroDaggerLargeCardinalHierarchy
zeroDaggersLargeCardinalHierarchy
zeroDaggerzLargeCardinalHierarchy
zeroDagsLargeCardinalHierarchy
zeroDagzLargeCardinalHierarchy
zeroOrderLargeCardinalHierarchy
zerosLargeCardinalHierarchy
diff --git a/doc-index.html b/doc-index.html new file mode 100644 --- /dev/null +++ b/doc-index.html @@ -0,0 +1,4 @@ + (Index)

 

diff --git a/frames.html b/frames.html new file mode 100644 --- /dev/null +++ b/frames.html @@ -0,0 +1,30 @@ + + + + + + + + + + + + + + + diff --git a/haddock-util.js b/haddock-util.js new file mode 100644 --- /dev/null +++ b/haddock-util.js @@ -0,0 +1,344 @@ +// Haddock JavaScript utilities + +var rspace = /\s\s+/g, + rtrim = /^\s+|\s+$/g; + +function spaced(s) { return (" " + s + " ").replace(rspace, " "); } +function trim(s) { return s.replace(rtrim, ""); } + +function hasClass(elem, value) { + var className = spaced(elem.className || ""); + return className.indexOf( " " + value + " " ) >= 0; +} + +function addClass(elem, value) { + var className = spaced(elem.className || ""); + if ( className.indexOf( " " + value + " " ) < 0 ) { + elem.className = trim(className + " " + value); + } +} + +function removeClass(elem, value) { + var className = spaced(elem.className || ""); + className = className.replace(" " + value + " ", " "); + elem.className = trim(className); +} + +function toggleClass(elem, valueOn, valueOff, bool) { + if (bool == null) { bool = ! hasClass(elem, valueOn); } + if (bool) { + removeClass(elem, valueOff); + addClass(elem, valueOn); + } + else { + removeClass(elem, valueOn); + addClass(elem, valueOff); + } + return bool; +} + + +function makeClassToggle(valueOn, valueOff) +{ + return function(elem, bool) { + return toggleClass(elem, valueOn, valueOff, bool); + } +} + +toggleShow = makeClassToggle("show", "hide"); +toggleCollapser = makeClassToggle("collapser", "expander"); + +function toggleSection(id) +{ + var b = toggleShow(document.getElementById("section." + id)); + toggleCollapser(document.getElementById("control." + id), b); + rememberCollapsed(id, b); + return b; +} + +var collapsed = {}; +function rememberCollapsed(id, b) +{ + if(b) + delete collapsed[id] + else + collapsed[id] = null; + + var sections = []; + for(var i in collapsed) + { + if(collapsed.hasOwnProperty(i)) + sections.push(i); + } + // cookie specific to this page; don't use setCookie which sets path=/ + document.cookie = "collapsed=" + escape(sections.join('+')); +} + +function restoreCollapsed() +{ + var cookie = getCookie("collapsed"); + if(!cookie) + return; + + var ids = cookie.split('+'); + for(var i in ids) + { + if(document.getElementById("section." + ids[i])) + toggleSection(ids[i]); + } +} + +function setCookie(name, value) { + document.cookie = name + "=" + escape(value) + ";path=/;"; +} + +function clearCookie(name) { + document.cookie = name + "=;path=/;expires=Thu, 01-Jan-1970 00:00:01 GMT;"; +} + +function getCookie(name) { + var nameEQ = name + "="; + var ca = document.cookie.split(';'); + for(var i=0;i < ca.length;i++) { + var c = ca[i]; + while (c.charAt(0)==' ') c = c.substring(1,c.length); + if (c.indexOf(nameEQ) == 0) { + return unescape(c.substring(nameEQ.length,c.length)); + } + } + return null; +} + + + +var max_results = 75; // 50 is not enough to search for map in the base libraries +var shown_range = null; +var last_search = null; + +function quick_search() +{ + perform_search(false); +} + +function full_search() +{ + perform_search(true); +} + + +function perform_search(full) +{ + var text = document.getElementById("searchbox").value.toLowerCase(); + if (text == last_search && !full) return; + last_search = text; + + var table = document.getElementById("indexlist"); + var status = document.getElementById("searchmsg"); + var children = table.firstChild.childNodes; + + // first figure out the first node with the prefix + var first = bisect(-1); + var last = (first == -1 ? -1 : bisect(1)); + + if (first == -1) + { + table.className = ""; + status.innerHTML = "No results found, displaying all"; + } + else if (first == 0 && last == children.length - 1) + { + table.className = ""; + status.innerHTML = ""; + } + else if (last - first >= max_results && !full) + { + table.className = ""; + status.innerHTML = "More than " + max_results + ", press Search to display"; + } + else + { + // decide what you need to clear/show + if (shown_range) + setclass(shown_range[0], shown_range[1], "indexrow"); + setclass(first, last, "indexshow"); + shown_range = [first, last]; + table.className = "indexsearch"; + status.innerHTML = ""; + } + + + function setclass(first, last, status) + { + for (var i = first; i <= last; i++) + { + children[i].className = status; + } + } + + + // do a binary search, treating 0 as ... + // return either -1 (no 0's found) or location of most far match + function bisect(dir) + { + var first = 0, finish = children.length - 1; + var mid, success = false; + + while (finish - first > 3) + { + mid = Math.floor((finish + first) / 2); + + var i = checkitem(mid); + if (i == 0) i = dir; + if (i == -1) + finish = mid; + else + first = mid; + } + var a = (dir == 1 ? first : finish); + var b = (dir == 1 ? finish : first); + for (var i = b; i != a - dir; i -= dir) + { + if (checkitem(i) == 0) return i; + } + return -1; + } + + + // from an index, decide what the result is + // 0 = match, -1 is lower, 1 is higher + function checkitem(i) + { + var s = getitem(i).toLowerCase().substr(0, text.length); + if (s == text) return 0; + else return (s > text ? -1 : 1); + } + + + // from an index, get its string + // this abstracts over alternates + function getitem(i) + { + for ( ; i >= 0; i--) + { + var s = children[i].firstChild.firstChild.data; + if (s.indexOf(' ') == -1) + return s; + } + return ""; // should never be reached + } +} + +function setSynopsis(filename) { + if (parent.window.synopsis) { + if (parent.window.synopsis.location.replace) { + // In Firefox this avoids adding the change to the history. + parent.window.synopsis.location.replace(filename); + } else { + parent.window.synopsis.location = filename; + } + } +} + +function addMenuItem(html) { + var menu = document.getElementById("page-menu"); + if (menu) { + var btn = menu.firstChild.cloneNode(false); + btn.innerHTML = html; + menu.appendChild(btn); + } +} + +function adjustForFrames() { + var bodyCls; + + if (parent.location.href == window.location.href) { + // not in frames, so add Frames button + addMenuItem("Frames"); + bodyCls = "no-frame"; + } + else { + bodyCls = "in-frame"; + } + addClass(document.body, bodyCls); +} + +function reframe() { + setCookie("haddock-reframe", document.URL); + window.location = "frames.html"; +} + +function postReframe() { + var s = getCookie("haddock-reframe"); + if (s) { + parent.window.main.location = s; + clearCookie("haddock-reframe"); + } +} + +function styles() { + var i, a, es = document.getElementsByTagName("link"), rs = []; + for (i = 0; a = es[i]; i++) { + if(a.rel.indexOf("style") != -1 && a.title) { + rs.push(a); + } + } + return rs; +} + +function addStyleMenu() { + var as = styles(); + var i, a, btns = ""; + for(i=0; a = as[i]; i++) { + btns += "
  • " + + a.title + "
    • " + } + if (as.length > 1) { + var h = "
    " + + "Style ▾" + + "" + + "
    "; + addMenuItem(h); + } +} + +function setActiveStyleSheet(title) { + var as = styles(); + var i, a, found; + for(i=0; a = as[i]; i++) { + a.disabled = true; + // need to do this always, some browsers are edge triggered + if(a.title == title) { + found = a; + } + } + if (found) { + found.disabled = false; + setCookie("haddock-style", title); + } + else { + as[0].disabled = false; + clearCookie("haddock-style"); + } + styleMenu(false); +} + +function resetStyle() { + var s = getCookie("haddock-style"); + if (s) setActiveStyleSheet(s); +} + + +function styleMenu(show) { + var m = document.getElementById('style-menu'); + if (m) toggleShow(m, show); +} + + +function pageLoad() { + addStyleMenu(); + adjustForFrames(); + resetStyle(); + restoreCollapsed(); +} + diff --git a/haskell_icon.gif b/haskell_icon.gif new file mode 100644 Binary files /dev/null and b/haskell_icon.gif differ diff --git a/hslogo-16.png b/hslogo-16.png new file mode 100644 Binary files /dev/null and b/hslogo-16.png differ diff --git a/index-frames.html b/index-frames.html new file mode 100644 --- /dev/null +++ b/index-frames.html @@ -0,0 +1,4 @@ +

    Modules

    diff --git a/index.html b/index.html new file mode 100644 --- /dev/null +++ b/index.html @@ -0,0 +1,4 @@ +

     

    Modules

    diff --git a/mini_Card.html b/mini_Card.html new file mode 100644 --- /dev/null +++ b/mini_Card.html @@ -0,0 +1,4 @@ +Card

    Card

    data Card

    apply

    zero

    one

    absolute

    zeros

    ones

    alefz

    tavs

    absolutes

    absoluteInfinities

    (#)

    (#.)

    (*.)

    x

    (^.)

    cp

    cartesianProduct

    powerset

    ascend

    descend

    level

    ascent

    descent

    c

    alef

    aleph

    beth

    wInac

    weaklyInaccessible

    sInac

    stronglyInaccessible

    theta

    aInac

    alphaInaccessible

    hInac

    hyperInaccessible

    nu

    h2Inac

    hyper2Inaccessible

    mu

    wMahlo

    weaklyMahlo

    sMahlo

    stronglyMahlo

    rho

    aMahlo

    alphaMahlo

    hMahlo

    hyperMahlo

    reflect

    reflecting

    pii

    piIndesc

    piIndescribable

    ti

    totalIndesc

    totallyIndescribable

    ni

    nuIndesc

    nuIndescribable

    lambdaUnfold

    lambdaUnfoldable

    unfold

    unfoldable

    lambdaShrewd

    shrewd

    ether

    ethereal

    subtle

    almostIneff

    almostIneffable

    ineff

    ineffable

    nIneff

    nIneffable

    totalIneff

    totallyIneffable

    remark

    remarkable

    aErdos

    alphaErdos

    gamma

    gErdos

    gammaErdos

    aRamsey

    almostRamsey

    jonsson

    rowbottom

    ramsey

    iRamsey

    ineffablyRamsey

    measure

    measurable

    kappa

    zeroDag

    zeroDagger

    lambdaStrong

    strong

    woodin

    whWoodin

    weaklyHyperWoodin

    shelah

    hWoodin

    hyperWoodin

    ss

    supStrong

    superstrong

    superStrong

    subcompact

    stronglyCompact

    supCompact

    superCompact

    eta

    etaExtend

    etaExtendible

    ex

    extend

    extendible

    vopenka

    nss

    nSuperstrong

    nah

    nAlmostHuge

    nsah

    nSuperAlmostHuge

    nh

    nHuge

    nsh

    nSuperHuge

    rank

    lambda

    rankIntoRank

    reinhardt

    order

    zeroOrder

    orderClass

    club

    fixedpoints

    higherOrder

    fromTo

    alephs

    alefs

    wInacs

    weaklyInaccessibles

    wInacz

    weaklyInaccessiblez

    sInacs

    stronglyInaccessibles

    sInacz

    stronglyInaccessiblez

    aInacs

    alphaInaccessibles

    aInacz

    alphaInaccessiblez

    hInacs

    hyperInaccessibles

    hInacz

    hyperInaccessiblez

    h2Inacs

    hyper2Inaccessibles

    h2Inacz

    hyper2Inaccessiblez

    wMahlos

    weaklyMahlos

    wMahloz

    weaklyMahloz

    sMahlos

    stronglyMahlos

    sMahloz

    stronglyMahloz

    aMahlos

    alphaMahlos

    aMahloz

    alphaMahloz

    hMahlos

    hyperMahlos

    hMahloz

    hyperMahloz

    reflections

    reflexions

    piis

    piIndescribables

    piiz

    piIndescribablez

    tis

    totallyIndescribables

    tiz

    totallyIndescribablez

    nis

    nuIndescribables

    niz

    nuIndescribablez

    lambdaUnfolds

    lambdaUnfoldables

    lambdaUnfoldz

    lambdaUnfoldablez

    unfolds

    unfoldables

    unfoldz

    unfoldablez

    lambdaShrewds

    lambdaShrewdz

    shrewds

    shrewdz

    ethers

    ethereals

    etherz

    etherealz

    subtles

    subtlez

    almostIneffs

    almostIneffables

    almostIneffz

    almostIneffablez

    ineffs

    ineffables

    ineffz

    ineffablez

    nIneffs

    nIneffables

    nIneffz

    nIneffablez

    totalIneffs

    totallyIneffables

    totalIneffz

    totallyIneffablez

    remarkables

    remarkablez

    aErdoss

    alphaErdoss

    aErdosz

    alphaErdosz

    gErdoss

    gammaErdoss

    gErdosz

    gammaErdosz

    aRamseys

    almostRamseys

    aRamseyz

    almostRamseyz

    jonssons

    jonssonz

    rowbottoms

    rowbottomz

    ramseys

    ramseyz

    iRamseys

    ineffablyRamseys

    iRamseyz

    ineffablyRamseyz

    measures

    measurables

    measurez

    measurablez

    zeroDags

    zeroDaggers

    zeroDagz

    zeroDaggerz

    lambdaStrongs

    lambdaStrongz

    strongs

    strongz

    woodins

    woodinz

    whWoodins

    weaklyHyperWoodins

    whWoodinz

    weaklyHyperWoodinz

    shelahs

    shelahz

    hWoodins

    hyperWoodins

    hWoodinz

    hyperWoodinz

    sss

    superstrongs

    ssz

    superstrongz

    scs

    subcompacts

    scz

    subcompactz

    stronglycompacts

    stronglycompactz

    supercompacts

    supercompactz

    etas

    etaExtendibles

    etaz

    etaExtendiblez

    extends

    extendibles

    extendz

    extendiblez

    vopenkas

    vopenkaz

    nsss

    nSuperstrongs

    nssz

    nSuperstrongz

    nahs

    nAlmostHuges

    nahz

    nAlmostHugez

    nsahs

    nSuperAlmostHuges

    nsahz

    nSuperAlmostHugez

    nHuges

    nHugez

    nshs

    nSuperHuges

    nshz

    nSuperHugez

    ranks

    rankIntoRanks

    rankz

    rankIntoRankz

    reinhardts

    reinhardtz

    diff --git a/mini_LargeCardinalHierarchy.html b/mini_LargeCardinalHierarchy.html new file mode 100644 --- /dev/null +++ b/mini_LargeCardinalHierarchy.html @@ -0,0 +1,4 @@ +LargeCardinalHierarchy

    LargeCardinalHierarchy

    data Card

    apply

    zero

    one

    absolute

    zeros

    ones

    alefz

    tavs

    absolutes

    absoluteInfinities

    (#)

    (#.)

    (*.)

    x

    (^.)

    cp

    cartesianProduct

    powerList

    ascend

    descend

    level

    ascent

    descent

    c

    alef

    aleph

    beth

    wInac

    weaklyInaccessible

    sInac

    stronglyInaccessible

    theta

    aInac

    alphaInaccessible

    hInac

    hyperInaccessible

    nu

    h2Inac

    hyper2Inaccessible

    mu

    wMahlo

    weaklyMahlo

    sMahlo

    stronglyMahlo

    rho

    aMahlo

    alphaMahlo

    hMahlo

    hyperMahlo

    reflect

    reflecting

    pii

    piIndesc

    piIndescribable

    ti

    totalIndesc

    totallyIndescribable

    ni

    nuIndesc

    nuIndescribable

    lambdaUnfold

    lambdaUnfoldable

    unfold

    unfoldable

    lambdaShrewd

    shrewd

    ether

    ethereal

    subtle

    almostIneff

    almostIneffable

    ineff

    ineffable

    nIneff

    nIneffable

    totalIneff

    totallyIneffable

    remark

    remarkable

    aErdos

    alphaErdos

    gamma

    gErdos

    gammaErdos

    aRamsey

    almostRamsey

    jonsson

    rowbottom

    ramsey

    iRamsey

    ineffablyRamsey

    measure

    measurable

    kappa

    zeroDag

    zeroDagger

    lambdaStrong

    strong

    woodin

    whWoodin

    weaklyHyperWoodin

    shelah

    hWoodin

    hyperWoodin

    ss

    supStrong

    superstrong

    superStrong

    subcompact

    stronglyCompact

    supCompact

    superCompact

    eta

    etaExtend

    etaExtendible

    ex

    extend

    extendible

    vopenka

    nss

    nSuperstrong

    nah

    nAlmostHuge

    nsah

    nSuperAlmostHuge

    nh

    nHuge

    nsh

    nSuperHuge

    rank

    lambda

    rankIntoRank

    reinhardt

    order

    zeroOrder

    orderClass

    club

    fixedpoints

    higherOrder

    fromTo

    alephs

    alefs

    wInacs

    weaklyInaccessibles

    wInacz

    weaklyInaccessiblez

    sInacs

    stronglyInaccessibles

    sInacz

    stronglyInaccessiblez

    aInacs

    alphaInaccessibles

    aInacz

    alphaInaccessiblez

    hInacs

    hyperInaccessibles

    hInacz

    hyperInaccessiblez

    h2Inacs

    hyper2Inaccessibles

    h2Inacz

    hyper2Inaccessiblez

    wMahlos

    weaklyMahlos

    wMahloz

    weaklyMahloz

    sMahlos

    stronglyMahlos

    sMahloz

    stronglyMahloz

    aMahlos

    alphaMahlos

    aMahloz

    alphaMahloz

    hMahlos

    hyperMahlos

    hMahloz

    hyperMahloz

    reflections

    reflexions

    piis

    piIndescribables

    piiz

    piIndescribablez

    tis

    totallyIndescribables

    tiz

    totallyIndescribablez

    nis

    nuIndescribables

    niz

    nuIndescribablez

    lambdaUnfolds

    lambdaUnfoldables

    lambdaUnfoldz

    lambdaUnfoldablez

    unfolds

    unfoldables

    unfoldz

    unfoldablez

    lambdaShrewds

    lambdaShrewdz

    shrewds

    shrewdz

    ethers

    ethereals

    etherz

    etherealz

    subtles

    subtlez

    almostIneffs

    almostIneffables

    almostIneffz

    almostIneffablez

    ineffs

    ineffables

    ineffz

    ineffablez

    nIneffs

    nIneffables

    nIneffz

    nIneffablez

    totalIneffs

    totallyIneffables

    totalIneffz

    totallyIneffablez

    remarkables

    remarkablez

    aErdoss

    alphaErdoss

    aErdosz

    alphaErdosz

    gErdoss

    gammaErdoss

    gErdosz

    gammaErdosz

    aRamseys

    almostRamseys

    aRamseyz

    almostRamseyz

    jonssons

    jonssonz

    rowbottoms

    rowbottomz

    ramseys

    ramseyz

    iRamseys

    ineffablyRamseys

    iRamseyz

    ineffablyRamseyz

    measures

    measurables

    measurez

    measurablez

    zeroDags

    zeroDaggers

    zeroDagz

    zeroDaggerz

    lambdaStrongs

    lambdaStrongz

    strongs

    strongz

    woodins

    woodinz

    whWoodins

    weaklyHyperWoodins

    whWoodinz

    weaklyHyperWoodinz

    shelahs

    shelahz

    hWoodins

    hyperWoodins

    hWoodinz

    hyperWoodinz

    sss

    superstrongs

    ssz

    superstrongz

    scs

    subcompacts

    scz

    subcompactz

    stronglycompacts

    stronglycompactz

    supercompacts

    supercompactz

    etas

    etaExtendibles

    etaz

    etaExtendiblez

    extends

    extendibles

    extendz

    extendiblez

    vopenkas

    vopenkaz

    nsss

    nSuperstrongs

    nssz

    nSuperstrongz

    nahs

    nAlmostHuges

    nahz

    nAlmostHugez

    nsahs

    nSuperAlmostHuges

    nsahz

    nSuperAlmostHugez

    nHuges

    nHugez

    nshs

    nSuperHuges

    nshz

    nSuperHugez

    ranks

    rankIntoRanks

    rankz

    rankIntoRankz

    reinhardts

    reinhardtz

    diff --git a/minus.gif b/minus.gif new file mode 100644 Binary files /dev/null and b/minus.gif differ diff --git a/ocean.css b/ocean.css new file mode 100644 --- /dev/null +++ b/ocean.css @@ -0,0 +1,546 @@ +/* @group Fundamentals */ + +* { margin: 0; padding: 0 } + +/* Is this portable? */ +html { + background-color: white; + width: 100%; + height: 100%; +} + +body { + background: white; + color: black; + text-align: left; + min-height: 100%; + position: relative; +} + +p { + margin: 0.8em 0; +} + +ul, ol { + margin: 0.8em 0 0.8em 2em; +} + +dl { + margin: 0.8em 0; +} + +dt { + font-weight: bold; +} +dd { + margin-left: 2em; +} + +a { text-decoration: none; } +a[href]:link { color: rgb(196,69,29); } +a[href]:visited { color: rgb(171,105,84); } +a[href]:hover { text-decoration:underline; } + +/* @end */ + +/* @group Fonts & Sizes */ + +/* Basic technique & IE workarounds from YUI 3 + For reasons, see: + http://yui.yahooapis.com/3.1.1/build/cssfonts/fonts.css + */ + +body { + font:13px/1.4 sans-serif; + *font-size:small; /* for IE */ + *font:x-small; /* for IE in quirks mode */ +} + +h1 { font-size: 146.5%; /* 19pt */ } +h2 { font-size: 131%; /* 17pt */ } +h3 { font-size: 116%; /* 15pt */ } +h4 { font-size: 100%; /* 13pt */ } +h5 { font-size: 100%; /* 13pt */ } + +select, input, button, textarea { + font:99% sans-serif; +} + +table { + font-size:inherit; + font:100%; +} + +pre, code, kbd, samp, tt, .src { + font-family:monospace; + *font-size:108%; + line-height: 124%; +} + +.links, .link { + font-size: 85%; /* 11pt */ +} + +#module-header .caption { + font-size: 182%; /* 24pt */ +} + +.info { + font-size: 85%; /* 11pt */ +} + +#table-of-contents, #synopsis { + /* font-size: 85%; /* 11pt */ +} + + +/* @end */ + +/* @group Common */ + +.caption, h1, h2, h3, h4, h5, h6 { + font-weight: bold; + color: rgb(78,98,114); + margin: 0.8em 0 0.4em; +} + +* + h1, * + h2, * + h3, * + h4, * + h5, * + h6 { + margin-top: 2em; +} + +h1 + h2, h2 + h3, h3 + h4, h4 + h5, h5 + h6 { + margin-top: inherit; +} + +ul.links { + list-style: none; + text-align: left; + float: right; + display: inline-table; + margin: 0 0 0 1em; +} + +ul.links li { + display: inline; + border-left: 1px solid #d5d5d5; + white-space: nowrap; + padding: 0; +} + +ul.links li a { + padding: 0.2em 0.5em; +} + +.hide { display: none; } +.show { display: inherit; } +.clear { clear: both; } + +.collapser { + background-image: url(minus.gif); + background-repeat: no-repeat; +} +.expander { + background-image: url(plus.gif); + background-repeat: no-repeat; +} +p.caption.collapser, +p.caption.expander { + background-position: 0 0.4em; +} +.collapser, .expander { + padding-left: 14px; + margin-left: -14px; + cursor: pointer; +} + +pre { + padding: 0.25em; + margin: 0.8em 0; + background: rgb(229,237,244); + overflow: auto; + border-bottom: 0.25em solid white; + /* white border adds some space below the box to compensate + for visual extra space that paragraphs have between baseline + and the bounding box */ +} + +.src { + background: #f0f0f0; + padding: 0.2em 0.5em; +} + +.keyword { font-weight: normal; } +.def { font-weight: bold; } + + +/* @end */ + +/* @group Page Structure */ + +#content { + margin: 0 auto; + padding: 0 2em 6em; +} + +#package-header { + background: rgb(41,56,69); + border-top: 5px solid rgb(78,98,114); + color: #ddd; + padding: 0.2em; + position: relative; + text-align: left; +} + +#package-header .caption { + background: url(hslogo-16.png) no-repeat 0em; + color: white; + margin: 0 2em; + font-weight: normal; + font-style: normal; + padding-left: 2em; +} + +#package-header a:link, #package-header a:visited { color: white; } +#package-header a:hover { background: rgb(78,98,114); } + +#module-header .caption { + color: rgb(78,98,114); + font-weight: bold; + border-bottom: 1px solid #ddd; +} + +table.info { + float: right; + padding: 0.5em 1em; + border: 1px solid #ddd; + color: rgb(78,98,114); + background-color: #fff; + max-width: 40%; + border-spacing: 0; + position: relative; + top: -0.5em; + margin: 0 0 0 2em; +} + +.info th { + padding: 0 1em 0 0; +} + +div#style-menu-holder { + position: relative; + z-index: 2; + display: inline; +} + +#style-menu { + position: absolute; + z-index: 1; + overflow: visible; + background: #374c5e; + margin: 0; + text-align: center; + right: 0; + padding: 0; + top: 1.25em; +} + +#style-menu li { + display: list-item; + border-style: none; + margin: 0; + padding: 0; + color: #000; + list-style-type: none; +} + +#style-menu li + li { + border-top: 1px solid #919191; +} + +#style-menu a { + width: 6em; + padding: 3px; + display: block; +} + +#footer { + background: #ddd; + border-top: 1px solid #aaa; + padding: 0.5em 0; + color: #666; + text-align: center; + position: absolute; + bottom: 0; + width: 100%; + height: 3em; +} + +/* @end */ + +/* @group Front Matter */ + +#table-of-contents { + float: right; + clear: right; + background: #faf9dc; + border: 1px solid #d8d7ad; + padding: 0.5em 1em; + max-width: 20em; + margin: 0.5em 0 1em 1em; +} + +#table-of-contents .caption { + text-align: center; + margin: 0; +} + +#table-of-contents ul { + list-style: none; + margin: 0; +} + +#table-of-contents ul ul { + margin-left: 2em; +} + +#description .caption { + display: none; +} + +#synopsis { + display: none; +} + +.no-frame #synopsis { + display: block; + position: fixed; + right: 0; + height: 80%; + top: 10%; + padding: 0; +} + +#synopsis .caption { + float: left; + width: 29px; + color: rgba(255,255,255,0); + height: 110px; + margin: 0; + font-size: 1px; + padding: 0; +} + +#synopsis p.caption.collapser { + background: url(synopsis.png) no-repeat -64px -8px; +} + +#synopsis p.caption.expander { + background: url(synopsis.png) no-repeat 0px -8px; +} + +#synopsis ul { + height: 100%; + overflow: auto; + padding: 0.5em; + margin: 0; +} + +#synopsis ul ul { + overflow: hidden; +} + +#synopsis ul, +#synopsis ul li.src { + background-color: #faf9dc; + white-space: nowrap; + list-style: none; + margin-left: 0; +} + +/* @end */ + +/* @group Main Content */ + +#interface div.top { margin: 2em 0; } +#interface h1 + div.top, +#interface h2 + div.top, +#interface h3 + div.top, +#interface h4 + div.top, +#interface h5 + div.top { + margin-top: 1em; +} +#interface p.src .link { + float: right; + color: #919191; + border-left: 1px solid #919191; + background: #f0f0f0; + padding: 0 0.5em 0.2em; + margin: 0 -0.5em 0 0.5em; +} + +#interface table { border-spacing: 2px; } +#interface td { + vertical-align: top; + padding-left: 0.5em; +} +#interface td.src { + white-space: nowrap; +} +#interface td.doc p { + margin: 0; +} +#interface td.doc p + p { + margin-top: 0.8em; +} + +.subs dl { + margin: 0; +} + +.subs dt { + float: left; + clear: left; + display: block; + margin: 1px 0; +} + +.subs dd { + float: right; + width: 90%; + display: block; + padding-left: 0.5em; + margin-bottom: 0.5em; +} + +.subs dd.empty { + display: none; +} + +.subs dd p { + margin: 0; +} + +.top p.src { + border-top: 1px solid #ccc; +} + +.subs, .doc { + /* use this selector for one level of indent */ + padding-left: 2em; +} + +.warning { + color: red; +} + +.arguments { + margin-top: -0.4em; +} +.arguments .caption { + display: none; +} + +.fields { padding-left: 1em; } + +.fields .caption { display: none; } + +.fields p { margin: 0 0; } + +/* this seems bulky to me +.methods, .constructors { + background: #f8f8f8; + border: 1px solid #eee; +} +*/ + +/* @end */ + +/* @group Auxillary Pages */ + +#mini { + margin: 0 auto; + padding: 0 1em 1em; +} + +#mini > * { + font-size: 93%; /* 12pt */ +} + +#mini #module-list .caption, +#mini #module-header .caption { + font-size: 125%; /* 15pt */ +} + +#mini #interface h1, +#mini #interface h2, +#mini #interface h3, +#mini #interface h4 { + font-size: 109%; /* 13pt */ + margin: 1em 0 0; +} + +#mini #interface .top, +#mini #interface .src { + margin: 0; +} + +#mini #module-list ul { + list-style: none; + margin: 0; +} + +#alphabet ul { + list-style: none; + padding: 0; + margin: 0.5em 0 0; + text-align: center; +} + +#alphabet li { + display: inline; + margin: 0 0.25em; +} + +#alphabet a { + font-weight: bold; +} + +#index .caption, +#module-list .caption { font-size: 131%; /* 17pt */ } + +#index table { + margin-left: 2em; +} + +#index .src { + font-weight: bold; +} +#index .alt { + font-size: 77%; /* 10pt */ + font-style: italic; + padding-left: 2em; +} + +#index td + td { + padding-left: 1em; +} + +#module-list ul { + list-style: none; + margin: 0 0 0 2em; +} + +#module-list li { + clear: right; +} + +#module-list span.collapser, +#module-list span.expander { + background-position: 0 0.3em; +} + +#module-list .package { + float: right; +} + +/* @end */ diff --git a/plus.gif b/plus.gif new file mode 100644 Binary files /dev/null and b/plus.gif differ diff --git a/synopsis.png b/synopsis.png new file mode 100644 Binary files /dev/null and b/synopsis.png differ diff --git a/xhaddock.css b/xhaddock.css new file mode 100644 --- /dev/null +++ b/xhaddock.css @@ -0,0 +1,493 @@ +* { + margin: 0; + padding: 0; +} + +body { + background-color: #ffffff; + color: #000000; + font-size: 100%; + font-family: sans-serif; + padding: 8px; +} + +a:link { color: #0000e0; text-decoration: none } +a:visited { color: #0000a0; text-decoration: none } +a:hover { background-color: #e0e0ff; text-decoration: none } + +/* font is a little too small in MSIE */ +tt { font-size: 100%; } +pre { font-size: 100%; } +.keyword { text-decoration: underline; } +.caption { + font-weight: bold; + margin: 0; + padding: 0; +} + +h1 { + padding-top: 15px; + font-weight: bold; + font-size: 150%; +} + +h2 { + padding-top: 10px; + font-weight: bold; + font-size: 130% + } + +h3 { + padding-top: 5px; + font-weight: bold; + font-size: 110% + } + +h4, h5 { + font-weight: bold; + font-size: 100% + } + +h1, h2, h3, h4, h5 { + margin-top: 0.5em; + margin-bottom: 0.5em; +} + +p { + padding-top: 2px; + padding-left: 10px; +} + +ul, ol, dl { + padding-top: 2px; + padding-left: 10px; + margin-left: 2.5em; +} + +pre { + padding-top: 2px; + padding-left: 20px; +} + +* + p, * + pre { + margin-top: 1em; +} +.caption + p, .src + p { + margin-top: 0; +} + +.def { + font-weight: bold; +} + +ul.links { + list-style: none; + text-align: left; + float: right; + display: inline-table; + padding: 0; +} + +ul.links li { + display: inline; + border-left-width: 1px; + border-left-color: #ffffff; + border-left-style: solid; + white-space: nowrap; + padding: 1px 5px; +} + +.hide { display: none; } +.show { } +.collapser { + background: url(minus.gif) no-repeat 0 0.3em; +} +.expander { + background: url(plus.gif) no-repeat 0 0.3em; +} +.collapser, .expander { + padding-left: 14px; + cursor: pointer; +} + +#package-header { + color: #ffffff; + padding: 5px 5px 5px 31px; + margin: 0 0 1px; + background: #000099 url(haskell_icon.gif) no-repeat 5px 6px; + position: relative; +} + +#package-header .caption { + font-weight: normal; + font-style: normal; +} +#package-header a:link { color: #ffffff } +#package-header a:visited { color: #ffff00 } +#package-header a:hover { background-color: #6060ff; } +#package-header ul.links li:hover { background-color: #6060ff; } + +div#style-menu-holder { + position: relative; + z-index: 2; + display: inline; +} + +#style-menu { + position: absolute; + z-index: 1; + overflow: visible; + background-color: #000099; + margin: 0; + width: 6em; + text-align: center; + right: 0; + padding: 2px 2px 1px; +} + +#style-menu li { + display: list-item; + border-style: none; + margin: 0; + padding: 3px; + color: #000; + list-style-type: none; + border-top: 1px solid #ffffff; +} + +#module-header { + overflow: hidden; /* makes sure info float is properly contained */ + display: inline-block; /* triggers hasLayout in IE*/ +} + +#module-header { + display: block; /* back to block */ + background-color: #0077dd; + padding: 5px; +} + +#module-header .caption { + font-size: 200%; + padding: .35em 0; + font-weight: normal; + font-style: normal; +} + +table.info { + color: #ffffff; + display: block; + float: right; + max-width: 50%; +} + +.info th, .info td { + text-align: left; + padding: 0 10px 0 0; +} + + +#table-of-contents { + margin-top: 1em; + margin-bottom: 2em; +} + +#table-of-contents ul { + margin-top: 1em; + margin-bottom: 1em; + margin-left: 0; + list-style-type: none; + padding: 0; +} + +#table-of-contents ul ul { + margin-left: 2.5em; +} + +#description .caption, +#synopsis .caption, +#module-list .caption, +#index .caption { + padding-top: 15px; + font-weight: bold; + font-size: 150% +} + +#synopsis { + margin-bottom: 2em; +} + +#synopsis .expander, +#synopsis .collapser { + background: none; + padding-left: inherit; +} + +#synopsis .hide { + display: inherit; +} + +#synopsis ul { + margin: 0; + padding-top: 0; + padding-left: 20px; + list-style-type: none; +} + +#synopsis li { + margin-top: 8px; + margin-bottom: 8px; + padding: 3px; +} + +#synopsis li li { + padding: 0; + margin-top: 0; + margin-bottom: 0; +} + + +div.top { + margin-top: 1em; + clear: left; + margin-bottom: 1em; +} + +div.top h5 { + margin-left: 10px; +} + + +.src { + padding: 3px; + background-color: #f0f0f0; + font-family: monospace; + margin-bottom: 0; +} + + +.src a.link { + float: right; + border-left-width: 1px; + border-left-color: #000099; + border-left-style: solid; + white-space: nowrap; + font-size: small; + padding: 0 8px 2px 5px; + margin-right: -3px; + background-color: #f0f0f0; +} + +div.subs { + margin-left: 10px; + clear: both; + margin-top: 2px; +} + +.subs dl { + margin-left: 0; +} + +.subs dl dl { + padding-left: 0; + padding-top: 4px; +} + +.subs dd +{ + margin: 2px 0 9px 2em; +} + +.subs dd.empty { + display: none; +} + +.subs table { + margin-left: 10px; + border-spacing: 1px 1px; + margin-top: 4px; + margin-bottom: 4px; +} + +.subs table table { + margin-left: 0; +} + +.arguments .caption, +.fields .caption { + display: none; +} + +/* need extra .subs in the selector to make it override the rules for .subs and .subs table */ + +.subs.arguments { + margin: 0; +} + +.subs.arguments table { + border-spacing: 0; + margin-top: 0; + margin-bottom: 0; +} + +.subs.arguments td.src { + white-space: nowrap; +} + +.subs.arguments + p { + margin-top: 0; +} + +.subs.associated-types, +.subs.methods { + margin-left: 20px; +} + +.subs.associated-types .caption, +.subs.methods .caption { + margin-top: 0.5em; + margin-left: -10px; +} + +.subs.associated-types .src + .src, +.subs.methods .src + .src { + margin-top: 8px; +} + +p.arg { + margin-bottom: 0; +} +p.arg span { + background-color: #f0f0f0; + font-family: monospace; + white-space: nowrap; + float: none; +} + + +img.coll { + width : 0.75em; height: 0.75em; margin-bottom: 0; margin-right: 0.5em +} + + +td.arg { + padding: 3px; + background-color: #f0f0f0; + font-family: monospace; + margin-bottom: 0; +} + +td.rdoc p { + margin-bottom: 0; +} + + + +#footer { + background-color: #000099; + color: #ffffff; + padding: 4px + } + +#footer p { + padding: 1px; + margin: 0; +} + +#footer a:link { + color: #ffffff; + text-decoration: underline + } +#footer a:visited { + color: #ffff00 + } +#footer a:hover { + background-color: #6060ff + } + + +#module-list ul { + list-style: none; + padding-bottom: 15px; + padding-left: 2px; + margin: 0; +} + +#module-list ul ul { + padding-bottom: 0; + padding-left: 20px; +} + +#module-list li .package { + float: right; +} +#mini #module-list .caption { + display: none; +} + +#index .caption { +} + +#alphabet ul { + list-style: none; + padding: 0; + margin: 0.5em 0 0; +} + +#alphabet li { + display: inline; + margin: 0 0.2em; +} + +#index .src { + background: none; + font-family: inherit; +} + +#index td.alt { + padding-left: 2em; +} + +#index td { + padding-top: 2px; + padding-bottom: 1px; + padding-right: 1em; +} + + +#mini h1 { font-size: 130%; } +#mini h2 { font-size: 110%; } +#mini h3 { font-size: 100%; } +#mini h1, #mini h2, #mini h3 { + margin-top: 0.5em; + margin-bottom: 0.25em; + padding: 0 0; +} + +#mini h1 { border-bottom: 1px solid #ccc; } + +#mini #module-header { + margin: 0; + padding: 0; +} +#mini #module-header .caption { + font-size: 130%; + background: #0077dd; + padding: 0.25em; + height: inherit; + margin: 0; +} + +#mini #interface .top { + margin: 0; + padding: 0; +} +#mini #interface .src { + margin: 0; + padding: 0; + font-family: inherit; + background: inherit; +} + +.warning { + color: red; +}