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

Builder

Documentation

buildExpressionsThrows :: Expression -> [Subst] -> IO [Expression] Source #

buildExpression :: Expression -> Subst -> Built Expression Source #

buildExpressionThrows :: Expression -> Subst -> IO Expression Source #

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

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

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

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

buildBindingUnchecked :: Binding -> Subst -> Built [Binding] Source #

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

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

formed :: [Binding] -> Expression Source #

nameIn :: Maybe Expression -> Expression -> Expression Source #

pathOf :: Expression -> Expression -> 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 #