Plan 9 from Bell Labs’s /usr/web/sources/contrib/fernan/nhc98/include/packages/filepath/System/FilePath.hi

Copyright © 2021 Plan 9 Foundation.
Distributed under the MIT License.
Download the Plan 9 distribution.


interface System.FilePath where {
infixr  7 System.FilePath.Posix.<.>;
infixr  5 System.FilePath.Posix.</>;

{-# NEED #-}
instance Prelude.Functor NHC.Internal.IO;

{-# NEED #-}
instance Prelude.Monad NHC.Internal.IO;

{-# NEED #-}
instance (Prelude.Integral a) => Prelude.Fractional (Ratio.Ratio a);

{-# NEED #-}
instance (Prelude.Integral a) => Prelude.Num (Ratio.Ratio a);

{-# NEED #-}
instance (Prelude.Integral a) => Prelude.Real (Ratio.Ratio a);

{-# NEED #-}
instance (Prelude.Integral a) => Prelude.RealFrac (Ratio.Ratio a);

{-# NEED #-}
instance (Prelude.Integral a) => Prelude.Enum (Ratio.Ratio a);

{-# NEED #-}
instance (Prelude.Read a,Prelude.Integral a) => Prelude.Read (Ratio.Ratio a);

{-# NEED #-}
instance (Prelude.Integral a) => Prelude.Eq (Ratio.Ratio a);

{-# NEED #-}
instance (Prelude.Integral a) => Prelude.Ord (Ratio.Ratio a);

{-# NEED #-}
instance (Prelude.Show a) => Prelude.Show (NHC.Internal.IO a);

{-# NEED #-}
instance (Prelude.Integral a) => Prelude.Show (Ratio.Ratio a);
interface Ratio
{-# NEED Ratio #-}
data Ratio a;
interface ! System.FilePath.Posix
{-# NEED pathSeparator #-}
pathSeparator{-# 0 #-}::Prelude.Char;

{-# NEED pathSeparators #-}
pathSeparators{-# 0 #-}::[Prelude.Char];

{-# NEED isPathSeparator #-}
isPathSeparator{-# 0 #-}::(Prelude.Char -> Prelude.Bool);

{-# NEED searchPathSeparator #-}
searchPathSeparator{-# 0 #-}::Prelude.Char;

{-# NEED isSearchPathSeparator #-}
isSearchPathSeparator{-# 0 #-}::(Prelude.Char -> Prelude.Bool);

{-# NEED extSeparator #-}
extSeparator{-# 0 #-}::Prelude.Char;

{-# NEED isExtSeparator #-}
isExtSeparator{-# 0 #-}::(Prelude.Char -> Prelude.Bool);

{-# NEED splitSearchPath #-}
splitSearchPath{-# 0 #-}::(Prelude.String -> [Prelude.FilePath]);

{-# NEED getSearchPath #-}
getSearchPath{-# 0 #-}::(NHC.Internal.IO [Prelude.FilePath]);
interface NHC.Internal
{-# NEED IO #-}
newtype {-#  #-} IO;

{-# NEED World #-}
data World;
interface ! System.FilePath.Posix
{-# NEED splitExtension #-}
splitExtension{-# 1 #-}::(Prelude.FilePath -> (Prelude.String,Prelude.String));

{-# NEED takeExtension #-}
takeExtension{-# 0 #-}::(Prelude.FilePath -> Prelude.String);

{-# NEED replaceExtension #-}
replaceExtension{-# 2 #-}::(Prelude.FilePath -> (Prelude.String -> Prelude.FilePath));

{-# NEED (<.>) #-}
(<.>){-# 0 #-}::(Prelude.FilePath -> (Prelude.String -> Prelude.FilePath));

{-# NEED dropExtension #-}
dropExtension{-# 0 #-}::(Prelude.FilePath -> Prelude.FilePath);

{-# NEED addExtension #-}
addExtension{-# 2 #-}::(Prelude.FilePath -> (Prelude.String -> Prelude.FilePath));

{-# NEED hasExtension #-}
hasExtension{-# 0 #-}::(Prelude.FilePath -> Prelude.Bool);

{-# NEED splitExtensions #-}
splitExtensions{-# 1 #-}::(Prelude.FilePath -> (Prelude.FilePath,Prelude.String));

{-# NEED dropExtensions #-}
dropExtensions{-# 0 #-}::(Prelude.FilePath -> Prelude.FilePath);

{-# NEED takeExtensions #-}
takeExtensions{-# 0 #-}::(Prelude.FilePath -> Prelude.String);

{-# NEED splitDrive #-}
splitDrive{-# 1 #-}::(Prelude.FilePath -> (Prelude.FilePath,Prelude.FilePath));

{-# NEED joinDrive #-}
joinDrive{-# 2 #-}::(Prelude.FilePath -> (Prelude.FilePath -> Prelude.FilePath));

{-# NEED takeDrive #-}
takeDrive{-# 0 #-}::(Prelude.FilePath -> Prelude.FilePath);

{-# NEED dropDrive #-}
dropDrive{-# 0 #-}::(Prelude.FilePath -> Prelude.FilePath);

{-# NEED hasDrive #-}
hasDrive{-# 0 #-}::(Prelude.FilePath -> Prelude.Bool);

{-# NEED isDrive #-}
isDrive{-# 0 #-}::(Prelude.FilePath -> Prelude.Bool);

{-# NEED splitFileName #-}
splitFileName{-# 1 #-}::(Prelude.FilePath -> (Prelude.String,Prelude.String));

{-# NEED replaceFileName #-}
replaceFileName{-# 2 #-}::(Prelude.FilePath -> (Prelude.String -> Prelude.FilePath));

{-# NEED dropFileName #-}
dropFileName{-# 0 #-}::(Prelude.FilePath -> Prelude.FilePath);

{-# NEED takeFileName #-}
takeFileName{-# 0 #-}::(Prelude.FilePath -> Prelude.FilePath);

{-# NEED takeBaseName #-}
takeBaseName{-# 0 #-}::(Prelude.FilePath -> Prelude.String);

{-# NEED replaceBaseName #-}
replaceBaseName{-# 2 #-}::(Prelude.FilePath -> (Prelude.String -> Prelude.FilePath));

{-# NEED hasTrailingPathSeparator #-}
hasTrailingPathSeparator{-# 1 #-}::(Prelude.FilePath -> Prelude.Bool);

{-# NEED addTrailingPathSeparator #-}
addTrailingPathSeparator{-# 1 #-}::(Prelude.FilePath -> Prelude.FilePath);

{-# NEED dropTrailingPathSeparator #-}
dropTrailingPathSeparator{-# 1 #-}::(Prelude.FilePath -> Prelude.FilePath);

{-# NEED takeDirectory #-}
takeDirectory{-# 1 #-}::(Prelude.FilePath -> Prelude.FilePath);

{-# NEED replaceDirectory #-}
replaceDirectory{-# 2 #-}::(Prelude.FilePath -> (Prelude.String -> Prelude.FilePath));

{-# NEED combine #-}
combine{-# 2 #-}::(Prelude.FilePath -> (Prelude.FilePath -> Prelude.FilePath));

{-# NEED (</>) #-}
(</>){-# 0 #-}::(Prelude.FilePath -> (Prelude.FilePath -> Prelude.FilePath));

{-# NEED splitPath #-}
splitPath{-# 1 #-}::(Prelude.FilePath -> [Prelude.FilePath]);

{-# NEED splitDirectories #-}
splitDirectories{-# 1 #-}::(Prelude.FilePath -> [Prelude.FilePath]);

{-# NEED joinPath #-}
joinPath{-# 1 #-}::([Prelude.FilePath] -> Prelude.FilePath);

{-# NEED equalFilePath #-}
equalFilePath{-# 2 #-}::(Prelude.FilePath -> (Prelude.FilePath -> Prelude.Bool));

{-# NEED makeRelative #-}
makeRelative{-# 2 #-}::(Prelude.FilePath -> (Prelude.FilePath -> Prelude.FilePath));

{-# NEED normalise #-}
normalise{-# 1 #-}::(Prelude.FilePath -> Prelude.FilePath);

{-# NEED isValid #-}
isValid{-# 1 #-}::(Prelude.FilePath -> Prelude.Bool);

{-# NEED makeValid #-}
makeValid{-# 1 #-}::(Prelude.FilePath -> Prelude.FilePath);

{-# NEED isRelative #-}
isRelative{-# 0 #-}::(Prelude.FilePath -> Prelude.Bool);

{-# NEED isAbsolute #-}
isAbsolute{-# 0 #-}::(Prelude.FilePath -> Prelude.Bool);
interface ! Prelude
{-# NEED FilePath #-}
type {-# 2 #-} FilePath = String;
}

Bell Labs OSI certified Powered by Plan 9

(Return to Plan 9 Home Page)

Copyright © 2021 Plan 9 Foundation. All Rights Reserved.
Comments to webmaster@9p.io.