Hoogle Search

Within LTS Haskell 24.25 (ghc-9.10.3)

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

  1. replInteractor :: Maybe AbsolutePath -> Interactor ()

    Agda Agda.Main

    The (deprecated) repl mode.

  2. newInteractionMetaArg :: ArgInfo -> ArgName -> Comparison -> Type -> TCM (MetaId, Term)

    Agda Agda.TypeChecking.Implicit

    Create a questionmark (always UnificationMeta).

  3. isInteractionMetaB :: (ReadTCState m, MonadReduce m, MonadPretty m) => MetaId -> Args -> m (Maybe (MetaId, InteractionId, Args))

    Agda Agda.TypeChecking.MetaVars

    Is the given metavariable application secretly an interaction point application? Ugly.

  4. NoActionForInteractionPoint :: InteractionId -> InteractionError

    Agda Agda.TypeChecking.Monad.Base

    Interaction point has not been reached during type checking.

  5. NoSuchInteractionPoint :: InteractionId -> InteractionError

    Agda Agda.TypeChecking.Monad.Base

    InteractionId does not resolve to an InteractionPoint.

  6. UnsolvedInteractionMetas :: Set1 Range -> Warning

    Agda Agda.TypeChecking.Monad.Base

    Do not use directly with warning

  7. defaultInteractionOutputCallback :: InteractionOutputCallback

    Agda Agda.TypeChecking.Monad.Base

    The default InteractionOutputCallback function prints certain things to stdout (other things generate internal errors).

  8. lensFreshInteractionId :: Lens' PreScopeState InteractionId

    Agda Agda.TypeChecking.Monad.Base

    No documentation available.

  9. lensInteractionPoints :: Lens' PostScopeState InteractionPoints

    Agda Agda.TypeChecking.Monad.Base

    No documentation available.

  10. stFreshInteractionId :: Lens' TCState InteractionId

    Agda Agda.TypeChecking.Monad.Base

    No documentation available.

Page 32 of many | Previous | Next