Data.Path

Documentation

data Path

Constructors

L Path

R Path

Here

Instances

Show Path

Defined in Data.Path

Methods

showsPrec :: Int -> Path -> ShowS

show :: Path -> String

showList :: [Path] -> ShowS

data MaybePath

Constructors

NotFound

Conflict

Found Path

Instances

Show MaybePath

Defined in Data.Path

Methods

showsPrec :: Int -> MaybePath -> ShowS

show :: MaybePath -> String

showList :: [MaybePath] -> ShowS

type family Combine p1 p2 where ...

Equations

Combine (Found path) NotFound = Found (L path)

Combine NotFound (Found path) = Found (R path)

Combine NotFound NotFound = NotFound

Combine _ _ = Conflict