Index
| # | FP.Core, FP |
| #! | FP.Core, FP |
| #@ | FP.TH |
| #@| | FP.TH |
| $ | FP.Core, FP |
| && | FP.Core, FP |
| * | FP.Core, FP |
| *$ | FP.Core, FP |
| *. | FP.Core, FP |
| *@ | FP.Core, FP |
| + | FP.Core, FP |
| ++ | FP.Core, FP |
| - | FP.Core, FP |
| . | FP.Core, FP |
| ....: | FP.Core, FP |
| ...: | FP.Core, FP |
| ..: | FP.Core, FP |
| .: | FP.Core, FP |
| .^ | FP.Core, FP |
| / | FP.Core, FP |
| // | FP.Core, FP |
| /= | FP.Core, FP |
| /\ | FP.Core, FP |
| :+++: | FP.Free, FP |
| :++: | FP.Free, FP |
| :+: | FP.Core, FP |
| :..: | FP.Core, FP |
| :.: | FP.Core, FP |
| ::*:: | FP.Core, FP |
| ::.:: | FP.Core, FP |
| ::=>:: | FP.Core, FP |
| < | FP.Core, FP |
| <$> | FP.Core, FP |
| <*> | FP.Core, FP |
| <++> | FP.Core, FP |
| <+> | FP.Core, FP |
| <. | FP.Core, FP |
| <.> | FP.Core, FP |
| <= | FP.Core, FP |
| <=> | FP.Core, FP |
| <@> | FP.Core, FP |
| <|> | FP.Core, FP |
| <~ | FP.Core, FP |
| <~> | FP.Core, FP |
| =: | FP.Core, FP |
| == | FP.Core, FP |
| ==> | FP.TH |
| > | FP.Core, FP |
| >. | FP.Core, FP |
| >= | FP.Core, FP |
| >> | FP.Core, FP |
| >>= | FP.Core, FP |
| >~ | FP.Core, FP |
| ? | FP.Core, FP |
| abort | FP.Core, FP |
| access | FP.Core, FP |
| Add1 | Lang.Common |
| Additive | FP.Core, FP |
| Addr | |
| 1 (Type/Class) | Lang.CPS.StateSpace, Lang.CPS |
| 2 (Data Constructor) | Lang.CPS.StateSpace, Lang.CPS |
| addrDynamicTime | Lang.CPS.StateSpace, Lang.CPS |
| addrLexicalTime | Lang.CPS.StateSpace, Lang.CPS |
| addrLocation | Lang.CPS.StateSpace, Lang.CPS |
| addrTouched | Lang.CPS.Semantics, Lang.CPS |
| AddStateT | |
| 1 (Type/Class) | FP.Monads, FP |
| 2 (Data Constructor) | FP.Monads, FP |
| align | FP.Pretty |
| AllCreateClo | |
| 1 (Type/Class) | Lang.CPS.Semantics, Lang.CPS |
| 2 (Data Constructor) | Lang.CPS.Semantics, Lang.CPS |
| AllGC | |
| 1 (Type/Class) | Lang.CPS.Semantics, Lang.CPS |
| 2 (Data Constructor) | Lang.CPS.Semantics, Lang.CPS |
| alter | FP.Core, FP |
| AmbiguousParse | FP.Parser |
| Analysis | Lang.CPS.Semantics, Lang.CPS |
| Annotated | |
| 1 (Type/Class) | FP.Core, FP |
| 2 (Data Constructor) | FP.Core, FP |
| annotation | FP.Core, FP |
| annValue | FP.Core, FP |
| App | Lang.Lam.Syntax, Lang.Lam |
| app | |
| 1 (Function) | FP.TH |
| 2 (Function) | FP.Pretty |
| appExp | Lang.Lam.Parser, Lang.Lam |
| AppF | Lang.CPS.Syntax, Lang.CPS |
| appFL | Lang.CPS.Syntax, Lang.CPS |
| AppK | Lang.CPS.Syntax, Lang.CPS |
| appKL | Lang.CPS.Syntax, Lang.CPS |
| Applicative | FP.Core, FP |
| Apply | FP.Free, FP |
| apply | Lang.CPS.Semantics, Lang.CPS |
| applyFormat | FP.Console |
| applyTo | FP.Core, FP |
| ask | FP.Core, FP |
| askL | FP.Core, FP |
| askP | FP.Core, FP |
| atLevel | FP.Pretty |
| Atom | Lang.CPS.Syntax, Lang.CPS |
| atom | Lang.CPS.Semantics, Lang.CPS |
| AVal | Lang.CPS.Val, Lang.CPS |
| B | Lang.Common |
| BA | Lang.CPS.Val, Lang.CPS |
| background | FP.Pretty |
| bAL | Lang.CPS.Val, Lang.CPS |
| Balloon | FP.Monads, FP |
| bdCode | FP.Console |
| bdr | FP.Pretty |
| bdrEnv | Lang.Lam.Passes, Lang.Lam |
| bdrEnvL | Lang.Lam.Passes, Lang.Lam |
| bdrFmt | FP.Pretty |
| bdrID | Lang.Lam.Passes, Lang.Lam |
| bdrIDL | Lang.Lam.Passes, Lang.Lam |
| BdrNum | |
| 1 (Type/Class) | Lang.Common |
| 2 (Data Constructor) | Lang.Common |
| between | FP.Parser |
| bgCode | FP.Console |
| Bifunctorial | FP.Core, FP |
| bifunctorial | FP.Core, FP |
| bifunctorialP | FP.Core, FP |
| Bind | FP.Core, FP |
| bind | Lang.CPS.Semantics, Lang.CPS |
| bindM | Lang.CPS.Semantics, Lang.CPS |
| bL | Lang.Common |
| bold | FP.Pretty |
| Bool | FP.Core, FP |
| bot | FP.Core, FP |
| BotA | Lang.CPS.Val, Lang.CPS |
| botAL | Lang.CPS.Val, Lang.CPS |
| BotC | Lang.CPS.Val, Lang.CPS |
| botCL | Lang.CPS.Val, Lang.CPS |
| botLevel | FP.Pretty |
| Break | FP.Pretty |
| build | FP.Parser |
| Buildable | FP.Core, FP |
| buildMix | FP.Parser |
| buildMixInfL | FP.Parser |
| buildMixInfR | FP.Parser |
| bump | FP.Pretty |
| bumped | FP.Pretty |
| bumpedL | FP.Pretty |
| bumpL | FP.Core, FP |
| Call | Lang.CPS.Syntax, Lang.CPS |
| call | Lang.CPS.Semantics, Lang.CPS |
| callCC | FP.Core, FP |
| callID | Lang.Lam.Passes, Lang.Lam |
| callIDL | Lang.Lam.Passes, Lang.Lam |
| callOpaqueCC | FP.Core, FP |
| CanFail | FP.Pretty |
| canFail | FP.Pretty |
| CantFail | FP.Pretty |
| catch | FP.Core, FP |
| catchP | FP.Core, FP |
| Category | FP.Core, FP |
| catid | FP.Core, FP |
| Char | FP.Core, FP |
| Chars | FP.Core, FP |
| Chunk | FP.Pretty |
| Clo | |
| 1 (Type/Class) | Lang.CPS.StateSpace, Lang.CPS |
| 2 (Data Constructor) | Lang.CPS.StateSpace, Lang.CPS |
| clo | Lang.CPS.StateSpace, Lang.CPS |
| CloA | Lang.CPS.Val, Lang.CPS |
| cloAL | Lang.CPS.Val, Lang.CPS |
| cloArgs | Lang.CPS.StateSpace, Lang.CPS |
| CloC | Lang.CPS.Val, Lang.CPS |
| cloCall | Lang.CPS.StateSpace, Lang.CPS |
| cloCL | Lang.CPS.Val, Lang.CPS |
| cloEnv | Lang.CPS.StateSpace, Lang.CPS |
| cloLoc | Lang.CPS.StateSpace, Lang.CPS |
| closed | FP.Pretty |
| closureChoices | Lang.CPS.Analyses, Lang.CPS |
| closureTouched | Lang.CPS.Semantics, Lang.CPS |
| cloTime | Lang.CPS.StateSpace, Lang.CPS |
| coerce | FP.Core, FP |
| coerceADT | FP.TH |
| coerceSimpleCon | FP.TH |
| coerceSingleConADT | FP.TH |
| collect | FP.Core, FP |
| collection | FP.Pretty |
| collectN | FP.Core, FP |
| Color256 | |
| 1 (Type/Class) | FP.Pretty |
| 2 (Data Constructor) | FP.Pretty |
| color256Raw | FP.Pretty |
| column | FP.Pretty |
| columnL | FP.Pretty |
| Commute | FP.Core, FP |
| commute | FP.Core, FP |
| compare | FP.Core, FP |
| Compose | FP.Core, FP |
| Compose2 | FP.Core, FP |
| composition | FP.Core, FP |
| con | FP.Pretty |
| concat | FP.Core, FP |
| cond | FP.Core, FP |
| conFmt | FP.Pretty |
| conName | FP.TH |
| cons | FP.Core, FP |
| consL | FP.Core, FP |
| const | FP.Core, FP |
| Constraint | FP.Core, FP |
| construct | FP.Core, FP |
| Container | FP.Core, FP |
| copyClo | Lang.CPS.Semantics, Lang.CPS |
| cps | Lang.Lam.Passes, Lang.Lam |
| cpsAtomM | Lang.Lam.Passes, Lang.Lam |
| CPSKon | Lang.Lam.Passes, Lang.Lam |
| CPSM | Lang.Lam.Passes, Lang.Lam |
| cpsM | Lang.Lam.Passes, Lang.Lam |
| CPSSt | |
| 1 (Type/Class) | Lang.Lam.Passes, Lang.Lam |
| 2 (Data Constructor) | Lang.Lam.Passes, Lang.Lam |
| cpsst0 | Lang.Lam.Passes, Lang.Lam |
| CreateClo | Lang.CPS.Semantics, Lang.CPS |
| createCloOp | Lang.CPS.Semantics, Lang.CPS |
| currClosure | Lang.CPS.Semantics, Lang.CPS |
| curry | FP.Core, FP |
| Cursor | |
| 1 (Type/Class) | FP.Core, FP |
| 2 (Data Constructor) | FP.Core, FP |
| CVal | Lang.CPS.Val, Lang.CPS |
| Cτ | |
| 1 (Type/Class) | MAAM.Time, MAAM |
| 2 (Data Constructor) | MAAM.Time, MAAM |
| dataDL | FP.TH |
| deflate | FP.Monads, FP |
| discreteOrder | FP.Core, FP |
| Divisible | FP.Core, FP |
| Doc | FP.Pretty, FP |
| DocM | |
| 1 (Type/Class) | FP.Pretty, FP |
| 2 (Data Constructor) | FP.Pretty |
| Double | FP.Core, FP |
| dtimeFilterOp | Lang.CPS.Semantics, Lang.CPS |
| dtimeOp | Lang.CPS.Semantics, Lang.CPS |
| e1 | Examples |
| elem | FP.Core, FP |
| elemAtN | FP.Core, FP |
| elimBool | Lang.CPS.StateSpace, Lang.CPS |
| elimClo | Lang.CPS.StateSpace, Lang.CPS |
| empty | FP.Core, FP |
| EmptyMap | FP.Core, FP |
| EmptySet | FP.Core, FP |
| end | FP.Parser |
| Endo | |
| 1 (Type/Class) | FP.Core, FP |
| 2 (Data Constructor) | FP.Core, FP |
| Env | |
| 1 (Type/Class) | Lang.Lam.Passes, Lang.Lam |
| 2 (Data Constructor) | Lang.Lam.Passes, Lang.Lam |
| 3 (Type/Class) | Lang.CPS.StateSpace, Lang.CPS |
| env0 | |
| 1 (Function) | FP.Pretty |
| 2 (Function) | Lang.Lam.Passes, Lang.Lam |
| EQ | FP.Core, FP |
| Eq | FP.Core, FP |
| error | FP.Core, FP |
| errorCommute | FP.Monads, FP |
| errorE | FP.Core, FP |
| errorI | FP.Core, FP |
| errorReaderCommute | FP.Monads, FP |
| errorStateCommute | FP.Monads, FP |
| ErrorT | |
| 1 (Type/Class) | FP.Core, FP |
| 2 (Data Constructor) | FP.Core, FP |
| evalKon | FP.Monads, FP |
| evalKonT | FP.Monads, FP |
| evalOpaqueKon | FP.Monads, FP |
| evalOpaqueKonT | FP.Monads, FP |
| evalState | FP.Monads, FP |
| evalStateT | FP.Monads, FP |
| evalStStateT | Lang.Lam.Passes, Lang.Lam |
| examplesMain | Examples |
| exec | |
| 1 (Function) | FP.Core, FP |
| 2 (Function) | Lang.CPS.Semantics, Lang.CPS |
| execCollect | Lang.CPS.Semantics, Lang.CPS |
| execDoc | FP.Pretty |
| execState | FP.Monads, FP |
| execStateT | FP.Monads, FP |
| Execution | Lang.CPS.Semantics, Lang.CPS |
| execWriterT | FP.Monads, FP |
| ExMonad | |
| 1 (Type/Class) | Lang.CPS.Semantics, Lang.CPS |
| 2 (Data Constructor) | Lang.CPS.Semantics, Lang.CPS |
| Exp | Lang.Lam.Syntax, Lang.Lam |
| exp | Lang.Lam.Parser, Lang.Lam |
| ExSigma | |
| 1 (Type/Class) | Lang.CPS.Semantics, Lang.CPS |
| 2 (Data Constructor) | Lang.CPS.Semantics, Lang.CPS |
| extend | FP.Core, FP |
| ExTime | |
| 1 (Type/Class) | Lang.CPS.Semantics, Lang.CPS |
| 2 (Data Constructor) | Lang.CPS.Semantics, Lang.CPS |
| ExVal | |
| 1 (Type/Class) | Lang.CPS.Semantics, Lang.CPS |
| 2 (Data Constructor) | Lang.CPS.Semantics, Lang.CPS |
| fail | FP.Core, FP |
| Failure | FP.Pretty |
| failure | FP.Pretty |
| failureL | FP.Pretty |
| False | FP.Core, FP |
| fgCode | FP.Console |
| FI | Lang.CPS.Monads, Lang.CPS |
| fif | FP.Core, FP |
| filter | FP.Core, FP |
| final | FP.Parser |
| findMax | FP.Core, FP |
| findMaxFrom | FP.Core, FP |
| FIPI | Lang.CPS.Monads, Lang.CPS |
| firstN | FP.Core, FP |
| fisoMap2 | FP.Core, FP |
| Fix | |
| 1 (Type/Class) | FP.Core, FP |
| 2 (Data Constructor) | FP.Core, FP |
| FIΣ | |
| 1 (Type/Class) | Lang.CPS.Monads, Lang.CPS |
| 2 (Data Constructor) | Lang.CPS.Monads, Lang.CPS |
| FIΣ' | Lang.CPS.Monads, Lang.CPS |
| FIΣ𝒫 | |
| 1 (Type/Class) | Lang.CPS.Monads, Lang.CPS |
| 2 (Data Constructor) | Lang.CPS.Monads, Lang.CPS |
| fjoin2 | FP.Core, FP |
| Flat | FP.Pretty |
| flat | FP.Pretty |
| flip | FP.Core, FP |
| Floating | FP.Core, FP |
| fmap2 | FP.Core, FP |
| focus | FP.Core, FP |
| foldl | FP.Core, FP |
| foldlFrom | FP.Core, FP |
| foldlk | FP.Core, FP |
| foldlOn | FP.Core, FP |
| foldr | FP.Core, FP |
| foldrFrom | FP.Core, FP |
| foldrOn | FP.Core, FP |
| foreground | FP.Pretty |
| Format | |
| 1 (Type/Class) | FP.Pretty |
| 2 (Data Constructor) | FP.Pretty |
| format | FP.Pretty |
| formatChunk | FP.Pretty |
| formatOut | FP.Console |
| FreeFunctor | FP.Free, FP |
| FreeMonoid | FP.Free, FP |
| FreeMonoidFunctor | FP.Free, FP |
| freeVarsAtom | Lang.CPS.Syntax, Lang.CPS |
| freeVarsCall | Lang.CPS.Syntax, Lang.CPS |
| freeVarsLam | Lang.CPS.Syntax, Lang.CPS |
| freeVarsPico | Lang.CPS.Syntax, Lang.CPS |
| fresh | Lang.Lam.Passes, Lang.Lam |
| FromChars | FP.Core, FP |
| fromChars | FP.Core, FP |
| FromDouble | FP.Core, FP |
| fromDouble | FP.Core, FP |
| FromInt | FP.Core, FP |
| fromInt | FP.Core, FP |
| FromInteger | FP.Core, FP |
| fromInteger | FP.Core, FP |
| fromList | FP.Core, FP |
| fromListLike | FP.Core, FP |
| fromMap | FP.Core, FP |
| fromOrdering | FP.Core, FP |
| FromRational | FP.Core, FP |
| fromRational | FP.Core, FP |
| fromSet | FP.Core, FP |
| FromString | FP.Core, FP |
| fromString | FP.Core, FP |
| fromString' | FP.Core, FP |
| FS | |
| 1 (Type/Class) | Lang.CPS.Monads, Lang.CPS |
| 2 (Data Constructor) | Lang.CPS.Monads, Lang.CPS |
| FSPS | Lang.CPS.Monads, Lang.CPS |
| fst | FP.Core, FP |
| fstL | FP.Core, FP |
| FSΣ | |
| 1 (Type/Class) | Lang.CPS.Monads, Lang.CPS |
| 2 (Data Constructor) | Lang.CPS.Monads, Lang.CPS |
| FSΣ' | Lang.CPS.Monads, Lang.CPS |
| FSΣ𝒫 | |
| 1 (Type/Class) | Lang.CPS.Monads, Lang.CPS |
| 2 (Data Constructor) | Lang.CPS.Monads, Lang.CPS |
| Functor | FP.Core, FP |
| Functor2 | FP.Core, FP |
| FunctorElem | FP.Free, FP |
| FunctorFunctor2 | FP.Core, FP |
| Functorial | FP.Core, FP |
| functorial | FP.Core, FP |
| FunctorIsoFunctor2 | FP.Core, FP |
| FunctorJoin2 | FP.Core, FP |
| FunctorM | FP.Core, FP |
| FunctorUnit2 | FP.Core, FP |
| funit2 | FP.Core, FP |
| GC | Lang.CPS.Semantics, Lang.CPS |
| gcChoices | Lang.CPS.Analyses, Lang.CPS |
| gcOp | Lang.CPS.Semantics, Lang.CPS |
| genID | Lang.Lam.Passes, Lang.Lam |
| genIDL | Lang.Lam.Passes, Lang.Lam |
| get | FP.Core, FP |
| getL | FP.Core, FP |
| getName | Lang.Common |
| getP | FP.Core, FP |
| GName | |
| 1 (Type/Class) | Lang.Common |
| 2 (Data Constructor) | Lang.Common |
| gname | Lang.Common |
| gnameMark | Lang.Common |
| group | FP.Pretty |
| GT | FP.Core, FP |
| guard | FP.Core, FP |
| Halt | Lang.CPS.Syntax, Lang.CPS |
| haltL | Lang.CPS.Syntax, Lang.CPS |
| hardLine | FP.Pretty |
| HasLens | FP.Core, FP |
| head | FP.Core, FP |
| heading | FP.Pretty |
| headingFmt | FP.Pretty |
| hijack | FP.Core, FP |
| hl | FP.Pretty |
| hlFmt | FP.Pretty |
| hsep | FP.Pretty |
| hsepTight | FP.Pretty |
| htmlBDCode | FP.Console |
| htmlBGCode | FP.Console |
| htmlColorFrom256 | FP.Console |
| htmlFGCode | FP.Console |
| htmlULCode | FP.Console |
| hvsep | FP.Pretty |
| hvsepTight | FP.Pretty |
| I | Lang.Common |
| IA | Lang.CPS.Val, Lang.CPS |
| iAL | Lang.CPS.Val, Lang.CPS |
| ID | |
| 1 (Type/Class) | FP.Monads, FP |
| 2 (Data Constructor) | FP.Monads, FP |
| Id | Lang.Lam.Parser, Lang.Lam |
| id | FP.Core, FP |
| ident | Lang.Lam.Parser, Lang.Lam |
| IDT | |
| 1 (Type/Class) | FP.Monads, FP |
| 2 (Data Constructor) | FP.Monads, FP |
| If | |
| 1 (Data Constructor) | Lang.CPS.Syntax, Lang.CPS |
| 2 (Data Constructor) | Lang.Lam.Syntax, Lang.Lam |
| ifExp | Lang.Lam.Parser, Lang.Lam |
| ifFlat | FP.Pretty |
| ifL | Lang.CPS.Syntax, Lang.CPS |
| ifThenElse | FP.Core, FP |
| iL | Lang.Common |
| impl | FP.Core, FP |
| index | FP.Core, FP |
| Indexed | FP.Core, FP |
| Inf | |
| 1 (Type/Class) | FP.Parser |
| 2 (Data Constructor) | FP.Parser |
| inf | |
| 1 (Function) | FP.Pretty |
| 2 (Function) | FP.Parser |
| inf' | FP.Parser |
| InfL | |
| 1 (Type/Class) | FP.Parser |
| 2 (Data Constructor) | FP.Parser |
| infL | FP.Parser |
| infl | |
| 1 (Function) | FP.Pretty |
| 2 (Function) | FP.Parser |
| inflate | FP.Monads, FP |
| infLL | FP.Parser |
| InfR | |
| 1 (Type/Class) | FP.Parser |
| 2 (Data Constructor) | FP.Parser |
| infr | |
| 1 (Function) | FP.Pretty |
| 2 (Function) | FP.Parser |
| infRL | FP.Parser |
| Initial | MAAM.Initial, MAAM |
| initial | MAAM.Initial, MAAM |
| inj | MAAM.Initial, MAAM |
| Inject | MAAM.Initial, MAAM |
| inject | FP.Core, FP |
| Inl | FP.Core, FP |
| inlL | FP.Core, FP |
| Inr | FP.Core, FP |
| inrL | FP.Core, FP |
| insert | FP.Core, FP |
| Int | FP.Core, FP |
| Integer | FP.Core, FP |
| Integral | FP.Core, FP |
| intersection | FP.Core, FP |
| intersperse | FP.Core, FP |
| inverse | FP.Core, FP |
| IO | FP.Core, FP |
| isAlphaNum | FP.Core, FP |
| isDigit | FP.Core, FP |
| isElem | FP.Core, FP |
| isEmpty | FP.Core, FP |
| isL | FP.Core, FP |
| isLetter | FP.Core, FP |
| isNil | FP.Core, FP |
| IsNonNeg | Lang.Common |
| isofrom | FP.Core, FP |
| isofrom2 | FP.Core, FP |
| isofrom3 | FP.Core, FP |
| IsoFunctor2 | FP.Core, FP |
| isoLens | FP.Core, FP |
| isoMap2 | FP.Core, FP |
| IsoMonadStep | |
| 1 (Type/Class) | MAAM.MonadStep, MAAM |
| 2 (Data Constructor) | MAAM.MonadStep, MAAM |
| Isomorphism | FP.Core, FP |
| Isomorphism2 | FP.Core, FP |
| Isomorphism3 | FP.Core, FP |
| isoPrism | FP.Core, FP |
| isoto | FP.Core, FP |
| isoto2 | FP.Core, FP |
| isoto3 | FP.Core, FP |
| isSpace | FP.Core, FP |
| iter | FP.Core, FP |
| Iterable | FP.Core, FP |
| iterateAppend | FP.Core, FP |
| iterFrom | FP.Core, FP |
| iterOn | FP.Core, FP |
| Join2 | FP.Core, FP |
| join2 | FP.Core, FP |
| JoinLattice | FP.Core, FP |
| joins | FP.Core, FP |
| Just | FP.Core, FP |
| justL | FP.Core, FP |
| Key | Lang.Lam.Parser, Lang.Lam |
| key | |
| 1 (Function) | FP.Pretty |
| 2 (Function) | Lang.Lam.Parser, Lang.Lam |
| keyFmt | FP.Pretty |
| keyPun | FP.Pretty |
| keyPunFmt | FP.Pretty |
| KFun | |
| 1 (Type/Class) | FP.Core, FP |
| 2 (Data Constructor) | FP.Core, FP |
| kleisli | FP.Core, FP |
| KleisliEndo | |
| 1 (Type/Class) | FP.Core, FP |
| 2 (Data Constructor) | FP.Core, FP |
| Kon | FP.Monads, FP |
| konE | FP.Core, FP |
| konI | FP.Core, FP |
| konStateCommute | FP.Monads, FP |
| KonT | |
| 1 (Type/Class) | FP.Core, FP |
| 2 (Data Constructor) | FP.Core, FP |
| Kτ | |
| 1 (Type/Class) | MAAM.Time, MAAM |
| 2 (Data Constructor) | MAAM.Time, MAAM |
| Lam | Lang.Lam.Syntax, Lang.Lam |
| lam | Lang.CPS.Semantics, Lang.CPS |
| lamExp | Lang.Lam.Parser, Lang.Lam |
| LamF | Lang.CPS.Syntax, Lang.CPS |
| LamK | Lang.CPS.Syntax, Lang.CPS |
| Lattice | FP.Core, FP |
| Layout | FP.Pretty |
| layout | FP.Pretty |
| layoutL | FP.Pretty |
| leader | FP.Console |
| learnMap | FP.Core, FP |
| learnSet | FP.Core, FP |
| length | FP.Core, FP |
| Lens | |
| 1 (Type/Class) | FP.Core, FP |
| 2 (Data Constructor) | FP.Core, FP |
| lens | FP.Core, FP |
| Let | |
| 1 (Data Constructor) | Lang.CPS.Syntax, Lang.CPS |
| 2 (Data Constructor) | Lang.Lam.Syntax, Lang.Lam |
| letAtom | Lang.Lam.Passes, Lang.Lam |
| letExp | Lang.Lam.Parser, Lang.Lam |
| letL | Lang.CPS.Syntax, Lang.CPS |
| level | FP.Pretty |
| levelL | FP.Pretty |
| LexingError | FP.Parser |
| liftIO | FP.Core, FP |
| liftList | FP.Core, FP |
| liftMaybeSet | FP.Core, FP |
| liftMaybeZero | FP.Core, FP |
| liftQ | FP.Core, FP |
| liftSum | FP.Core, FP |
| linkClo | Lang.CPS.Semantics, Lang.CPS |
| listAbort | FP.Core, FP |
| listCommute | FP.Monads, FP |
| listE | FP.Core, FP |
| listI | FP.Core, FP |
| ListLike | FP.Core, FP |
| ListSet | |
| 1 (Type/Class) | FP.Core, FP |
| 2 (Data Constructor) | FP.Core, FP |
| listSetCommute | FP.Monads, FP |
| listSetE | FP.Core, FP |
| listSetI | FP.Core, FP |
| listSetStateCommute | FP.Monads, FP |
| ListSetT | |
| 1 (Type/Class) | FP.Core, FP |
| 2 (Data Constructor) | FP.Core, FP |
| listStateCommute | FP.Monads, FP |
| ListT | |
| 1 (Type/Class) | FP.Core, FP |
| 2 (Data Constructor) | FP.Core, FP |
| Lit | |
| 1 (Type/Class) | Lang.Common |
| 2 (Data Constructor) | Lang.CPS.Syntax, Lang.CPS |
| 3 (Data Constructor) | Lang.Lam.Syntax, Lang.Lam |
| lit | |
| 1 (Function) | FP.Pretty |
| 2 (Function) | FP.Parser |
| 3 (Function) | Lang.CPS.StateSpace, Lang.CPS |
| LitA | Lang.CPS.Val, Lang.CPS |
| litAL | Lang.CPS.Val, Lang.CPS |
| LitC | Lang.CPS.Val, Lang.CPS |
| litCL | Lang.CPS.Val, Lang.CPS |
| litExp | Lang.Lam.Parser, Lang.Lam |
| litFmt | FP.Pretty |
| litTok | Lang.Lam.Parser, Lang.Lam |
| local | FP.Core, FP |
| localL | FP.Core, FP |
| localP | FP.Core, FP |
| localSet | FP.Core, FP |
| localSetL | FP.Core, FP |
| localStateSet | FP.Core, FP |
| LocNum | |
| 1 (Type/Class) | Lang.Common |
| 2 (Data Constructor) | Lang.Common |
| lookMaybe | FP.Core, FP |
| lookup | FP.Core, FP |
| lookupName | Lang.Lam.Passes, Lang.Lam |
| LT | FP.Core, FP |
| ltimeFilterOp | Lang.CPS.Semantics, Lang.CPS |
| ltimeOp | Lang.CPS.Semantics, Lang.CPS |
| makeJoinLattice | FP.DerivingJoinLattice, FP |
| makeJoinLatticeLogic | FP.DerivingJoinLattice, FP |
| makeLenses | FP.DerivingLens, FP |
| makeLensLogic | FP.DerivingLens, FP |
| makeList | FP.TH |
| makeMetaKon | FP.Monads, FP |
| makeMetaKonT | FP.Monads, FP |
| makeMonoid | FP.DerivingMonoid, FP |
| makeMonoidLogic | FP.DerivingMonoid, FP |
| makeOpaqueKon | FP.Monads, FP |
| makeOptions | Examples |
| makePrettySum | FP.DerivingPretty, FP |
| makePrettySumLogic | FP.DerivingPretty, FP |
| makePrettyUnion | FP.DerivingPretty, FP |
| makePrettyUnionLogic | FP.DerivingPretty, FP |
| makePrismLogic | FP.DerivingPrism, FP |
| makePrisms | FP.DerivingPrism, FP |
| makeString | FP.TH |
| many | FP.Core, FP |
| Map | |
| 1 (Type/Class) | FP.Core, FP |
| 2 (Data Constructor) | FP.Core, FP |
| map | FP.Core, FP |
| map2 | FP.Core, FP |
| mapEmpty | FP.Core, FP |
| mapError | FP.Monads, FP |
| mapFst | FP.Core, FP |
| mapHead | FP.Core, FP |
| mapInl | FP.Core, FP |
| mapInr | FP.Core, FP |
| mapInsert | FP.Core, FP |
| mapInsertWith | FP.Core, FP |
| mapIntersectionWith | FP.Core, FP |
| mapIsEmpty | FP.Core, FP |
| mapKeys | FP.Core, FP |
| MapLike | FP.Core, FP |
| mapM | FP.Core, FP |
| mapModify | FP.Core, FP |
| mapOn | FP.Core, FP |
| mapOnM | FP.Core, FP |
| mapOutput | FP.Monads, FP |
| mapply | FP.Core, FP |
| mapRemove | FP.Core, FP |
| mapSetT | FP.Core, FP |
| mapSnd | FP.Core, FP |
| mapStateT | FP.Monads, FP |
| mapTail | FP.Core, FP |
| mapUnionWith | FP.Core, FP |
| max | FP.Core, FP |
| maxColumnWidth | FP.Pretty |
| maxColumnWidthL | FP.Pretty |
| maxRibbonWidth | FP.Pretty |
| maxRibbonWidthL | FP.Pretty |
| Maybe | FP.Core, FP |
| maybeCommute | FP.Monads, FP |
| maybeE | FP.Core, FP |
| maybeElim | FP.Core, FP |
| maybeElimOn | FP.Core, FP |
| maybeEM | FP.Core, FP |
| maybeI | FP.Core, FP |
| maybeReaderCommute | FP.Monads, FP |
| maybeStateCommute | FP.Monads, FP |
| MaybeT | |
| 1 (Type/Class) | FP.Core, FP |
| 2 (Data Constructor) | FP.Core, FP |
| maybeToList | FP.Monads, FP |
| maybeWriterCommute | FP.Monads, FP |
| mconcat | FP.Core, FP |
| MeetLattice | FP.Core, FP |
| mergeState | FP.Monads, FP |
| MetaKon | Lang.Lam.Passes, Lang.Lam |
| metaKonT | FP.Monads, FP |
| MFApply | FP.Free, FP |
| MFNull | FP.Free, FP |
| min | FP.Core, FP |
| mirror | FP.Core, FP |
| misoMap2 | FP.Core, FP |
| Mix | |
| 1 (Type/Class) | FP.Parser |
| 2 (Data Constructor) | FP.Parser |
| MixL | FP.Parser |
| mixL | FP.Parser |
| mixLL | FP.Parser |
| MixR | FP.Parser |
| mixRL | FP.Parser |
| mjoin | FP.Core, FP |
| mjoin2 | FP.Core, FP |
| mlist | FP.Core, FP |
| mmap | FP.Core, FP |
| mmap2 | FP.Core, FP |
| modify | FP.Core, FP |
| modifyC | FP.Core, FP |
| modifyL | FP.Core, FP |
| modifyLM | FP.Core, FP |
| modifyM | FP.Core, FP |
| modifyP | FP.Core, FP |
| Monad | FP.Core, FP |
| MonadC | Lang.CPS.Semantics, Lang.CPS |
| monadChoices | Lang.CPS.Analyses, Lang.CPS |
| MonadConcat | FP.Core, FP |
| MonadError | FP.Core, FP |
| MonadErrorE | FP.Core, FP |
| MonadErrorI | FP.Core, FP |
| MonadFunctor2 | FP.Core, FP |
| MonadIO | FP.Core, FP |
| MonadIsoFunctor2 | FP.Core, FP |
| MonadJoin2 | FP.Core, FP |
| MonadKon | FP.Core, FP |
| MonadKonE | FP.Core, FP |
| MonadKonI | FP.Core, FP |
| MonadList | FP.Core, FP |
| MonadListE | FP.Core, FP |
| MonadListI | FP.Core, FP |
| MonadListSet | FP.Core, FP |
| MonadListSetE | FP.Core, FP |
| MonadListSetI | FP.Core, FP |
| MonadMaybe | FP.Core, FP |
| MonadMaybeE | FP.Core, FP |
| MonadMaybeI | FP.Core, FP |
| monadOp | Lang.CPS.Semantics, Lang.CPS |
| MonadOpaqueKon | FP.Core, FP |
| MonadOpaqueKonE | FP.Core, FP |
| MonadOpaqueKonI | FP.Core, FP |
| MonadParser | FP.Parser |
| MonadPlus | FP.Core, FP |
| MonadPretty | FP.Pretty |
| MonadQ | FP.Core, FP |
| MonadReader | FP.Core, FP |
| MonadReaderE | FP.Core, FP |
| MonadReaderI | FP.Core, FP |
| MonadRWS | FP.Core, FP |
| MonadRWSE | FP.Core, FP |
| MonadRWSI | FP.Core, FP |
| MonadSetE | FP.Core, FP |
| MonadSetI | FP.Core, FP |
| MonadState | FP.Core, FP |
| MonadStateE | FP.Core, FP |
| MonadStateI | FP.Core, FP |
| MonadStateSpaceC | Lang.CPS.Semantics, Lang.CPS |
| MonadStep | MAAM.MonadStep, MAAM |
| MonadUnit2 | FP.Core, FP |
| MonadWriter | FP.Core, FP |
| MonadWriterE | FP.Core, FP |
| MonadWriterI | FP.Core, FP |
| MonadZero | FP.Core, FP |
| Monoid | FP.Core, FP |
| MonoidElem | FP.Free, FP |
| MonoidFunctorElem | FP.Free, FP |
| morph | FP.Core, FP |
| morph2 | FP.Core, FP |
| morph3 | FP.Core, FP |
| Morphism | FP.Core, FP |
| Morphism2 | FP.Core, FP |
| Morphism3 | FP.Core, FP |
| mpair | FP.Core, FP |
| mset | FP.Core, FP |
| mstepγ | MAAM.MonadStep, MAAM |
| msum | FP.Core, FP |
| mtry | FP.Core, FP |
| Multiplicative | FP.Core, FP |
| munit2 | FP.Core, FP |
| mustBreak | FP.Pretty |
| mzero | FP.Core, FP |
| Name | |
| 1 (Type/Class) | Lang.Common |
| 2 (Data Constructor) | Lang.Common |
| nameExp | Lang.Lam.Parser, Lang.Lam |
| negate | FP.Core, FP |
| nest | FP.Pretty |
| nesting | FP.Pretty |
| nestingL | FP.Pretty |
| new | Lang.CPS.Semantics, Lang.CPS |
| Newline | FP.Pretty |
| newline | FP.Pretty |
| newtypeDL | FP.TH |
| next | FP.Core, FP |
| nextL | FP.Core, FP |
| nil | FP.Core, FP |
| nilL | FP.Core, FP |
| niter | FP.Core, FP |
| niterOn | FP.Core, FP |
| noFormatOut | FP.Pretty |
| nogc | Lang.CPS.Semantics, Lang.CPS |
| not | FP.Core, FP |
| Nothing | FP.Core, FP |
| nothingL | FP.Core, FP |
| Null | FP.Free, FP |
| null | FP.Core, FP |
| Num | Lang.Lam.Parser, Lang.Lam |
| numLit | Lang.Lam.Parser, Lang.Lam |
| ObjectKon | Lang.Lam.Passes, Lang.Lam |
| on | FP.Core, FP |
| onComposeIso | FP.Core, FP |
| one | FP.Core, FP |
| oneOrMore | FP.Core, FP |
| oneOrMoreList | FP.Core, FP |
| onIso2 | FP.Core, FP |
| onlyKeys | FP.Core, FP |
| Op | Lang.Common |
| op | |
| 1 (Function) | FP.Pretty |
| 2 (Function) | Lang.CPS.StateSpace, Lang.CPS |
| OpaqueKon | FP.Monads, FP |
| OpaqueKonT | |
| 1 (Type/Class) | FP.Core, FP |
| 2 (Data Constructor) | FP.Core, FP |
| opaqueKonT | FP.Monads, FP |
| opExp | Lang.Lam.Parser, Lang.Lam |
| Options | |
| 1 (Type/Class) | Lang.CPS.Semantics, Lang.CPS |
| 2 (Data Constructor) | Lang.CPS.Semantics, Lang.CPS |
| Ord | FP.Core, FP |
| Ordering | FP.Core, FP |
| otherwise | FP.Core, FP |
| P | |
| 1 (Type/Class) | FP.Core, FP |
| 2 (Data Constructor) | FP.Core, FP |
| parens | FP.Pretty |
| parse | FP.Parser |
| ParseError | FP.Parser |
| parseExp | Lang.Lam.Parser, Lang.Lam |
| parseFile | Lang.Lam.Parser, Lang.Lam |
| Parser | |
| 1 (Type/Class) | FP.Parser |
| 2 (Data Constructor) | FP.Parser |
| ParserState | |
| 1 (Type/Class) | FP.Parser |
| 2 (Data Constructor) | FP.Parser |
| parserStateConsumed | FP.Parser |
| parserStateConsumedL | FP.Parser |
| parserStateStream | FP.Parser |
| parserStateStreamL | FP.Parser |
| ParsingError | FP.Parser |
| PartialOrder | FP.Core, FP |
| PartialOrderF | FP.Core, FP |
| partialOrderF | FP.Core, FP |
| pcompare | FP.Core, FP |
| Peano | FP.Core, FP |
| PEnv | |
| 1 (Type/Class) | FP.Pretty |
| 2 (Data Constructor) | FP.Pretty |
| PEQ | FP.Core, FP |
| PGT | FP.Core, FP |
| Pico | Lang.CPS.Syntax, Lang.CPS |
| pico | Lang.CPS.Semantics, Lang.CPS |
| pidτ | Lang.CPS.Monads, Lang.CPS |
| pilτ | Lang.CPS.Monads, Lang.CPS |
| piρ | Lang.CPS.Monads, Lang.CPS |
| PI𝒮 | |
| 1 (Type/Class) | Lang.CPS.Monads, Lang.CPS |
| 2 (Data Constructor) | Lang.CPS.Monads, Lang.CPS |
| PLT | FP.Core, FP |
| pluck | FP.Core, FP |
| poiter | FP.Core, FP |
| POrdering | FP.Core, FP |
| Post | FP.Parser |
| post | |
| 1 (Function) | FP.Pretty |
| 2 (Function) | FP.Parser |
| postL | FP.Parser |
| POut | FP.Pretty |
| Power | |
| 1 (Type/Class) | Lang.CPS.Val, Lang.CPS |
| 2 (Data Constructor) | Lang.CPS.Val, Lang.CPS |
| pprint | FP.Console, FP |
| pprintDoc | FP.Console, FP |
| pprintRibbon | FP.Console |
| pprintWidth | FP.Console, FP |
| pprintWith | FP.Console, FP |
| Pre | FP.Parser |
| pre | |
| 1 (Function) | FP.Pretty |
| 2 (Function) | FP.Parser |
| PreAtom | Lang.CPS.Syntax, Lang.CPS |
| PreCall | Lang.CPS.Syntax, Lang.CPS |
| PreExp | Lang.Lam.Syntax, Lang.Lam |
| preL | FP.Parser |
| PrePico | Lang.CPS.Syntax, Lang.CPS |
| prePostBumped | FP.Parser |
| Pretty | FP.Pretty, FP |
| pretty | FP.Pretty, FP |
| Prim | |
| 1 (Data Constructor) | Lang.CPS.Syntax, Lang.CPS |
| 2 (Data Constructor) | Lang.Lam.Syntax, Lang.Lam |
| FP.Core, FP | |
| Prism | |
| 1 (Type/Class) | FP.Core, FP |
| 2 (Data Constructor) | FP.Core, FP |
| prism | FP.Core, FP |
| Product | FP.Core, FP |
| PS | Lang.CPS.Monads, Lang.CPS |
| pset | FP.Core, FP |
| PState | |
| 1 (Type/Class) | FP.Pretty |
| 2 (Data Constructor) | FP.Pretty |
| PSΣ | |
| 1 (Type/Class) | Lang.CPS.Monads, Lang.CPS |
| 2 (Data Constructor) | Lang.CPS.Monads, Lang.CPS |
| PSΣ' | Lang.CPS.Monads, Lang.CPS |
| PSΣ𝒫 | |
| 1 (Type/Class) | Lang.CPS.Monads, Lang.CPS |
| 2 (Data Constructor) | Lang.CPS.Monads, Lang.CPS |
| ptoString | FP.Pretty, FP |
| ptrace | FP.Console, FP |
| PUN | FP.Core, FP |
| pun | FP.Pretty |
| punFmt | FP.Pretty |
| put | FP.Core, FP |
| putL | FP.Core, FP |
| putP | FP.Core, FP |
| Q | FP.Core, FP |
| Rational | FP.Core, FP |
| Reader | FP.Monads, FP |
| readerCommute | FP.Monads, FP |
| readerE | FP.Core, FP |
| readerErrorCommute | FP.Monads, FP |
| readerI | FP.Core, FP |
| readerMaybeCommute | FP.Monads, FP |
| readerRWSCommute | FP.Monads, FP |
| readerStateCommute | FP.Monads, FP |
| ReaderT | |
| 1 (Type/Class) | FP.Core, FP |
| 2 (Data Constructor) | FP.Core, FP |
| readerWriterCommute | FP.Monads, FP |
| readFile | FP.IO, FP |
| recCL | FP.TH |
| reflect | Lang.Lam.Passes, Lang.Lam |
| reify | Lang.Lam.Passes, Lang.Lam |
| remove | FP.Core, FP |
| replicate | FP.Core, FP |
| reset | |
| 1 (Function) | FP.Core, FP |
| 2 (Function) | FP.Console |
| return | FP.Core, FP |
| reverse | FP.Core, FP |
| ribbon | FP.Pretty |
| ribbonL | FP.Pretty |
| rotateL | FP.Core, FP |
| rotateR | FP.Core, FP |
| runAddStateT | FP.Monads, FP |
| runAllCreateClo | Lang.CPS.Semantics, Lang.CPS |
| runAllGC | Lang.CPS.Semantics, Lang.CPS |
| runCompose | FP.Core, FP |
| runCompose2 | FP.Core, FP |
| runDocM | FP.Pretty |
| runEndo | FP.Core, FP |
| runErrorT | FP.Core, FP |
| runFI | Lang.CPS.Monads, Lang.CPS |
| runFix | FP.Core, FP |
| runFIΣ | Lang.CPS.Monads, Lang.CPS |
| runFIΣ𝒫 | Lang.CPS.Monads, Lang.CPS |
| runFS | Lang.CPS.Monads, Lang.CPS |
| runFSΣ | Lang.CPS.Monads, Lang.CPS |
| runFSΣ𝒫 | Lang.CPS.Monads, Lang.CPS |
| runID | FP.Monads, FP |
| runIDT | FP.Monads, FP |
| runIsoMonadStep | MAAM.MonadStep, MAAM |
| runKFun | FP.Core, FP |
| runKleisliEndo | FP.Core, FP |
| runKon | FP.Monads, FP |
| runKonT | FP.Core, FP |
| runLens | FP.Core, FP |
| runListSet | FP.Core, FP |
| runListSetT | FP.Core, FP |
| runListT | FP.Core, FP |
| runMaybeT | FP.Core, FP |
| runMetaKon | FP.Monads, FP |
| runMetaKonT | FP.Monads, FP |
| runMetaKonTWith | FP.Monads, FP |
| runOpaqueKon | FP.Monads, FP |
| runOpaqueKonT | FP.Core, FP |
| runOpaqueKonTWith | FP.Monads, FP |
| runParser | FP.Parser |
| runPower | Lang.CPS.Val, Lang.CPS |
| runPS | Lang.CPS.Monads, Lang.CPS |
| runPSΣ | Lang.CPS.Monads, Lang.CPS |
| runPSΣ𝒫 | Lang.CPS.Monads, Lang.CPS |
| runReader | FP.Monads, FP |
| runReaderT | FP.Core, FP |
| runRWST | FP.Monads, FP |
| runSetT | FP.Core, FP |
| runState | FP.Monads, FP |
| runStateT | FP.Monads, FP |
| runWithOptions | Lang.CPS.Semantics, Lang.CPS |
| runWriterT | FP.Core, FP |
| rwsCommute | FP.Monads, FP |
| rwsE | FP.Core, FP |
| rwsI | FP.Core, FP |
| rwsReaderCommute | FP.Monads, FP |
| rwsStateCommute | FP.Monads, FP |
| RWST | |
| 1 (Type/Class) | FP.Core, FP |
| 2 (Data Constructor) | FP.Core, FP |
| rwsWriterCommute | FP.Monads, FP |
| satisfies | FP.Parser |
| sclause | FP.TH |
| seq | FP.Core, FP |
| sequence | FP.Core, FP |
| Set | |
| 1 (Type/Class) | FP.Core, FP |
| 2 (Data Constructor) | FP.Core, FP |
| set | FP.Core, FP |
| setBD | FP.Pretty |
| setBG | FP.Pretty |
| setCommute | FP.Monads, FP |
| setE | FP.Core, FP |
| setFG | FP.Pretty |
| setI | FP.Core, FP |
| SetLike | FP.Core, FP |
| setMap | FP.Core, FP |
| SetT | |
| 1 (Type/Class) | FP.Core, FP |
| 2 (Data Constructor) | FP.Core, FP |
| setTranspose | FP.Core, FP |
| setUL | FP.Pretty |
| SExp | Lang.Lam.Syntax, Lang.Lam |
| SGAtom | Lang.CPS.Syntax, Lang.CPS |
| SGCall | Lang.CPS.Syntax, Lang.CPS |
| SGName | Lang.Common |
| sgNameFromSName | Lang.Common |
| SGPico | Lang.CPS.Syntax, Lang.CPS |
| sgrCloser | FP.Console |
| show | FP.Core, FP |
| single | FP.Core, FP |
| singleL | FP.Core, FP |
| singleton | FP.Core, FP |
| size | FP.Core, FP |
| smatch | FP.TH |
| SName | Lang.Common |
| snd | FP.Core, FP |
| sndL | FP.Core, FP |
| space | FP.Pretty |
| splitState | FP.Monads, FP |
| SPreAtom | Lang.CPS.Syntax, Lang.CPS |
| st0 | Lang.Lam.Passes, Lang.Lam |
| stamp | Lang.Lam.Passes, Lang.Lam |
| stampBdrID | Lang.Lam.Passes, Lang.Lam |
| stampBdrIDL | Lang.Lam.Passes, Lang.Lam |
| stampCPS | Lang.Lam.Passes, Lang.Lam |
| Stamped | |
| 1 (Type/Class) | FP.Core, FP |
| 2 (Data Constructor) | FP.Core, FP |
| stamped | FP.Core, FP |
| StampedFix | |
| 1 (Type/Class) | FP.Core, FP |
| 2 (Data Constructor) | FP.Core, FP |
| stampedFix | FP.Core, FP |
| stampedFixID | FP.Core, FP |
| stampedID | FP.Core, FP |
| stampExpID | Lang.Lam.Passes, Lang.Lam |
| stampExpIDL | Lang.Lam.Passes, Lang.Lam |
| stampL | Lang.Lam.Passes, Lang.Lam |
| StampM | Lang.Lam.Passes, Lang.Lam |
| stampM | Lang.Lam.Passes, Lang.Lam |
| StampSt | |
| 1 (Type/Class) | Lang.Lam.Passes, Lang.Lam |
| 2 (Data Constructor) | Lang.Lam.Passes, Lang.Lam |
| State | FP.Monads, FP |
| state0 | FP.Pretty |
| stateCommute | FP.Monads, FP |
| stateE | FP.Core, FP |
| stateErrorCommute | FP.Monads, FP |
| stateI | FP.Core, FP |
| stateKonCommute | FP.Monads, FP |
| stateLens | FP.Monads, FP |
| stateLensE | FP.Monads, FP |
| stateListCommute | FP.Monads, FP |
| stateListSetCommute | FP.Monads, FP |
| stateMaybeCommute | FP.Monads, FP |
| stateReaderCommute | FP.Monads, FP |
| stateRWSCommute | FP.Monads, FP |
| StateSpaceC | Lang.CPS.Semantics, Lang.CPS |
| StateT | |
| 1 (Type/Class) | FP.Core, FP |
| 2 (Data Constructor) | FP.Core, FP |
| stateWriterCommute | FP.Monads, FP |
| Store | Lang.CPS.StateSpace, Lang.CPS |
| String | FP.Core, FP |
| stripStampedFix | FP.Core, FP |
| StStateT | |
| 1 (Type/Class) | Lang.Lam.Passes, Lang.Lam |
| 2 (Data Constructor) | Lang.Lam.Passes, Lang.Lam |
| Sub1 | Lang.Common |
| Subtractive | FP.Core, FP |
| suc | FP.Core, FP |
| sumElim | FP.Core, FP |
| swap | FP.Core, FP |
| tail | FP.Core, FP |
| tell | FP.Core, FP |
| tellP | FP.Core, FP |
| testp0 | Lang.Lam.Parser, Lang.Lam |
| testp1 | Lang.Lam.Parser, Lang.Lam |
| Text | FP.Pretty |
| text | FP.Pretty |
| THApp | FP.TH |
| throw | FP.Core, FP |
| THTup | FP.TH |
| tick | MAAM.Time, MAAM |
| Time | MAAM.Time, MAAM |
| TimeC | Lang.CPS.Semantics, Lang.CPS |
| timeChoices | Lang.CPS.Analyses, Lang.CPS |
| TimeFilter | Lang.CPS.Semantics, Lang.CPS |
| timeFilterChoices | Lang.CPS.Analyses, Lang.CPS |
| ToChars | FP.Core, FP |
| toChars | FP.Core, FP |
| ToDouble | FP.Core, FP |
| toDouble | FP.Core, FP |
| ToInt | FP.Core, FP |
| toInt | FP.Core, FP |
| ToInteger | FP.Core, FP |
| toInteger | FP.Core, FP |
| Token | |
| 1 (Type/Class) | Lang.Lam.Parser, Lang.Lam |
| 2 (Data Constructor) | Lang.Lam.Parser, Lang.Lam |
| token | Lang.Lam.Parser, Lang.Lam |
| tokenize | FP.Parser |
| TokenType | Lang.Lam.Parser, Lang.Lam |
| tokenType | Lang.Lam.Parser, Lang.Lam |
| tokenVal | Lang.Lam.Parser, Lang.Lam |
| toList | FP.Core, FP |
| toListLike | FP.Core, FP |
| toMap | FP.Core, FP |
| top | FP.Core, FP |
| ToRational | FP.Core, FP |
| toRational | FP.Core, FP |
| toSet | FP.Core, FP |
| ToString | FP.Core, FP |
| toString | FP.Core, FP |
| transpose | FP.Core, FP |
| traverse | FP.Core, FP |
| traverseOn | FP.Core, FP |
| True | FP.Core, FP |
| TruncateDivisible | FP.Core, FP |
| tup | FP.TH |
| twoOrMore | FP.Core, FP |
| tyConIL | FP.TH |
| tyVarBndrName | FP.TH |
| tzero | MAAM.Time, MAAM |
| ulCode | FP.Console |
| uncons | FP.Core, FP |
| uncurry | FP.Core, FP |
| undefined | FP.Core, FP |
| underline | FP.Pretty |
| unDocM | FP.Pretty |
| unEndo | FP.Core, FP |
| UniMonad | Lang.CPS.Semantics, Lang.CPS |
| union | FP.Core, FP |
| uniques | FP.Core, FP |
| Unit | FP.Core, FP |
| unit | FP.Core, FP |
| Unit2 | FP.Core, FP |
| unit2 | FP.Core, FP |
| UniTime | Lang.CPS.Semantics, Lang.CPS |
| UniVal | Lang.CPS.Semantics, Lang.CPS |
| Universal | FP.Core, FP |
| unKleisliEndo | FP.Core, FP |
| unParser | FP.Parser |
| unReaderT | FP.Core, FP |
| unRWST | FP.Core, FP |
| unsafe_coerce | FP.Core, FP |
| unStateT | FP.Core, FP |
| unStStateT | Lang.Lam.Passes, Lang.Lam |
| unzip | FP.Core, FP |
| update | FP.Core, FP |
| updateM | FP.Core, FP |
| Val | Lang.CPS.StateSpace, Lang.CPS |
| ValC | Lang.CPS.Semantics, Lang.CPS |
| valChoices | Lang.CPS.Analyses, Lang.CPS |
| valOp | Lang.CPS.Semantics, Lang.CPS |
| Var | |
| 1 (Data Constructor) | Lang.CPS.Syntax, Lang.CPS |
| 2 (Data Constructor) | Lang.Lam.Syntax, Lang.Lam |
| var | Lang.CPS.Semantics, Lang.CPS |
| VarLam | |
| 1 (Type/Class) | Lang.Common |
| 2 (Data Constructor) | Lang.Common |
| view | FP.Core, FP |
| viewP | FP.Core, FP |
| void | FP.Core, FP |
| vsep | FP.Pretty |
| W | |
| 1 (Type/Class) | FP.Core, FP |
| 2 (Data Constructor) | FP.Core, FP |
| when | FP.Core, FP |
| whenBreak | FP.Pretty |
| whenFlat | FP.Pretty |
| whenNothing | FP.Core, FP |
| White | Lang.Lam.Parser, Lang.Lam |
| white | Lang.Lam.Parser, Lang.Lam |
| whitespaceFilter | Lang.Lam.Parser, Lang.Lam |
| with | FP.Core, FP |
| withC | FP.Core, FP |
| withOpaqueC | FP.Core, FP |
| withOptions | Examples |
| word | FP.Parser |
| writeFile | FP.IO, FP |
| writerCommute | FP.Monads, FP |
| writerE | FP.Core, FP |
| writerI | FP.Core, FP |
| writerMaybeCommute | FP.Monads, FP |
| writerReaderCommute | FP.Monads, FP |
| writerRWSCommute | FP.Monads, FP |
| writerStateCommute | FP.Monads, FP |
| WriterT | |
| 1 (Type/Class) | FP.Core, FP |
| 2 (Data Constructor) | FP.Core, FP |
| yesgc | Lang.CPS.Semantics, Lang.CPS |
| zer | FP.Core, FP |
| zero | FP.Core, FP |
| zip | FP.Core, FP |
| Zτ | |
| 1 (Type/Class) | MAAM.Time, MAAM |
| 2 (Data Constructor) | MAAM.Time, MAAM |
| \-\ | FP.Core, FP |
| \/ | FP.Core, FP |
| ^$ | FP.Core, FP |
| ^*$ | FP.Core, FP |
| ^*. | FP.Core, FP |
| ^*@ | FP.Core, FP |
| ^. | FP.Core, FP |
| ^..: | FP.Core, FP |
| ^.: | FP.Core, FP |
| ^@ | FP.Core, FP |
| ^^. | FP.Core, FP |
| |: | FP.Core, FP |
| || | FP.Core, FP |
| ~: | FP.Core, FP |
| ~> | FP.Core, FP |
| ~^ | FP.Core, FP |
| ~~> | FP.Core, FP |
| Ψ | Lang.CPS.Semantics, Lang.CPS |
| 𝒮 | |
| 1 (Type/Class) | Lang.CPS.StateSpace, Lang.CPS |
| 2 (Data Constructor) | Lang.CPS.StateSpace, Lang.CPS |
| 𝓈dτ | Lang.CPS.StateSpace, Lang.CPS |
| 𝓈dτL | Lang.CPS.StateSpace, Lang.CPS |
| 𝓈lτ | Lang.CPS.StateSpace, Lang.CPS |
| 𝓈lτL | Lang.CPS.StateSpace, Lang.CPS |
| 𝓈ρ | Lang.CPS.StateSpace, Lang.CPS |
| 𝓈ρL | Lang.CPS.StateSpace, Lang.CPS |
| 𝓈σ | Lang.CPS.StateSpace, Lang.CPS |
| 𝓈σL | Lang.CPS.StateSpace, Lang.CPS |