Hoogle Search

Within LTS Haskell 24.52 (ghc-9.10.3)

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

  1. PAnd :: [Pred] -> Pred

    liquid-fixpoint Language.Fixpoint.Horn.Types

    p1 ... pn

  2. data Pred

    liquid-fixpoint Language.Fixpoint.Horn.Types

    HPred is a Horn predicate that appears as LHS (body) or RHS (head) of constraints

  3. module Language.Fixpoint.Parse

    No documentation available.

  4. type PState = PStateV Symbol

    liquid-fixpoint Language.Fixpoint.Parse

    No documentation available.

  5. PState :: OpTable v -> [Fixity v] -> Maybe (Located () -> ExprV v) -> Maybe (Located () -> ExprV v -> ExprV v) -> Integer -> LayoutStack -> !HashSet Symbol -> PStateV v

    liquid-fixpoint Language.Fixpoint.Parse

    No documentation available.

  6. data PStateV v

    liquid-fixpoint Language.Fixpoint.Parse

    The parser state. We keep track of the fixities of infix operators. We also keep track of whether empty list and singleton lists syntax is allowed (and how they are to be interpreted, if they are). We also keep track of an integer counter that can be used to supply unique integers during the parsing process. Finally, we keep track of the layout stack.

  7. class (Fixpoint v, Ord v) => ParseableV v

    liquid-fixpoint Language.Fixpoint.Parse

    A class to parse symbols liquid-fixpoint parses Symbol and LiquidHaskell instantiates this to LocSymbol for more precise error messages. If liquid-fixpoint is adapted to parse names as LocSymbol as well, this class can be eliminated.

  8. type Parser = ParserV Symbol

    liquid-fixpoint Language.Fixpoint.Parse

    No documentation available.

  9. type ParserV v = StateT PStateV v Parsec Void String

    liquid-fixpoint Language.Fixpoint.Parse

    No documentation available.

  10. Pop :: Command

    liquid-fixpoint Language.Fixpoint.Smt.Interface

    No documentation available.

Page 950 of many | Previous | Next