System.Directory.OsPath.Types

directory-ospath-streaming-0.2.1: Stream directory entries in constant memory in vanilla IO

Copyright | (c) Sergey Vinokurov 2024
License | Apache-2.0 (see LICENSE)
Maintainer | serg.foo@gmail.com
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 #

Constructors

Regular |
Symlink |

#### Instances

Instances details

NFData SymlinkType # |
Instance details Defined in System.Directory.OsPath.Types Methods rnf :: SymlinkType -> () #
Generic SymlinkType # |
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.2.1-KCiX479tWYh9reBY6DxI1i" '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 # |
Instance details Defined in System.Directory.OsPath.Types Methods readsPrec :: Int -> ReadS SymlinkType # readList :: ReadS [SymlinkType] # readPrec :: ReadPrec SymlinkType # readListPrec :: ReadPrec [SymlinkType] #
Show SymlinkType # |
Instance details Defined in System.Directory.OsPath.Types Methods showsPrec :: Int -> SymlinkType -> ShowS # show :: SymlinkType -> String # showList :: [SymlinkType] -> ShowS #
Eq SymlinkType # |
Instance details Defined in System.Directory.OsPath.Types Methods (==) :: SymlinkType -> SymlinkType -> Bool # (/=) :: SymlinkType -> SymlinkType -> Bool #
Ord SymlinkType # |
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 # |
Instance details Defined in System.Directory.OsPath.Types type Rep SymlinkType = D1 ('MetaData "SymlinkType" "System.Directory.OsPath.Types" "directory-ospath-streaming-0.2.1-KCiX479tWYh9reBY6DxI1i" 'False) (C1 ('MetaCons "Regular" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Symlink" 'PrefixI 'False) (U1 :: Type -> Type))

data FileType #

Constructors

File !SymlinkType |
Directory !SymlinkType |
Other !SymlinkType |

#### Instances

Instances details

NFData FileType # |
Instance details Defined in System.Directory.OsPath.Types Methods rnf :: FileType -> () #
Generic FileType # |
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.2.1-KCiX479tWYh9reBY6DxI1i" '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 # |
Instance details Defined in System.Directory.OsPath.Types Methods readsPrec :: Int -> ReadS FileType # readList :: ReadS [FileType] # readPrec :: ReadPrec FileType # readListPrec :: ReadPrec [FileType] #
Show FileType # |
Instance details Defined in System.Directory.OsPath.Types Methods showsPrec :: Int -> FileType -> ShowS # show :: FileType -> String # showList :: [FileType] -> ShowS #
Eq FileType # |
Instance details Defined in System.Directory.OsPath.Types Methods (==) :: FileType -> FileType -> Bool # (/=) :: FileType -> FileType -> Bool #
Ord FileType # |
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 # |
Instance details Defined in System.Directory.OsPath.Types type Rep FileType = D1 ('MetaData "FileType" "System.Directory.OsPath.Types" "directory-ospath-streaming-0.2.1-KCiX479tWYh9reBY6DxI1i" '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 #

Basename part of filename, without directory separators.

Constructors

Basename |
Fields unBasename :: a

#### Instances

Instances details

Functor Basename # |
Instance details Defined in System.Directory.OsPath.Types Methods fmap :: (a -> b) -> Basename a -> Basename b # (<$) :: a -> Basename b -> Basename a #
Foldable Basename # |
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 # |
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) #
Generic1 Basename # |
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.2.1-KCiX479tWYh9reBY6DxI1i" '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 #
NFData a => NFData (Basename a) # |
Instance details Defined in System.Directory.OsPath.Types Methods rnf :: Basename a -> () #
Generic (Basename a) # |
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.2.1-KCiX479tWYh9reBY6DxI1i" '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) # |
Instance details Defined in System.Directory.OsPath.Types Methods showsPrec :: Int -> Basename a -> ShowS # show :: Basename a -> String # showList :: [Basename a] -> ShowS #
Eq a => Eq (Basename a) # |
Instance details Defined in System.Directory.OsPath.Types Methods (==) :: Basename a -> Basename a -> Bool # (/=) :: Basename a -> Basename a -> Bool #
Ord a => Ord (Basename a) # |
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 # |
Instance details Defined in System.Directory.OsPath.Types type Rep1 Basename = D1 ('MetaData "Basename" "System.Directory.OsPath.Types" "directory-ospath-streaming-0.2.1-KCiX479tWYh9reBY6DxI1i" 'True) (C1 ('MetaCons "Basename" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBasename") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))
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.2.1-KCiX479tWYh9reBY6DxI1i" 'True) (C1 ('MetaCons "Basename" 'PrefixI 'True) (S1 ('MetaSel ('Just "unBasename") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))

newtype Relative a #

Filename relative to some other path.

Constructors

Relative |
Fields unRelative :: a

#### Instances

Instances details

Functor Relative # |
Instance details Defined in System.Directory.OsPath.Types Methods fmap :: (a -> b) -> Relative a -> Relative b # (<$) :: a -> Relative b -> Relative a #
Foldable Relative # |
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 # |
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) #
Generic1 Relative # |
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.2.1-KCiX479tWYh9reBY6DxI1i" '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 #
NFData a => NFData (Relative a) # |
Instance details Defined in System.Directory.OsPath.Types Methods rnf :: Relative a -> () #
Generic (Relative a) # |
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.2.1-KCiX479tWYh9reBY6DxI1i" '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) # |
Instance details Defined in System.Directory.OsPath.Types Methods showsPrec :: Int -> Relative a -> ShowS # show :: Relative a -> String # showList :: [Relative a] -> ShowS #
Eq a => Eq (Relative a) # |
Instance details Defined in System.Directory.OsPath.Types Methods (==) :: Relative a -> Relative a -> Bool # (/=) :: Relative a -> Relative a -> Bool #
Ord a => Ord (Relative a) # |
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 # |
Instance details Defined in System.Directory.OsPath.Types type Rep1 Relative = D1 ('MetaData "Relative" "System.Directory.OsPath.Types" "directory-ospath-streaming-0.2.1-KCiX479tWYh9reBY6DxI1i" 'True) (C1 ('MetaCons "Relative" 'PrefixI 'True) (S1 ('MetaSel ('Just "unRelative") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))
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.2.1-KCiX479tWYh9reBY6DxI1i" 'True) (C1 ('MetaCons "Relative" 'PrefixI 'True) (S1 ('MetaSel ('Just "unRelative") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))