Hoogle Search

Within LTS Haskell 24.38 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. equisizedCols :: RenderConfig -> Bool

   kvitable	Data.KVITable.Render

   True (default) to maintain a consistent column width, otherwise the columns are shunk to the minimum size needed to display the title and values. Not applicable for some backends (e.g. HTML) where the backend provides table rendering functionality.

2. equisizedCols :: RenderConfig -> Bool

   kvitable	Data.KVITable.Render.ASCII

   True (default) to maintain a consistent column width, otherwise the columns are shunk to the minimum size needed to display the title and values. Not applicable for some backends (e.g. HTML) where the backend provides table rendering functionality.

3. equisizedCols :: RenderConfig -> Bool

   kvitable	Data.KVITable.Render.HTML

   True (default) to maintain a consistent column width, otherwise the columns are shunk to the minimum size needed to display the title and values. Not applicable for some backends (e.g. HTML) where the backend provides table rendering functionality.

4. eqArgs :: EquationV v -> [(Symbol, Sort)]

   liquid-fixpoint	Language.Fixpoint.Types.Constraints

   names of parameters

5. eqBody :: EquationV v -> !ExprV v

   liquid-fixpoint	Language.Fixpoint.Types.Constraints

   definition of body

6. eqName :: EquationV v -> !Symbol

   liquid-fixpoint	Language.Fixpoint.Types.Constraints

   name of reflected function

7. eqRec :: EquationV v -> !Bool

   liquid-fixpoint	Language.Fixpoint.Types.Constraints

   is this a recursive definition

8. eqSort :: EquationV v -> !Sort

   liquid-fixpoint	Language.Fixpoint.Types.Constraints

   sort of body

9. eQual :: Qualifier -> [Symbol] -> EQual

   liquid-fixpoint	Language.Fixpoint.Types.Solutions

   No documentation available.

10. eqPred :: EQual -> !Expr

    liquid-fixpoint	Language.Fixpoint.Types.Solutions

    No documentation available.

Page 115 of many | Previous | Next