- type FileName = InternedString
- data Path = Path !Id !IntSet !History !MaybeFileName !Int [Int]
- data History
- file :: String -> Path
- snocPath :: Path -> Int -> MaybeFileName -> Int -> [Int] -> Path
- path :: History -> MaybeFileName -> Int -> [Int] -> Path
- appendPath :: Path -> Int -> Path -> Path
- comparablePath :: Path -> Path -> Bool
- data MaybeFileName
- maybeFileName :: r -> (FileName -> r) -> MaybeFileName -> r
Documentation
type FileName = InternedStringSource
comparablePath :: Path -> Path -> BoolSource
Internals
maybeFileName :: r -> (FileName -> r) -> MaybeFileName -> rSource