phino-0.0.0: Command-Line Manipulator of 𝜑-Calculus Expressions
Safe HaskellSafe-Inferred
LanguageHaskell2010

Locator

Documentation

data LocatorException Source #

Constructors

InvalidLocatorProvided 

Fields

CanNotFindObjectByLocator 

Fields

CanNotHideWholeProgram 

Fields

Instances

Instances details
Exception LocatorException Source # 
Instance details

Defined in Locator

Methods

toException :: LocatorException -> SomeException #

fromException :: SomeException -> Maybe LocatorException #

displayException :: LocatorException -> String #

Show LocatorException Source # 
Instance details

Defined in Locator

Methods

showsPrec :: Int -> LocatorException -> ShowS #

show :: LocatorException -> String #

showList :: [LocatorException] -> ShowS #

locatedExpression :: Expression -> Expression -> IO Expression Source #

withLocatedExpression :: Expression -> Expression -> Expression -> IO Expression Source #