| Active | Hardware.KansasLava.SevenSegment, Hardware.KansasLava.Boards.Papilio.LogicStart |
| ActiveHigh | Hardware.KansasLava.SevenSegment, Hardware.KansasLava.Boards.Papilio.LogicStart |
| ActiveLow | Hardware.KansasLava.SevenSegment, Hardware.KansasLava.Boards.Papilio.LogicStart |
| Arcade | Hardware.KansasLava.Boards.Papilio.Arcade |
| board_init | Hardware.KansasLava.Boards.Papilio, Hardware.KansasLava.Boards.Papilio.LogicStart, Hardware.KansasLava.Boards.Papilio.Arcade |
| buttonCenter | Hardware.KansasLava.Boards.Papilio.LogicStart |
| buttonDown | |
| 1 (Function) | Hardware.KansasLava.Boards.Papilio.LogicStart |
| 2 (Function) | Hardware.KansasLava.Boards.Papilio.Arcade |
| buttonLeft | |
| 1 (Function) | Hardware.KansasLava.Boards.Papilio.LogicStart |
| 2 (Function) | Hardware.KansasLava.Boards.Papilio.Arcade |
| buttonRight | |
| 1 (Function) | Hardware.KansasLava.Boards.Papilio.LogicStart |
| 2 (Function) | Hardware.KansasLava.Boards.Papilio.Arcade |
| Buttons | |
| 1 (Type/Class) | Hardware.KansasLava.Boards.Papilio.LogicStart |
| 2 (Data Constructor) | Hardware.KansasLava.Boards.Papilio.LogicStart |
| 3 (Type/Class) | Hardware.KansasLava.Boards.Papilio.Arcade |
| 4 (Data Constructor) | Hardware.KansasLava.Boards.Papilio.Arcade |
| buttons | |
| 1 (Function) | Hardware.KansasLava.Boards.Papilio.LogicStart |
| 2 (Function) | Hardware.KansasLava.Boards.Papilio.Arcade |
| buttonUp | |
| 1 (Function) | Hardware.KansasLava.Boards.Papilio.LogicStart |
| 2 (Function) | Hardware.KansasLava.Boards.Papilio.Arcade |
| clockRate | Hardware.KansasLava.Boards.Papilio, Hardware.KansasLava.Boards.Papilio.LogicStart, Hardware.KansasLava.Boards.Papilio.Arcade |
| counter | Language.KansasLava.Signal.Utils |
| dcm | Hardware.KansasLava.Xilinx.DCM |
| debounce | Language.KansasLava.Signal.Utils |
| decodePS2 | Hardware.KansasLava.PS2 |
| divideClk | Language.KansasLava.Signal.Utils |
| driveSS | Hardware.KansasLava.SevenSegment |
| driveSS_ | Hardware.KansasLava.SevenSegment |
| driveVGA | Hardware.KansasLava.VGA.Driver |
| encodeHexSS | Hardware.KansasLava.SevenSegment |
| encodeVGA | Hardware.KansasLava.VGA |
| fromUnsigned | Language.KansasLava.Signal.Utils |
| leds | |
| 1 (Function) | Hardware.KansasLava.Boards.Papilio.LogicStart |
| 2 (Function) | Hardware.KansasLava.Boards.Papilio.Arcade |
| ledsP | Hardware.KansasLava.Boards.Papilio.LogicStart |
| LogicStart | Hardware.KansasLava.Boards.Papilio.LogicStart |
| Model | Hardware.KansasLava.Boards.Papilio, Hardware.KansasLava.Boards.Papilio.LogicStart, Hardware.KansasLava.Boards.Papilio.Arcade |
| nary | Language.KansasLava.Signal.Utils |
| Papilio | Hardware.KansasLava.Boards.Papilio |
| PapilioOne | Hardware.KansasLava.Boards.Papilio, Hardware.KansasLava.Boards.Papilio.LogicStart, Hardware.KansasLava.Boards.Papilio.Arcade |
| PapilioPro | Hardware.KansasLava.Boards.Papilio, Hardware.KansasLava.Boards.Papilio.LogicStart, Hardware.KansasLava.Boards.Papilio.Arcade |
| parity | Language.KansasLava.Signal.Utils |
| post | Hardware.KansasLava.VGA.Driver |
| pre | Hardware.KansasLava.VGA.Driver |
| PS2 | |
| 1 (Type/Class) | Hardware.KansasLava.PS2, Hardware.KansasLava.Boards.Papilio.Arcade |
| 2 (Data Constructor) | Hardware.KansasLava.PS2, Hardware.KansasLava.Boards.Papilio.Arcade |
| ps2 | Hardware.KansasLava.Boards.Papilio.Arcade |
| ps2Clock | Hardware.KansasLava.PS2, Hardware.KansasLava.Boards.Papilio.Arcade |
| ps2Data | Hardware.KansasLava.PS2, Hardware.KansasLava.Boards.Papilio.Arcade |
| RawVGA | |
| 1 (Type/Class) | Hardware.KansasLava.VGA, Hardware.KansasLava.Boards.Papilio.Arcade |
| 2 (Data Constructor) | Hardware.KansasLava.VGA, Hardware.KansasLava.Boards.Papilio.Arcade |
| resetButton | Hardware.KansasLava.Boards.Papilio.Arcade |
| rotatorL | Language.KansasLava.Signal.Utils |
| samplePS2 | Hardware.KansasLava.PS2 |
| SevenSegment | |
| 1 (Type/Class) | Hardware.KansasLava.SevenSegment, Hardware.KansasLava.Boards.Papilio.LogicStart |
| 2 (Data Constructor) | Hardware.KansasLava.SevenSegment, Hardware.KansasLava.Boards.Papilio.LogicStart |
| showSS | Hardware.KansasLava.SevenSegment |
| splitByte | Language.KansasLava.Signal.Utils |
| ssAnodes | Hardware.KansasLava.SevenSegment, Hardware.KansasLava.Boards.Papilio.LogicStart |
| ssDecimalPoint | Hardware.KansasLava.SevenSegment, Hardware.KansasLava.Boards.Papilio.LogicStart |
| sseg | Hardware.KansasLava.Boards.Papilio.LogicStart |
| ssSegments | Hardware.KansasLava.SevenSegment, Hardware.KansasLava.Boards.Papilio.LogicStart |
| switches | Hardware.KansasLava.Boards.Papilio.LogicStart |
| switchesP | Hardware.KansasLava.Boards.Papilio.LogicStart |
| syncPulse | Hardware.KansasLava.VGA.Driver |
| tickTock | Hardware.KansasLava.Boards.Papilio |
| toUCF | |
| 1 (Function) | Hardware.KansasLava.Boards.Papilio.UCF |
| 2 (Function) | Hardware.KansasLava.Boards.Papilio.LogicStart |
| 3 (Function) | Hardware.KansasLava.Boards.Papilio.Arcade |
| toUnsigned | Language.KansasLava.Signal.Utils |
| VGA | |
| 1 (Type/Class) | Hardware.KansasLava.VGA, Hardware.KansasLava.Boards.Papilio.LogicStart |
| 2 (Data Constructor) | Hardware.KansasLava.VGA, Hardware.KansasLava.Boards.Papilio.LogicStart |
| vga | |
| 1 (Function) | Hardware.KansasLava.Boards.Papilio.LogicStart |
| 2 (Function) | Hardware.KansasLava.Boards.Papilio.Arcade |
| vga640x480at60 | Hardware.KansasLava.VGA.Driver |
| vga800x600at60 | Hardware.KansasLava.VGA.Driver |
| vga800x600at72 | Hardware.KansasLava.VGA.Driver |
| vgaB | Hardware.KansasLava.VGA, Hardware.KansasLava.Boards.Papilio.LogicStart |
| VGADriverIn | |
| 1 (Type/Class) | Hardware.KansasLava.VGA.Driver |
| 2 (Data Constructor) | Hardware.KansasLava.VGA.Driver |
| VGADriverOut | |
| 1 (Type/Class) | Hardware.KansasLava.VGA.Driver |
| 2 (Data Constructor) | Hardware.KansasLava.VGA.Driver |
| vgaG | Hardware.KansasLava.VGA, Hardware.KansasLava.Boards.Papilio.LogicStart |
| vgaHorizTiming | Hardware.KansasLava.VGA.Driver |
| vgaHSync | Hardware.KansasLava.VGA, Hardware.KansasLava.Boards.Papilio.LogicStart |
| vgaInB | Hardware.KansasLava.VGA.Driver |
| vgaInG | Hardware.KansasLava.VGA.Driver |
| vgaInR | Hardware.KansasLava.VGA.Driver |
| vgaOut | Hardware.KansasLava.VGA.Driver |
| vgaOutClkPhase | Hardware.KansasLava.VGA.Driver |
| vgaOutVBlank | Hardware.KansasLava.VGA.Driver |
| vgaOutX | Hardware.KansasLava.VGA.Driver |
| vgaOutY | Hardware.KansasLava.VGA.Driver |
| VGAParams | |
| 1 (Type/Class) | Hardware.KansasLava.VGA.Driver |
| 2 (Data Constructor) | Hardware.KansasLava.VGA.Driver |
| vgaR | Hardware.KansasLava.VGA, Hardware.KansasLava.Boards.Papilio.LogicStart |
| vgaRawB | Hardware.KansasLava.VGA, Hardware.KansasLava.Boards.Papilio.Arcade |
| vgaRawG | Hardware.KansasLava.VGA, Hardware.KansasLava.Boards.Papilio.Arcade |
| vgaRawHSync | Hardware.KansasLava.VGA, Hardware.KansasLava.Boards.Papilio.Arcade |
| vgaRawR | Hardware.KansasLava.VGA, Hardware.KansasLava.Boards.Papilio.Arcade |
| vgaRawVSync | Hardware.KansasLava.VGA, Hardware.KansasLava.Boards.Papilio.Arcade |
| VGATiming | |
| 1 (Type/Class) | Hardware.KansasLava.VGA.Driver |
| 2 (Data Constructor) | Hardware.KansasLava.VGA.Driver |
| vgaVertTiming | Hardware.KansasLava.VGA.Driver |
| vgaVSync | Hardware.KansasLava.VGA, Hardware.KansasLava.Boards.Papilio.LogicStart |
| visibleSize | Hardware.KansasLava.VGA.Driver |
| whenEnabled | Language.KansasLava.Signal.Utils |
| wing_init | Hardware.KansasLava.Boards.Papilio.Arcade |