instance (Sym_PathFile term, Sym_Lambda term) => Sym_PathFile (BetaT term)
instance NameTyOf PathFile where
- nameTyOf _c = ["LCC"] `Mod` "PathFile"
+ nameTyOf _c = ["FS"] `Mod` "PathFile"
instance ClassInstancesFor PathFile where
- proveConstraintFor _ (TyApp _ (TyConst _ _ q) c)
+ proveConstraintFor _ (TyConst _ _ q :$ c)
| Just HRefl <- proj_ConstKiTy @(K PathFile) @PathFile c
= case () of
_ | Just Refl <- proj_Const @Eq q -> Just Dict
g_pathfile_section :: CF g FilePath
g_pathfile_section = some (choice $ char '.' : (unicat <$> [Unicat_Letter, Unicat_Number]))
instance (Source src, SymInj ss PathFile) => ModuleFor src ss PathFile where
- moduleFor = ["LCC", "PathFile"] `moduleWhere`
+ moduleFor = ["FS", "PathFile"] `moduleWhere`
[
]