Hoogle Search

Within LTS Haskell 24.6 (ghc-9.10.2)

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

Exact lookup

1. SetArchiveComment :: Text -> PendingAction

   zip	Codec.Archive.Zip.Internal

   Set the comment for the entire archive

2. SetEntryComment :: Text -> EntrySelector -> PendingAction

   zip	Codec.Archive.Zip.Internal

   Set the comment for a particular entry

3. SetExternalFileAttributes :: Word32 -> EntrySelector -> PendingAction

   zip	Codec.Archive.Zip.Internal

   Set an external file attribute for the specified entry

4. SetModTime :: UTCTime -> EntrySelector -> PendingAction

   zip	Codec.Archive.Zip.Internal

   Set the modification time of a particular entry

5. module Agda.Setup

   Agda's self-setup.

6. class HasRange a => SetRange a

   Agda	Agda.Syntax.Position

   If it is also possible to set the range, this is the class. Instances should satisfy getRange (setRange r x) == r.

7. SetS :: Term -> Sort

   Agda	Agda.Syntax.Reflected

   No documentation available.

8. class SetBindingSite a

   Agda	Agda.Syntax.Scope.Base

   Set the nameBindingSite in an abstract name.

9. SetRange :: Range -> Call

   Agda	Agda.TypeChecking.Monad.Base

   used by setCurrentRange

10. class SetToInfty f a

    Agda	Agda.TypeChecking.SizedTypes.WarshallSolver

    No documentation available.

Page 57 of many | Previous | Next