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

Contextualize

Documentation

concluded :: Expression -> [(String, Either ContextualizeException Expression)] -> Either ContextualizeException Expression Source #

contextualize :: Expression -> Expression -> IO Expression Source #

data ContextualizeException Source #

Constructors

Uncontextualizable Expression String 

Instances

Instances details
Exception ContextualizeException Source # 
Instance details

Defined in Contextualize

Methods

toException :: ContextualizeException -> SomeException #

fromException :: SomeException -> Maybe ContextualizeException #

displayException :: ContextualizeException -> String #

Show ContextualizeException Source # 
Instance details

Defined in Contextualize

Methods

showsPrec :: Int -> ContextualizeException -> ShowS #

show :: ContextualizeException -> String #

showList :: [ContextualizeException] -> ShowS #