Hydra.Tools.Accessors

Utilities for working with term accessors

Documentation

type AccessorPath = [TermAccessor]

data AccessorNode

Constructors

AccessorNode Name String String

Instances

Show AccessorNode

Defined in Hydra.Tools.Accessors

Methods

showsPrec :: Int -> AccessorNode -> ShowS

show :: AccessorNode -> String

showList :: [AccessorNode] -> ShowS

data AccessorEdge

Constructors

AccessorEdge AccessorNode AccessorPath AccessorNode

Instances

Show AccessorEdge

Defined in Hydra.Tools.Accessors

Methods

showsPrec :: Int -> AccessorEdge -> ShowS

show :: AccessorEdge -> String

showList :: [AccessorEdge] -> ShowS

data AccessorGraph

Constructors

AccessorGraph [AccessorNode] [AccessorEdge]

Instances

Show AccessorGraph

Defined in Hydra.Tools.Accessors

Methods

showsPrec :: Int -> AccessorGraph -> ShowS

show :: AccessorGraph -> String

showList :: [AccessorGraph] -> ShowS

showTermAccessor :: TermAccessor -> Maybe String

termToAccessorGraph :: Map Namespace String -> Term -> AccessorGraph

toUniqueLabel :: Set String -> String -> String