Copyright	(c) Sergey Vinokurov 2024
License	Apache-2.0 (see LICENSE)
Maintainer	[email protected]
Safe Haskell	None
Language	Haskell2010

System.Directory.OsPath.Types

Description

Synopsis

data SymlinkType
- = Regular
- | Symlink
data FileType
- = File !SymlinkType
- | Directory !SymlinkType
- | Other !SymlinkType
newtype Basename a = Basename {
- unBasename :: a
}
newtype Relative a = Relative {
- unRelative :: a
}

Documentation

data SymlinkType Source #

Constructors

Regular
Symlink

Instances

Instances details

Generic SymlinkType Source #

Instance details

Defined in System.Directory.OsPath.Types

Associated Types

type Rep SymlinkType
Instance details Defined in System.Directory.OsPath.Types type Rep SymlinkType = D1 ('MetaData "SymlinkType" "System.Directory.OsPath.Types" "directory-ospath-streaming-0.3-FcpYLoE7KT5C5PlPTFRXlJ" 'False) (C1 ('MetaCons "Regular" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Symlink" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: SymlinkType -> Rep SymlinkType x #

to :: Rep SymlinkType x -> SymlinkType #

Read SymlinkType Source #

Instance details

Defined in System.Directory.OsPath.Types

Methods

readsPrec :: Int -> ReadS SymlinkType #

readList :: ReadS [SymlinkType] #

readPrec :: ReadPrec SymlinkType #

readListPrec :: ReadPrec [SymlinkType] #

Show SymlinkType Source #

Instance details

Defined in System.Directory.OsPath.Types

Methods

showsPrec :: Int -> SymlinkType -> ShowS #

show :: SymlinkType -> String #

showList :: [SymlinkType] -> ShowS #

NFData SymlinkType Source #

Instance details

Defined in System.Directory.OsPath.Types

Methods

rnf :: SymlinkType -> () #

Eq SymlinkType Source #

Instance details

Defined in System.Directory.OsPath.Types

Methods

(==) :: SymlinkType -> SymlinkType -> Bool #

(/=) :: SymlinkType -> SymlinkType -> Bool #

Ord SymlinkType Source #

Instance details

Defined in System.Directory.OsPath.Types

Methods

compare :: SymlinkType -> SymlinkType -> Ordering #

(<) :: SymlinkType -> SymlinkType -> Bool #

(<=) :: SymlinkType -> SymlinkType -> Bool #

(>) :: SymlinkType -> SymlinkType -> Bool #

(>=) :: SymlinkType -> SymlinkType -> Bool #

max :: SymlinkType -> SymlinkType -> SymlinkType #

min :: SymlinkType -> SymlinkType -> SymlinkType #

type Rep SymlinkType Source #

Instance details

Defined in System.Directory.OsPath.Types

type Rep SymlinkType = D1 ('MetaData "SymlinkType" "System.Directory.OsPath.Types" "directory-ospath-streaming-0.3-FcpYLoE7KT5C5PlPTFRXlJ" 'False) (C1 ('MetaCons "Regular" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Symlink" 'PrefixI 'False) (U1 :: Type -> Type))

data FileType Source #

Constructors

File !SymlinkType
Directory !SymlinkType
Other !SymlinkType

Instances

Instances details

Generic FileType Source #

Instance details

Defined in System.Directory.OsPath.Types

Associated Types

type Rep FileType

Instance details

Defined in System.Directory.OsPath.Types

type Rep FileType = D1 ('MetaData "FileType" "System.Directory.OsPath.Types" "directory-ospath-streaming-0.3-FcpYLoE7KT5C5PlPTFRXlJ" 'False) (C1 ('MetaCons "File" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 SymlinkType)) :+: (C1 ('MetaCons "Directory" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 SymlinkType)) :+: C1 ('MetaCons "Other" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 SymlinkType))))

Methods

from :: FileType -> Rep FileType x #

to :: Rep FileType x -> FileType #

Read FileType Source #

Instance details

Defined in System.Directory.OsPath.Types

Methods

readsPrec :: Int -> ReadS FileType #

readList :: ReadS [FileType] #

readPrec :: ReadPrec FileType #

readListPrec :: ReadPrec [FileType] #

Show FileType Source #

Instance details

Defined in System.Directory.OsPath.Types

Methods

showsPrec :: Int -> FileType -> ShowS #

show :: FileType -> String #

showList :: [FileType] -> ShowS #

NFData FileType Source #

Instance details

Defined in System.Directory.OsPath.Types

Methods

rnf :: FileType -> () #

Eq FileType Source #

Instance details

Defined in System.Directory.OsPath.Types

Methods

(==) :: FileType -> FileType -> Bool #

(/=) :: FileType -> FileType -> Bool #

Ord FileType Source #

Instance details

Defined in System.Directory.OsPath.Types

Methods

compare :: FileType -> FileType -> Ordering #

(<) :: FileType -> FileType -> Bool #

(<=) :: FileType -> FileType -> Bool #

(>) :: FileType -> FileType -> Bool #

(>=) :: FileType -> FileType -> Bool #

max :: FileType -> FileType -> FileType #

min :: FileType -> FileType -> FileType #

type Rep FileType Source #

Instance details

Defined in System.Directory.OsPath.Types

type Rep FileType = D1 ('MetaData "FileType" "System.Directory.OsPath.Types" "directory-ospath-streaming-0.3-FcpYLoE7KT5C5PlPTFRXlJ" 'False) (C1 ('MetaCons "File" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 SymlinkType)) :+: (C1 ('MetaCons "Directory" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 SymlinkType)) :+: C1 ('MetaCons "Other" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 SymlinkType))))

newtype Basename a Source #

Basename part of filename, without directory separators.

Constructors

Basename
Fields unBasename :: a

Instances

Instances details

Foldable Basename Source #

Instance details

Defined in System.Directory.OsPath.Types

Methods

fold :: Monoid m => Basename m -> m #

foldMap :: Monoid m => (a -> m) -> Basename a -> m #

foldMap' :: Monoid m => (a -> m) -> Basename a -> m #

foldr :: (a -> b -> b) -> b -> Basename a -> b #

foldr' :: (a -> b -> b) -> b -> Basename a -> b #

foldl :: (b -> a -> b) -> b -> Basename a -> b #

foldl' :: (b -> a -> b) -> b -> Basename a -> b #

foldr1 :: (a -> a -> a) -> Basename a -> a #

foldl1 :: (a -> a -> a) -> Basename a -> a #

toList :: Basename a -> [a] #

null :: Basename a -> Bool #

length :: Basename a -> Int #

elem :: Eq a => a -> Basename a -> Bool #

maximum :: Ord a => Basename a -> a #

minimum :: Ord a => Basename a -> a #

sum :: Num a => Basename a -> a #

product :: Num a => Basename a -> a #

Traversable Basename Source #

Instance details

Defined in System.Directory.OsPath.Types

Methods

traverse :: Applicative f => (a -> f b) -> Basename a -> f (Basename b) #

sequenceA :: Applicative f => Basename (f a) -> f (Basename a) #

mapM :: Monad m => (a -> m b) -> Basename a -> m (Basename b) #

sequence :: Monad m => Basename (m a) -> m (Basename a) #

Functor Basename Source #

Instance details

Defined in System.Directory.OsPath.Types

Methods

fmap :: (a -> b) -> Basename a -> Basename b #

(<$) :: a -> Basename b -> Basename a #

Generic1 Basename Source #

Instance details

Defined in System.Directory.OsPath.Types

Associated Types

type Rep1 Basename
Instance details Defined in System.Directory.OsPath.Types type Rep1 Basename = D1 ('MetaData "Basename" "System.Directory.OsPath.Types" "directory-ospath-streaming-0.3-FcpYLoE7KT5C5PlPTFRXlJ" 'True) (C1 ('MetaCons "Basename" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBasename") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))

Methods

from1 :: Basename a -> Rep1 Basename a #

to1 :: Rep1 Basename a -> Basename a #

Generic (Basename a) Source #

Instance details

Defined in System.Directory.OsPath.Types

Associated Types

type Rep (Basename a)
Instance details Defined in System.Directory.OsPath.Types type Rep (Basename a) = D1 ('MetaData "Basename" "System.Directory.OsPath.Types" "directory-ospath-streaming-0.3-FcpYLoE7KT5C5PlPTFRXlJ" 'True) (C1 ('MetaCons "Basename" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBasename") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

Methods

from :: Basename a -> Rep (Basename a) x #

to :: Rep (Basename a) x -> Basename a #

Show a => Show (Basename a) Source #

Instance details

Defined in System.Directory.OsPath.Types

Methods

showsPrec :: Int -> Basename a -> ShowS #

show :: Basename a -> String #

showList :: [Basename a] -> ShowS #

NFData a => NFData (Basename a) Source #

Instance details

Defined in System.Directory.OsPath.Types

Methods

rnf :: Basename a -> () #

Eq a => Eq (Basename a) Source #

Instance details

Defined in System.Directory.OsPath.Types

Methods

(==) :: Basename a -> Basename a -> Bool #

(/=) :: Basename a -> Basename a -> Bool #

Ord a => Ord (Basename a) Source #

Instance details

Defined in System.Directory.OsPath.Types

Methods

compare :: Basename a -> Basename a -> Ordering #

(<) :: Basename a -> Basename a -> Bool #

(<=) :: Basename a -> Basename a -> Bool #

(>) :: Basename a -> Basename a -> Bool #

(>=) :: Basename a -> Basename a -> Bool #

max :: Basename a -> Basename a -> Basename a #

min :: Basename a -> Basename a -> Basename a #

type Rep1 Basename Source #

Instance details

Defined in System.Directory.OsPath.Types

type Rep1 Basename = D1 ('MetaData "Basename" "System.Directory.OsPath.Types" "directory-ospath-streaming-0.3-FcpYLoE7KT5C5PlPTFRXlJ" 'True) (C1 ('MetaCons "Basename" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBasename") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))

type Rep (Basename a) Source #

Instance details

Defined in System.Directory.OsPath.Types

type Rep (Basename a) = D1 ('MetaData "Basename" "System.Directory.OsPath.Types" "directory-ospath-streaming-0.3-FcpYLoE7KT5C5PlPTFRXlJ" 'True) (C1 ('MetaCons "Basename" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBasename") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

newtype Relative a Source #

Filename relative to some other path.

Constructors

Relative
Fields unRelative :: a

Instances

Instances details

Foldable Relative Source #

Instance details

Defined in System.Directory.OsPath.Types

Methods

fold :: Monoid m => Relative m -> m #

foldMap :: Monoid m => (a -> m) -> Relative a -> m #

foldMap' :: Monoid m => (a -> m) -> Relative a -> m #

foldr :: (a -> b -> b) -> b -> Relative a -> b #

foldr' :: (a -> b -> b) -> b -> Relative a -> b #

foldl :: (b -> a -> b) -> b -> Relative a -> b #

foldl' :: (b -> a -> b) -> b -> Relative a -> b #

foldr1 :: (a -> a -> a) -> Relative a -> a #

foldl1 :: (a -> a -> a) -> Relative a -> a #

toList :: Relative a -> [a] #

null :: Relative a -> Bool #

length :: Relative a -> Int #

elem :: Eq a => a -> Relative a -> Bool #

maximum :: Ord a => Relative a -> a #

minimum :: Ord a => Relative a -> a #

sum :: Num a => Relative a -> a #

product :: Num a => Relative a -> a #

Traversable Relative Source #

Instance details

Defined in System.Directory.OsPath.Types

Methods

traverse :: Applicative f => (a -> f b) -> Relative a -> f (Relative b) #

sequenceA :: Applicative f => Relative (f a) -> f (Relative a) #

mapM :: Monad m => (a -> m b) -> Relative a -> m (Relative b) #

sequence :: Monad m => Relative (m a) -> m (Relative a) #

Functor Relative Source #

Instance details

Defined in System.Directory.OsPath.Types

Methods

fmap :: (a -> b) -> Relative a -> Relative b #

(<$) :: a -> Relative b -> Relative a #

Generic1 Relative Source #

Instance details

Defined in System.Directory.OsPath.Types

Associated Types

type Rep1 Relative
Instance details Defined in System.Directory.OsPath.Types type Rep1 Relative = D1 ('MetaData "Relative" "System.Directory.OsPath.Types" "directory-ospath-streaming-0.3-FcpYLoE7KT5C5PlPTFRXlJ" 'True) (C1 ('MetaCons "Relative" 'PrefixI 'True) (S1 ('MetaSel ('Just "unRelative") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))

Methods

from1 :: Relative a -> Rep1 Relative a #

to1 :: Rep1 Relative a -> Relative a #

Generic (Relative a) Source #

Instance details

Defined in System.Directory.OsPath.Types

Associated Types

type Rep (Relative a)
Instance details Defined in System.Directory.OsPath.Types type Rep (Relative a) = D1 ('MetaData "Relative" "System.Directory.OsPath.Types" "directory-ospath-streaming-0.3-FcpYLoE7KT5C5PlPTFRXlJ" 'True) (C1 ('MetaCons "Relative" 'PrefixI 'True) (S1 ('MetaSel ('Just "unRelative") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

Methods

from :: Relative a -> Rep (Relative a) x #

to :: Rep (Relative a) x -> Relative a #

Show a => Show (Relative a) Source #

Instance details

Defined in System.Directory.OsPath.Types

Methods

showsPrec :: Int -> Relative a -> ShowS #

show :: Relative a -> String #

showList :: [Relative a] -> ShowS #

NFData a => NFData (Relative a) Source #

Instance details

Defined in System.Directory.OsPath.Types

Methods

rnf :: Relative a -> () #

Eq a => Eq (Relative a) Source #

Instance details

Defined in System.Directory.OsPath.Types

Methods

(==) :: Relative a -> Relative a -> Bool #

(/=) :: Relative a -> Relative a -> Bool #

Ord a => Ord (Relative a) Source #

Instance details

Defined in System.Directory.OsPath.Types

Methods

compare :: Relative a -> Relative a -> Ordering #

(<) :: Relative a -> Relative a -> Bool #

(<=) :: Relative a -> Relative a -> Bool #

(>) :: Relative a -> Relative a -> Bool #

(>=) :: Relative a -> Relative a -> Bool #

max :: Relative a -> Relative a -> Relative a #

min :: Relative a -> Relative a -> Relative a #

type Rep1 Relative Source #

Instance details

Defined in System.Directory.OsPath.Types

type Rep1 Relative = D1 ('MetaData "Relative" "System.Directory.OsPath.Types" "directory-ospath-streaming-0.3-FcpYLoE7KT5C5PlPTFRXlJ" 'True) (C1 ('MetaCons "Relative" 'PrefixI 'True) (S1 ('MetaSel ('Just "unRelative") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))

type Rep (Relative a) Source #

Instance details

Defined in System.Directory.OsPath.Types

type Rep (Relative a) = D1 ('MetaData "Relative" "System.Directory.OsPath.Types" "directory-ospath-streaming-0.3-FcpYLoE7KT5C5PlPTFRXlJ" 'True) (C1 ('MetaCons "Relative" 'PrefixI 'True) (S1 ('MetaSel ('Just "unRelative") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))