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. PureConversionT :: ExceptT TCErr (StateT FreshThings m) a -> PureConversionT (m :: Type -> Type) a

    Agda Agda.TypeChecking.Conversion.Pure

    No documentation available.

  2. PiK :: Hiding -> Key

    Agda Agda.TypeChecking.DiscrimTree.Types

    Dependent function types. The domain will be represented accurately, for the case of a genuine dependent function type, the codomain will be a dummy.

  3. module Agda.TypeChecking.Free.Precompute

    Precompute free variables in a term (and store in ArgInfo).

  4. class PrecomputeFreeVars a

    Agda Agda.TypeChecking.Free.Precompute

    No documentation available.

  5. ProjVar :: ProjectedVar -> InvertExcept

    Agda Agda.TypeChecking.MetaVars

    Try to eta-expand var to remove projs.

  6. data PruneResult

    Agda Agda.TypeChecking.MetaVars.Occurs

    No documentation available.

  7. PrunedEverything :: PruneResult

    Agda Agda.TypeChecking.MetaVars.Occurs

    all prescribed kills where performed

  8. PrunedNothing :: PruneResult

    Agda Agda.TypeChecking.MetaVars.Occurs

    there is no possible kill (because of type dep.)

  9. PrunedSomething :: PruneResult

    Agda Agda.TypeChecking.MetaVars.Occurs

    managed to kill some args in the list

  10. PBoundVar :: Int -> PElims -> NLPat

    Agda Agda.TypeChecking.Monad.Base

    Matches x es where x is a lambda-bound variable

Page 1136 of many | Previous | Next