Hoogle Search

Within LTS Haskell 24.40 (ghc-9.10.3)

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

Exact lookup

1. DecidedStrict :: DecidedStrictness

   template-haskell	Language.Haskell.TH.Syntax

   Field inferred to have a bang.

2. data DecidedStrictness

   template-haskell	Language.Haskell.TH.Syntax

   Unlike SourceStrictness and SourceUnpackedness, DecidedStrictness refers to the strictness annotations that the compiler chooses for a data constructor field, which may be different from what is written in source code. Note that non-unpacked strict fields are assigned DecidedLazy when a bang would be inappropriate, such as the field of a newtype constructor and fields that have an unlifted type. See reifyConStrictness for more information.

3. DecidedUnpack :: DecidedStrictness

   template-haskell	Language.Haskell.TH.Syntax

   Field inferred to be unpacked.

4. ExplBidir :: [Clause] -> PatSynDir

   template-haskell	Language.Haskell.TH.Syntax

   pattern P x {<-} p where P x = e
   

5. ImplBidir :: PatSynDir

   template-haskell	Language.Haskell.TH.Syntax

   pattern P x {=} p
   

6. Unidir :: PatSynDir

   template-haskell	Language.Haskell.TH.Syntax

   pattern P x {<-} p
   

7. isValid :: FilePath -> Bool

   filepath	System.FilePath

   Is a FilePath valid, i.e. could you create a file like it? This function checks for invalid names, and invalid characters, but does not check if length limits are exceeded, as these are typically filesystem dependent.

   isValid "" == False
   isValid "\0" == False
   Posix:   isValid "/random_ path:*" == True
   Posix:   isValid x == not (null x)
   Windows: isValid "c:\\test" == True
   Windows: isValid "c:\\test:of_test" == False
   Windows: isValid "test*" == False
   Windows: isValid "c:\\test\\nul" == False
   Windows: isValid "c:\\test\\prn.txt" == False
   Windows: isValid "c:\\nul\\file" == False
   Windows: isValid "\\\\" == False
   Windows: isValid "\\\\\\foo" == False
   Windows: isValid "\\\\?\\D:file" == False
   Windows: isValid "foo\tbar" == False
   Windows: isValid "nul .txt" == False
   Windows: isValid " nul.txt" == True
   

8. makeValid :: FilePath -> FilePath

   filepath	System.FilePath

   Take a FilePath and make it valid; does not change already valid FILEPATHs.

   isValid (makeValid x)
   isValid x ==> makeValid x == x
   makeValid "" == "_"
   makeValid "file\0name" == "file_name"
   Windows: makeValid "c:\\already\\/valid" == "c:\\already\\/valid"
   Windows: makeValid "c:\\test:of_test" == "c:\\test_of_test"
   Windows: makeValid "test*" == "test_"
   Windows: makeValid "c:\\test\\nul" == "c:\\test\\nul_"
   Windows: makeValid "c:\\test\\prn.txt" == "c:\\test\\prn_.txt"
   Windows: makeValid "c:\\test/prn.txt" == "c:\\test/prn_.txt"
   Windows: makeValid "c:\\nul\\file" == "c:\\nul_\\file"
   Windows: makeValid "\\\\\\foo" == "\\\\drive"
   Windows: makeValid "\\\\?\\D:file" == "\\\\?\\D:\\file"
   Windows: makeValid "nul .txt" == "nul _.txt"
   

9. isValid :: FilePath -> Bool

   filepath	System.FilePath.Posix

   Is a FilePath valid, i.e. could you create a file like it? This function checks for invalid names, and invalid characters, but does not check if length limits are exceeded, as these are typically filesystem dependent.

   isValid "" == False
   isValid "\0" == False
   Posix:   isValid "/random_ path:*" == True
   Posix:   isValid x == not (null x)
   Windows: isValid "c:\\test" == True
   Windows: isValid "c:\\test:of_test" == False
   Windows: isValid "test*" == False
   Windows: isValid "c:\\test\\nul" == False
   Windows: isValid "c:\\test\\prn.txt" == False
   Windows: isValid "c:\\nul\\file" == False
   Windows: isValid "\\\\" == False
   Windows: isValid "\\\\\\foo" == False
   Windows: isValid "\\\\?\\D:file" == False
   Windows: isValid "foo\tbar" == False
   Windows: isValid "nul .txt" == False
   Windows: isValid " nul.txt" == True
   

10. makeValid :: FilePath -> FilePath

    filepath	System.FilePath.Posix

    Take a FilePath and make it valid; does not change already valid FILEPATHs.

    isValid (makeValid x)
    isValid x ==> makeValid x == x
    makeValid "" == "_"
    makeValid "file\0name" == "file_name"
    Windows: makeValid "c:\\already\\/valid" == "c:\\already\\/valid"
    Windows: makeValid "c:\\test:of_test" == "c:\\test_of_test"
    Windows: makeValid "test*" == "test_"
    Windows: makeValid "c:\\test\\nul" == "c:\\test\\nul_"
    Windows: makeValid "c:\\test\\prn.txt" == "c:\\test\\prn_.txt"
    Windows: makeValid "c:\\test/prn.txt" == "c:\\test/prn_.txt"
    Windows: makeValid "c:\\nul\\file" == "c:\\nul_\\file"
    Windows: makeValid "\\\\\\foo" == "\\\\drive"
    Windows: makeValid "\\\\?\\D:file" == "\\\\?\\D:\\file"
    Windows: makeValid "nul .txt" == "nul _.txt"
    

Page 377 of many | Previous | Next