eo-phi-normalizer-2.2.2: Command line normalizer of 𝜑-calculus expressions.

Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.EO.Phi.Normalize

Synopsis

normalizeObject :: Object -> State Context Object
normalize :: Program -> Program
peelObject :: Object -> PeeledObject
unpeelObject :: PeeledObject -> Object

Documentation

normalizeObject :: Object -> State Context Object Source #

normalize :: Program -> Program Source #

Normalize an input 𝜑-program.

peelObject :: Object -> PeeledObject Source #

Split compound object into its head and applications/dispatch actions.

unpeelObject :: PeeledObject -> Object Source #