Text.Trifecta.Path

Documentation

type FileName = InternedString

data Path

Constructors

Path !Id !IntSet !History !MaybeFileName !Int [Int]

Instances

Eq Path

Ord Path

Show Path

Hashable Path

Interned Path

Uninternable Path

Semigroup Path

HasDelta Path

Supply Path

Reducer Path Rope

Eq (Description Path)

Hashable (Description Path)

data History

Constructors

Continue !Path !Int

Complete

Instances

Eq History

Show 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

Internals

data MaybeFileName

Constructors

JustFileName !FileName

NothingFileName

Instances

Eq MaybeFileName

Show MaybeFileName

maybeFileName :: r -> (FileName -> r) -> MaybeFileName -> r