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. setTreeless :: QName -> TTerm -> TCM ()

    Agda Agda.TypeChecking.Monad.Signature

    No documentation available.

  2. setInteractionOutputCallback :: InteractionOutputCallback -> TCM ()

    Agda Agda.TypeChecking.Monad.State

    No documentation available.

  3. setMatchableSymbols :: QName -> [QName] -> Signature -> Signature

    Agda Agda.TypeChecking.Monad.State

    No documentation available.

  4. setPatternSyns :: PatternSynDefns -> TCM ()

    Agda Agda.TypeChecking.Monad.State

    No documentation available.

  5. setScope :: ScopeInfo -> TCM ()

    Agda Agda.TypeChecking.Monad.State

    Set the current scope.

  6. setSignature :: MonadTCState m => Signature -> m ()

    Agda Agda.TypeChecking.Monad.State

    No documentation available.

  7. setTopLevelModule :: TopLevelModuleName -> TCM ()

    Agda Agda.TypeChecking.Monad.State

    Set the top-level module. This affects the global module id of freshly generated names.

  8. setCurrentRange :: (MonadTrace m, HasRange x) => x -> m a -> m a

    Agda Agda.TypeChecking.Monad.Trace

    Sets the current range (for error messages etc.) to the range of the given object, if it has a range (i.e., its range is not noRange).

  9. setDebugging :: Bool -> IO ()

    Agda Agda.TypeChecking.SizedTypes.Utils

    No documentation available.

  10. setFoldl :: (b -> a -> b) -> b -> Set a -> b

    Agda Agda.TypeChecking.SizedTypes.WarshallSolver

    Set.foldl does not exist in legacy versions of the containers package.

Page 755 of many | Previous | Next