Language.Ninja.Misc.Path

A datatype for Unix path strings.

Since: 0.1.0

Documentation

data Path

This type represents a Unix path string.

Since: 0.1.0

Instances

Eq Path

Methods

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

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

Ord Path

Methods

compare :: Path -> Path -> Ordering

(<) :: Path -> Path -> Bool

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

(>) :: Path -> Path -> Bool

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

max :: Path -> Path -> Path

min :: Path -> Path -> Path

Read Path

Methods

readsPrec :: Int -> ReadS Path

readList :: ReadS [Path]

readPrec :: ReadPrec Path

readListPrec :: ReadPrec [Path]

Show Path

Methods

showsPrec :: Int -> Path -> ShowS

show :: Path -> String

showList :: [Path] -> ShowS

IsString Path

Methods

fromString :: String -> Path

Generic Path

Associated Types

type Rep Path :: * -> *

Methods

from :: Path -> Rep Path x

to :: Rep Path x -> Path

Hashable Path

Methods

hashWithSalt :: Int -> Path -> Int

hash :: Path -> Int

ToJSON Path

Methods

toJSON :: Path -> Value

toEncoding :: Path -> Encoding

toJSONList :: [Path] -> Value

toEncodingList :: [Path] -> Encoding

ToJSONKey Path

Methods

toJSONKey :: ToJSONKeyFunction Path

toJSONKeyList :: ToJSONKeyFunction [Path]

FromJSON Path

Methods

parseJSON :: Value -> Parser Path

parseJSONList :: Value -> Parser [Path]

FromJSONKey Path

Methods

fromJSONKey :: FromJSONKeyFunction Path

fromJSONKeyList :: FromJSONKeyFunction [Path]

NFData Path

Methods

rnf :: Path -> ()

(Monad m, Serial m Text) => Serial m Path

Uses the underlying IText instance.

Since: 0.1.0

Methods

series :: Series m Path

(Monad m, CoSerial m Text) => CoSerial m Path

Uses the underlying IText instance.

Since: 0.1.0

Methods

coseries :: Series m b -> Series m (Path -> b)

type Rep Path

type Rep Path = D1 (MetaData "Path" "Language.Ninja.Misc.Path" "language-ninja-0.2.0-4aVVODOvkNMFxGcRpnztag" True) (C1 (MetaCons "MkPath" PrefixI True) (S1 (MetaSel (Just Symbol "_pathIText") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 IText)))

makePath :: Text -> Path

Construct a Path from some Text.

Since: 0.1.0

pathIText :: Iso' Path IText

An isomorphism between a Path and its underlying IText.

Since: 0.1.0

pathText :: Iso' Path Text

An isomorphism that gives access to a Text-typed view of a Path, even though the underlying data has type IText.

This is equivalent to pathIText . from Ninja.itext.

Since: 0.1.0

pathString :: Iso' Path String

An isomorphism that gives access to a String-typed view of a Path.

Since: 0.1.0

pathFP :: Iso' Path FilePath

An isomorphism between a Path and a FilePath from system-filepath. This uses decodeString and encodeString, so all the caveats on those functions apply here.

Since: 0.1.0