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

Forks

Documentation

data Refusal Source #

Constructors

Unnamed 
Unformed Side 
Holding Side Attribute 
Unripe Side Attribute 

Instances

Instances details
Show Refusal Source # 
Instance details

Defined in Forks

Methods

showsPrec :: Int -> Refusal -> ShowS #

show :: Refusal -> String #

showList :: [Refusal] -> ShowS #

Eq Refusal Source # 
Instance details

Defined in Forks

Methods

(==) :: Refusal -> Refusal -> Bool #

(/=) :: Refusal -> Refusal -> Bool #

data Side Source #

Constructors

Lefthand 
Righthand 

Instances

Instances details
Show Side Source # 
Instance details

Defined in Forks

Methods

showsPrec :: Int -> Side -> ShowS #

show :: Side -> String #

showList :: [Side] -> ShowS #

Eq Side Source # 
Instance details

Defined in Forks

Methods

(==) :: Side -> Side -> Bool #

(/=) :: Side -> Side -> Bool #

forked :: Function -> Either Int Bytes -> Expression -> Expression -> Either Refusal Expression Source #

joined :: Expression -> Expression -> Int -> Either [Attribute] (Expression, [(Int, (Int, Int))], Maybe Int, Int) Source #