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