-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | A minimal typed unix path library
--   
--   A minimal typed unix path library
@package bpath
@version 0.1.0

module Path.Internal
type Parser = Parsec Void ByteString
data PathSeg
Parent :: PathSeg
PathSeg :: {-# UNPACK #-} !ByteString -> PathSeg
fromPathSeg :: PathSeg -> ByteString
pathSeg :: Parser (Maybe PathSeg)
pathSeg' :: Parser (Maybe PathSeg)
relpath :: Parser (Path 'Rel)
abspath :: Parser (Path 'Abs)
data PathType
Abs :: PathType
Rel :: PathType

-- | A canonicalized file path
newtype Path (t :: PathType)
Path :: Seq PathSeg -> Path (t :: PathType)
[$sel:unPath:Path] :: Path (t :: PathType) -> Seq PathSeg
fromRel :: Path 'Rel -> ByteString
fromAbs :: Path 'Abs -> ByteString
hush :: Either a b -> Maybe b
parseRel :: ByteString -> Maybe (Path 'Rel)
parseAbs :: ByteString -> Maybe (Path 'Abs)
mkAbs :: ByteString -> Q Exp
mkRel :: ByteString -> Q Exp
qq :: (ByteString -> Q Exp) -> QuasiQuoter
absp :: QuasiQuoter
relp :: QuasiQuoter
(</>) :: Path t -> Path 'Rel -> Path t
stripPrefix :: Path t -> Path t -> Maybe (Path 'Rel)
isPrefixOf :: Path t -> Path t -> Bool
parent :: Path t -> Path t
filename :: Path t -> Path 'Rel
instance GHC.Generics.Generic Path.Internal.PathSeg
instance Language.Haskell.TH.Syntax.Lift Path.Internal.PathSeg
instance GHC.Classes.Eq Path.Internal.PathSeg
instance GHC.Show.Show Path.Internal.PathSeg
instance GHC.Classes.Eq Path.Internal.PathType
instance GHC.Show.Show Path.Internal.PathType
instance GHC.Show.Show (Path.Internal.Path t)
instance GHC.Classes.Eq (Path.Internal.Path t)
instance Language.Haskell.TH.Syntax.Lift (Path.Internal.Path t)
instance GHC.Generics.Generic (Path.Internal.Path t)

module Path

-- | A canonicalized file path
data Path (t :: PathType)
data PathType
Abs :: PathType
Rel :: PathType
parseAbs :: ByteString -> Maybe (Path 'Abs)
parseRel :: ByteString -> Maybe (Path 'Rel)
fromAbs :: Path 'Abs -> ByteString
fromRel :: Path 'Rel -> ByteString
(</>) :: Path t -> Path 'Rel -> Path t
stripPrefix :: Path t -> Path t -> Maybe (Path 'Rel)
isPrefixOf :: Path t -> Path t -> Bool
parent :: Path t -> Path t
filename :: Path t -> Path 'Rel
mkAbs :: ByteString -> Q Exp
mkRel :: ByteString -> Q Exp
absp :: QuasiQuoter
relp :: QuasiQuoter