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

Dataize

Documentation

dataize :: Expression -> State -> ReduceContext -> IO (Outcome, [Rewritten], State) Source #

dataize' :: Dataizable -> Expression -> State -> ReduceContext -> IO (Dataized, State) Source #

reduction :: ReductionFunc Source #

data Outcome Source #

Constructors

Dataized Bytes 
Residual Expression 

Instances

Instances details
Show Outcome Source # 
Instance details

Defined in Dataize

Methods

showsPrec :: Int -> Outcome -> ShowS #

show :: Outcome -> String #

showList :: [Outcome] -> ShowS #

Eq Outcome Source # 
Instance details

Defined in Dataize

Methods

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

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