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. type PositionWithoutFile = Position' ()

    Agda Agda.Syntax.Position

    No documentation available.

  2. newtype PrintRange a

    Agda Agda.Syntax.Position

    Wrapper to indicate that range should be printed.

  3. PrintRange :: a -> PrintRange a

    Agda Agda.Syntax.Position

    No documentation available.

  4. data Pattern

    Agda Agda.Syntax.Reflected

    No documentation available.

  5. Pi :: Dom Type -> Abs Type -> Term

    Agda Agda.Syntax.Reflected

    No documentation available.

  6. Primitive :: Definition

    Agda Agda.Syntax.Reflected

    No documentation available.

  7. ProjP :: QName -> Pattern

    Agda Agda.Syntax.Reflected

    No documentation available.

  8. PropLitS :: Integer -> Sort

    Agda Agda.Syntax.Reflected

    No documentation available.

  9. PropS :: Term -> Sort

    Agda Agda.Syntax.Reflected

    No documentation available.

  10. PatternBound :: Hiding -> BindingSource

    Agda Agda.Syntax.Scope.Base

    f ... =. Remember Hiding for pattern variables {x} and {{x}}. This information is only used for checking pattern synonyms. It is not serialized.

Page 1132 of many | Previous | Next