Index
| :# | PolyList |
| Add | MyFreeMonad |
| add | Defunc |
| add' | Defunc |
| addA | MyFreeMonad |
| AdminUser | |
| 1 (Type/Class) | Greeting |
| 2 (Data Constructor) | Greeting |
| apply | |
| 1 (Function) | Defunc |
| 2 (Function) | FuncType |
| applyToFive | RankNTypes |
| April | Months |
| ArithF | MyFreeMonad |
| ArithM | MyFreeMonad |
| Arrow | Defunc |
| August | Months |
| C10 | Cards |
| C2 | Cards |
| C3 | Cards |
| C4 | Cards |
| C5 | Cards |
| C6 | Cards |
| C7 | Cards |
| C8 | Cards |
| C9 | Cards |
| CAce | Cards |
| Card | Cards |
| CharList | |
| 1 (Type/Class) | Strings |
| 2 (Data Constructor) | Strings |
| checkEven | Cards |
| CHonor | Cards |
| CJack | Cards |
| CKing | Cards |
| Common | |
| 1 (Type/Class) | Greeting |
| 2 (Data Constructor) | Greeting |
| compose | FuncType |
| convertViaInt | Singletons |
| cpred | Months |
| CQueen | Cards |
| csucc | Months |
| CyclicEnum | Months |
| December | Months |
| defaultMessage | Greeting |
| Div | MyFreeMonad |
| divA | MyFreeMonad |
| elimHasShow | RankNTypes |
| empty | Selector |
| eqSingT | Singletons |
| evalArith | MyFreeMonad |
| example | MyFreeMonad |
| exampleDo | MyFreeMonad |
| February | Months |
| FileInfo | |
| 1 (Type/Class) | ShowFile |
| 2 (Data Constructor) | ShowFile |
| fold | Defunc |
| fold' | Defunc |
| formatMessage | Greeting |
| FPlus | Defunc |
| FPlusCons | Defunc |
| Func | |
| 1 (Type/Class) | FuncType |
| 2 (Data Constructor) | FuncType |
| getCharList | Strings |
| getFileInfo | ShowFile |
| getName | Greeting |
| getSalutation | Greeting |
| getWrapper | Singletons |
| greetingFrom | Greeting |
| GreetingMessage | |
| 1 (Type/Class) | Greeting |
| 2 (Data Constructor) | Greeting |
| greetingSalutation | Greeting |
| greetingTo | Greeting |
| HAce | Cards |
| HasShow | |
| 1 (Type/Class) | RankNTypes |
| 2 (Data Constructor) | RankNTypes |
| HEntry | |
| 1 (Type/Class) | PolyList |
| 2 (Data Constructor) | PolyList |
| HJack | Cards |
| HKing | Cards |
| Honor | Cards |
| HQueen | Cards |
| isNull | Nullable |
| January | Months |
| July | Months |
| June | Months |
| makeAndReadFile | ShowFile |
| makeAndShow | ShowFile |
| makeMonth | Months |
| MakeString | |
| 1 (Type/Class) | Contravariant |
| 2 (Data Constructor) | Contravariant |
| makeString | Contravariant |
| March | Months |
| May | Months |
| Month | Months |
| Mul | MyFreeMonad |
| mulA | MyFreeMonad |
| MyMaybe | |
| 1 (Type/Class) | Selector |
| 2 (Data Constructor) | Selector |
| Name | |
| 1 (Type/Class) | Greeting |
| 2 (Data Constructor) | Greeting |
| noPasswd | ShowFile |
| November | Months |
| null | Nullable |
| Nullable | Nullable |
| numCardsToPlay | Cards |
| October | Months |
| parseTime | ShowFile |
| pHead | PolyList |
| pLength | PolyList |
| plus3ShowInt | Contravariant |
| PNil | PolyList |
| PolyList | PolyList |
| prefix | PrefixSums |
| processTuple | RankNTypes |
| range | PrefixSums |
| Redacted | Greeting |
| redacted | Greeting |
| removeNonUpperCase | Strings |
| safeIO | ShowFile |
| safeRange | PrefixSums |
| safeRangeSum | PrefixSums |
| Salutation | |
| 1 (Type/Class) | Greeting |
| 2 (Data Constructor) | Greeting |
| SArrow | Singletons |
| SB | RankNTypes |
| SBool | Singletons |
| Secret | |
| 1 (Type/Class) | Greeting |
| 2 (Data Constructor) | Greeting |
| Select | Selector |
| select | Selector |
| Selector | |
| 1 (Type/Class) | Selector |
| 2 (Data Constructor) | Selector |
| September | Months |
| ShowBox | RankNTypes |
| showContent | ShowFile |
| showInt | Contravariant |
| showTime | ShowFile |
| SingT | Singletons |
| SInt | Singletons |
| SList | Singletons |
| SMaybe | Singletons |
| Sub | MyFreeMonad |
| subA | MyFreeMonad |
| sum | Defunc |
| sum' | Defunc |
| SUnit | Singletons |
| SWrapper | Singletons |
| UserName | |
| 1 (Type/Class) | Greeting |
| 2 (Data Constructor) | Greeting |
| Wrapper | |
| 1 (Type/Class) | Singletons |
| 2 (Data Constructor) | Singletons |
| zero | Singletons |
| _exec | ShowFile |
| _mtime | ShowFile |
| _path | ShowFile |
| _read | ShowFile |
| _size | ShowFile |
| _write | ShowFile |