import Language.Symantic
import Language.Symantic.Lib (a0)
-import Hcompta.Quantity
+import Hcompta.Quantity as H hiding ((-))
+import qualified Hcompta.Quantity as H
-- * Class 'Sym_Subable'
type instance Sym Subable = Sym_Subable
(-) = trans2 (-)
instance Sym_Subable Eval where
- (-) = eval2 quantity_sub
+ (-) = eval2 (H.-)
instance Sym_Subable View where
(-) = viewInfix "-" (infixB SideL 6)
instance (Sym_Subable r1, Sym_Subable r2) => Sym_Subable (Dup r1 r2) where
(-) = dup2 @Sym_Subable (-)
instance (Sym_Subable term, Sym_Lambda term) => Sym_Subable (BetaT term)
+instance NameTyOf Subable where
+ nameTyOf _c = ["Subable"] `Mod` "Subable"
instance FixityOf Subable
instance ClassInstancesFor Subable
instance TypeInstancesFor Subable
instance Gram_Term_AtomsFor src ss g Subable
-instance (Source src, Inj_Sym ss Subable) => ModuleFor src ss Subable where
+instance (Source src, SymInj ss Subable) => ModuleFor src ss Subable where
moduleFor = ["Subable"] `moduleWhere`
[ "-" `withInfixB` (SideL, 6) := teSubable_sub
]