This module contains phantom-types for helping guarantee lengths in collectibles.
The UI.Table uses this for constraining all rows dimensions.
type alias CoolTable columns =
{ header : NList String columns
, rows : NLIst Int columns
}
Basics.Never
Represents the size of an empty set.
Represents an recursively incremented size.
pushItem : Items n -> Items (Increase n)
popItem : Items (Increase n) -> Items n
Increase Zero
Equivalent to (Increase Zero)
Increase One
Equivalent to (Increase (Increase Zero))
Increase Two
Equivalent to (Increase (Increase (Increase Zero)))
Increase Three
Equivalent to (Increase Three)
Increase Four
Equivalent to (Increase Four)
Increase Five
Equivalent to (Increase Five)
Increase Six
Equivalent to (Increase Six)
Increase Seven
Equivalent to (Increase Seven)
Increase Eight
Equivalent to (Increase Eight)
Increase (Increase (Increase (Increase (Increase (Increase (Increase (Increase (Increase (Increase base)))))))))
Used to compose numbers greater than nine.
(Decimal (Decimal Zero))
is equivalent to 20.