Path.Internal

Documentation

type Parser = Parsec Void ByteString

data PathSeg

Constructors

Parent

PathSeg !ByteString

Instances

Eq PathSeg

Defined in Path.Internal

Methods

(==) :: PathSeg -> PathSeg -> Bool

(/=) :: PathSeg -> PathSeg -> Bool

Show PathSeg

Defined in Path.Internal

Methods

showsPrec :: Int -> PathSeg -> ShowS

show :: PathSeg -> String

showList :: [PathSeg] -> ShowS

Generic PathSeg

Defined in Path.Internal

Associated Types

type Rep PathSeg :: Type -> Type

Methods

from :: PathSeg -> Rep PathSeg x

to :: Rep PathSeg x -> PathSeg

Lift PathSeg

Defined in Path.Internal

Methods

lift :: PathSeg -> Q Exp

liftTyped :: PathSeg -> Q (TExp PathSeg)

type Rep PathSeg

Defined in Path.Internal

type Rep PathSeg = D1 ('MetaData "PathSeg" "Path.Internal" "bpath-0.1.0-inplace" 'False) (C1 ('MetaCons "Parent" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PathSeg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedStrict) (Rec0 ByteString)))

fromPathSeg :: PathSeg -> ByteString

pathSeg :: Parser (Maybe PathSeg)

pathSeg' :: Parser (Maybe PathSeg)

relpath :: Parser (Path 'Rel)

abspath :: Parser (Path 'Abs)

data PathType

Constructors

Abs

Rel

Instances

Eq PathType

Defined in Path.Internal

Methods

(==) :: PathType -> PathType -> Bool

(/=) :: PathType -> PathType -> Bool

Show PathType

Defined in Path.Internal

Methods

showsPrec :: Int -> PathType -> ShowS

show :: PathType -> String

showList :: [PathType] -> ShowS

newtype Path (t :: PathType)

A canonicalized file path

Constructors

Path

Fields

• unPath :: Seq PathSeg

Instances

Lift (Path t :: Type)

Defined in Path.Internal

Methods

lift :: Path t -> Q Exp

liftTyped :: Path t -> Q (TExp (Path t))

Eq (Path t)

Defined in Path.Internal

Methods

(==) :: Path t -> Path t -> Bool

(/=) :: Path t -> Path t -> Bool

Show (Path t)

Defined in Path.Internal

Methods

showsPrec :: Int -> Path t -> ShowS

show :: Path t -> String

showList :: [Path t] -> ShowS

Generic (Path t)

Defined in Path.Internal

Associated Types

type Rep (Path t) :: Type -> Type

Methods

from :: Path t -> Rep (Path t) x

to :: Rep (Path t) x -> Path t

type Rep (Path t)

Defined in Path.Internal

type Rep (Path t) = D1 ('MetaData "Path" "Path.Internal" "bpath-0.1.0-inplace" 'True) (C1 ('MetaCons "Path" 'PrefixI 'True) (S1 ('MetaSel ('Just "unPath") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (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