import Language.Symantic.Grammar
import Language.Symantic
-import Hcompta.LCC.Journal (PathFile(..))
+import Hcompta.LCC.IO (PathFile(..))
-- * Class 'Sym_PathFile'
type instance Sym PathFile = Sym_PathFile
pathfile x = pathfile x `Dup` pathfile x
instance (Sym_PathFile term, Sym_Lambda term) => Sym_PathFile (BetaT term)
+instance NameTyOf PathFile where
+ 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
<$> char '.'
<*> (concat <$> some ((:) <$> char '/' <*> g_pathfile_section))
g_pathfile_section :: CF g FilePath
- g_pathfile_section = some (choice $ unicat <$> [Unicat_Letter, Unicat_Number])
+ g_pathfile_section = some (choice $ char '.' : (unicat <$> [Unicat_Letter, Unicat_Number]))
instance (Source src, SymInj ss PathFile) => ModuleFor src ss PathFile where
- moduleFor = ["PathFile"] `moduleWhere`
+ moduleFor = ["FS", "PathFile"] `moduleWhere`
[
]