Hoogle Search

Within LTS Haskell 24.32 (ghc-9.10.3)

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

  1. tmSSort :: Term -> Sort

    Agda Agda.Syntax.Internal

    No documentation available.

  2. tmSort :: Term -> Sort

    Agda Agda.Syntax.Internal

    No documentation available.

  3. varSort :: Int -> Sort

    Agda Agda.Syntax.Internal

    No documentation available.

  4. data RHSOrTypeSigs

    Agda Agda.Syntax.Parser.Helpers

    No documentation available.

  5. TSort :: TTerm

    Agda Agda.Syntax.Treeless

    No documentation available.

  6. compareSort :: MonadConversion m => Comparison -> Sort -> Sort -> m ()

    Agda Agda.TypeChecking.Conversion

    No documentation available.

  7. equalSort :: MonadConversion m => Sort -> Sort -> m ()

    Agda Agda.TypeChecking.Conversion

    Check that the first sort equal to the second.

  8. leqSort :: MonadConversion m => Sort -> Sort -> m ()

    Agda Agda.TypeChecking.Conversion

    Check that the first sort is less or equal to the second. We can put SizeUniv below Inf, but otherwise, it is unrelated to the other universes.

  9. data IgnoreSorts

    Agda Agda.TypeChecking.Free

    Where should we skip sorts in free variable analysis?

  10. freeInIgnoringSorts :: Free a => Nat -> a -> Bool

    Agda Agda.TypeChecking.Free

    No documentation available.

Page 169 of many | Previous | Next