phino-0.0.0.19: Command-Line Manipulator of 𝜑-Calculus Expressions
Safe HaskellNone
LanguageHaskell2010

Builder

Documentation

buildExpressions :: Expression -> [Subst] -> IO [(Expression, Expression)] Source #

buildExpression :: Expression -> Subst -> Maybe (Expression, Expression) Source #

buildExpressionThrows :: Expression -> Subst -> IO (Expression, Expression) Source #

buildAttribute :: Attribute -> Subst -> Maybe Attribute Source #

buildAttributeThrows :: Attribute -> Subst -> IO Attribute Source #

buildBinding :: Binding -> Subst -> Maybe [Binding] Source #

buildBindingThrows :: Binding -> Subst -> IO [Binding] Source #

buildBytes :: Bytes -> Subst -> Maybe Bytes Source #

buildBytesThrows :: Bytes -> Subst -> IO Bytes Source #

contextualize :: Expression -> Expression -> Program -> Expression Source #

data BuildException Source #

Constructors

CouldNotBuildExpression 

Fields

CouldNotBuildAttribute 

Fields

CouldNotBuildBinding 

Fields

CouldNotBuildBytes 

Fields

Instances

Instances details
Exception BuildException Source # 
Instance details

Defined in Builder

Methods

toException :: BuildException -> SomeException #

fromException :: SomeException -> Maybe BuildException #

displayException :: BuildException -> String #

Show BuildException Source # 
Instance details

Defined in Builder

Methods

showsPrec :: Int -> BuildException -> ShowS #

show :: BuildException -> String #

showList :: [BuildException] -> ShowS #