Qualified | Tip.Haskell.Translate |
QualImport | Tip.Haskell.Repr |
qual_func | Tip.Haskell.Translate |
qual_module | Tip.Haskell.Translate |
qual_module_short | Tip.Haskell.Translate |
Quant | |
1 (Type/Class) | Tip.Types, Tip.Core |
2 (Data Constructor) | Tip.Types, Tip.Core |
QuantIH | Tip.Types, Tip.Core |
QuantInfo | Tip.Types, Tip.Core |
QuickCheck | Tip.Haskell.Translate, Tip.Pretty.Haskell |
quickCheck | Tip.Haskell.Translate |
quickCheckAll | Tip.Haskell.Translate |
quickCheckUnsafe | Tip.Haskell.Translate |
QuickSpec | Tip.Haskell.Translate, Tip.Pretty.Haskell |
quickSpec | Tip.Haskell.Translate |
quote | Tip.Pretty.Isabelle |
QuoteName | Tip.Haskell.Repr |
QuoteTyCon | Tip.Haskell.Repr |
quoteWhen | Tip.Pretty.Isabelle |