Path

The basic path type

data Path (t :: PathType)

A canonicalized file path

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))))

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

Converting between ByteString and Path

parseAbs :: ByteString -> Maybe (Path 'Abs)

parseRel :: ByteString -> Maybe (Path 'Rel)

fromAbs :: Path 'Abs -> ByteString

fromRel :: Path 'Rel -> ByteString

Operations on paths

(</>) :: 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

Template Haskell stuff

mkAbs :: ByteString -> Q Exp

mkRel :: ByteString -> Q Exp

absp :: QuasiQuoter

relp :: QuasiQuoter