Index - W
| Warning | FreeC.Monad.Reporter |
| WarningOnImport | FreeC.Backend.Agda.Syntax |
| WarningOnUsage | FreeC.Backend.Agda.Syntax |
| WFOrder | FreeC.Backend.Coq.Syntax |
| WHERE | FreeC.Frontend.IR.Token |
| WhereClause | FreeC.Backend.Agda.Syntax |
| WhereClause' | FreeC.Backend.Agda.Syntax |
| whHiding | FreeC.Backend.Agda.Syntax |
| whThing | FreeC.Backend.Agda.Syntax |
| width | FreeC.Pretty |
| WildHole | FreeC.Backend.Agda.Syntax |
| WildP | FreeC.Backend.Agda.Syntax |
| WithApp | FreeC.Backend.Agda.Syntax |
| withArgsFrom | FreeC.Backend.Agda.Syntax |
| WithExpr | FreeC.Backend.Agda.Syntax |
| WithHiding | |
| 1 (Type/Class) | FreeC.Backend.Agda.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| withNamedArgsFrom | FreeC.Backend.Agda.Syntax |
| WithOrigin | |
| 1 (Type/Class) | FreeC.Backend.Agda.Syntax |
| 2 (Data Constructor) | FreeC.Backend.Agda.Syntax |
| WithP | FreeC.Backend.Agda.Syntax |
| withRangeOf | FreeC.Backend.Agda.Syntax |
| woOrigin | FreeC.Backend.Agda.Syntax |
| woThing | FreeC.Backend.Agda.Syntax |
| writeModuleInterface | FreeC.Environment.ModuleInterface.Encoder |
| writePrettyFile | FreeC.Pretty |