HERMIT to HERMIT Shell

Symbols

	Meaning
🎤	implemented in server
🔈	implemented in client
↔️	tested by hand, front to back, implies 🎤 & 🔈
✅	In a unit test. The test may or may not run

Types

HERMIT Type	HERMIT-shell Type	Notes
RhsOfName	Name
TransformH :: * -> * -> *	Transform
LCoreTC
LocalPathH	LocalPath
RewriteH	Rewrite

All Shell Functions

HERMIT.Dictionary.AlphaConversion

Name	Type	Done
alpha	RewriteH LCore
alpha-lam	String -> RewriteH LCore
alpha-lam	RewriteH LCore
alpha-case-binder	String -> RewriteH LCore
alpha-case-binder	RewriteH LCore
alpha-alt	RewriteH LCore
alpha-case	RewriteH LCore
alpha-let	[String] -> RewriteH LCore
alpha-let	RewriteH LCore
alpha-top	[String] -> RewriteH LCore
alpha-top	RewriteH LCore
unshadow	RewriteH LCore

HERMIT.Dictionary.Navigation

Name	Type	Done
rhs-of	RhsOfName -> TransformH LCoreTC LocalPathH	↔️
...	...

---

Command/Type	HERMIT location	HERMIT-shell equivalent	HERMIT-shell location	Notes
example :: Foo	Whatever.API	example	Whatever.API	Miscellanea
rhs-of :: RhsOfName -> TransformH LCoreTC LocalPathH	HERMIT.Dictionary.Navigation	rhsOf :: RhsOfName -> TransformH LCoreTC LocalPath

| alpha :: RewriteH LCore | HERMIT.Dictionary.AlphaConversion | alpha :: RewriteH LCore | | alpha-lam :: String -> RewriteH LCore | HERMIT.Dictionary.AlphaConversion | alphaLam | alpha-lam :: RewriteH LCore | HERMIT.Dictionary.AlphaConversion | alphaLam alpha-case-binder :: String -> RewriteH LCore | HERMIT.Dictionary.AlphaConversion | alphaCaseBinder alpha-case-binder :: RewriteH LCore | HERMIT.Dictionary.AlphaConversion | alphaCaseBinder alpha-alt :: RewriteH LCore | HERMIT.Dictionary.AlphaConversion | alphaAlt alpha-case :: RewriteH LCore | HERMIT.Dictionary.AlphaConversion | alphaCase | alpha-let :: [String] -> RewriteH LCore | HERMIT.Dictionary.AlphaConversion | alphaLet | alpha-let :: RewriteH LCore | HERMIT.Dictionary.AlphaConversion | alphaLet | alpha-top :: [String] -> RewriteH LCore | HERMIT.Dictionary.AlphaConversion | alphaTop | alpha-top :: RewriteH LCore | HERMIT.Dictionary.AlphaConversion | alphaTop | unshadow :: RewriteH LCore | HERMIT.Dictionary.AlphaConversion | unshadow | | bash :: RewriteH LCore | HERMIT.Dictionary.Composite | bash | bash-extended-with :: [RewriteH LCore] -> RewriteH LCore | HERMIT.Dictionary.Composite | bashExtendedWith | bash-debug :: RewriteH LCore | HERMIT.Dictionary.Composite | bashDebug | | bracket :: String -> RewriteH LCoreTC -> RewriteH LCoreTC | HERMIT.Dictionary.Debug | bracket | | fix-intro :: RewriteH LCore | HERMIT.Dictionary.FixPoint | fixIntro | fix-computation-rule :: BiRewriteH LCore | HERMIT.Dictionary.FixPoint | fixComputationRule | fix-rolling-rule :: BiRewriteH LCore | HERMIT.Dictionary.FixPoint | fixRollingRule | fix-fusion-rule :: CoreString -> CoreString -> CoreString -> RewriteH LCore -> RewriteH LCore -> RewriteH LCore -> BiRewriteH LCore | HERMIT.Dictionary.FixPoint | fixFusionRule | fix-fusion-rule-unsafe :: CoreString -> CoreString -> CoreString -> RewriteH LCore -> RewriteH LCore -> BiRewriteH LCore | HERMIT.Dictionary.FixPoint | fixFusionRuleUnsafe | fix-fusion-rule-unsafe :: CoreString -> CoreString -> CoreString -> BiRewriteH LCore | HERMIT.Dictionary.FixPoint | fixFusionRuleUnsafe | | fold :: HermitName -> RewriteH LCore | HERMIT.Dictionary.Fold | fold_ | | static-arg :: RewriteH LCore | HERMIT.Dictionary.Function | staticArg | static-arg-types :: RewriteH LCore | HERMIT.Dictionary.Function | staticArgTypes | static-arg-pos :: [Int] -> RewriteH LCore | HERMIT.Dictionary.Function | staticArgPos | | deshadow-prog :: RewriteH LCore | HERMIT.Dictionary.GHC | deshadowProg | dezombify :: RewriteH LCore | HERMIT.Dictionary.GHC | dezombify | | | id :: RewriteH LCore | HERMIT.Dictionary.Kure | id_ | id :: RewriteH LCoreTC | HERMIT.Dictionary.Kure | id_ | success :: TransformH LCore () | HERMIT.Dictionary.Kure | success | fail :: String -> RewriteH LCore | HERMIT.Dictionary.Kure | fail_ | (<+) :: RewriteH LCore -> RewriteH LCore -> RewriteH LCore | HERMIT.Dictionary.Kure | (<+) | (<+) :: TransformH LCore () -> TransformH LCore () -> TransformH LCore () | HERMIT.Dictionary.Kure | (<+) | (>>>) :: RewriteH LCore -> RewriteH LCore -> RewriteH LCore | HERMIT.Dictionary.Kure | (>>>) | (>>>) :: BiRewriteH LCore -> BiRewriteH LCore -> BiRewriteH LCore | HERMIT.Dictionary.Kure | (>>>) | (>>>) :: RewriteH LCoreTC -> RewriteH LCoreTC -> RewriteH LCoreTC | HERMIT.Dictionary.Kure | (>>>) | (>+>) :: RewriteH LCore -> RewriteH LCore -> RewriteH LCore | HERMIT.Dictionary.Kure | (>+>) | try :: RewriteH LCore -> RewriteH LCore | HERMIT.Dictionary.Kure | try | repeat :: RewriteH LCore -> RewriteH LCore | HERMIT.Dictionary.Kure | repeat_ | replicate :: Int -> RewriteH LCore -> RewriteH LCore | HERMIT.Dictionary.Kure | replicate_ | all :: RewriteH LCore -> RewriteH LCore | HERMIT.Dictionary.Kure | all_ | any :: RewriteH LCore -> RewriteH LCore | HERMIT.Dictionary.Kure | any_ | one :: RewriteH LCore -> RewriteH LCore | HERMIT.Dictionary.Kure | one | all-bu :: RewriteH LCore -> RewriteH LCore | HERMIT.Dictionary.Kure | allBu | all-td :: RewriteH LCore -> RewriteH LCore | HERMIT.Dictionary.Kure | allTd | all-du :: RewriteH LCore -> RewriteH LCore | HERMIT.Dictionary.Kure | allDu | any-bu :: RewriteH LCore -> RewriteH LCore | HERMIT.Dictionary.Kure | anyBu | any-td :: RewriteH LCore -> RewriteH LCore | HERMIT.Dictionary.Kure | anyTd | any-du :: RewriteH LCore -> RewriteH LCore | HERMIT.Dictionary.Kure | anyDu | one-td :: RewriteH LCore -> RewriteH LCore | HERMIT.Dictionary.Kure | oneTd | one-bu :: RewriteH LCore -> RewriteH LCore | HERMIT.Dictionary.Kure | oneBu | prune-td :: RewriteH LCore -> RewriteH LCore | HERMIT.Dictionary.Kure | pruneTd | innermost :: RewriteH LCore -> RewriteH LCore | HERMIT.Dictionary.Kure | innermost | focus :: TransformH LCoreTC LocalPathH -> RewriteH LCoreTC -> RewriteH LCoreTC | HERMIT.Dictionary.Kure | focus | focus :: TransformH LCoreTC LocalPathH -> TransformH LCoreTC String -> TransformH LCoreTC String | HERMIT.Dictionary.Kure | focus | focus :: LocalPathH -> RewriteH LCoreTC -> RewriteH LCoreTC | HERMIT.Dictionary.Kure | focus | focus :: LocalPathH -> TransformH LCoreTC String -> TransformH LCoreTC String | HERMIT.Dictionary.Kure | focus | focus :: TransformH LCore LocalPathH -> RewriteH LCore -> RewriteH LCore | HERMIT.Dictionary.Kure | focus | focus :: TransformH LCore LocalPathH -> TransformH LCore String -> TransformH LCore String | HERMIT.Dictionary.Kure | focus | focus :: LocalPathH -> RewriteH LCore -> RewriteH LCore | HERMIT.Dictionary.Kure | focus | focus :: LocalPathH -> TransformH LCore String -> TransformH LCore String | HERMIT.Dictionary.Kure | focus | when :: TransformH LCore () -> RewriteH LCore -> RewriteH LCore | HERMIT.Dictionary.Kure | when_ | not :: TransformH LCore () -> TransformH LCore () | HERMIT.Dictionary.Kure | not_