phino-0.0.0: Command-Line Manipulator of 𝜑-Calculus Expressions

Safe Haskell	Safe-Inferred
Language	Haskell2010

Rewriter

Documentation

type Seen = Map Int [Expression] Source #

direct :: String -> Bool -> (Maybe Expression -> Expression -> [Expression]) -> Step Source #

every :: [Step] -> Maybe Expression -> Expression -> Set Int Source #

fast :: Expression -> Expression -> Bool Source #

interpreted :: Rule -> Step Source #

rewrite :: Expression -> [Step] -> RewriteContext -> IO Rewrittens Source #

data RewriteContext Source #

Constructors

RewriteContext
Fields _locator :: Expression _maxDepth :: Int _maxCycles :: Int _depthSensitive :: Bool _universe :: Maybe Expression _buildTerm :: BuildTermFunc _normal :: Expression -> Bool _matching :: Maybe Expression -> Expression -> Set Int _must :: Must _breakpoint :: Maybe String _saveStep :: SaveStepFunc _saveMade :: SaveMadeFunc

type Rewritten = (Expression, Maybe (Judgment, String)) Source #

type Rewrittens = (NonEmpty Rewritten, Bool) Source #

type Rewrittens' = ([Rewritten], Bool) Source #

seenInsert :: Int -> Expression -> Seen -> Seen Source #

seenMember :: Int -> Expression -> Seen -> Bool Source #

stepHeaders :: [Rewritten] -> [String] Source #