lcc/Hcompta/LCC/Sym/Date.hs

   1 {-# LANGUAGE UndecidableInstances #-}
   2 {-# OPTIONS_GHC -fno-warn-orphans #-}
   3 -- | Symantic for 'Date'.
   4 module Hcompta.LCC.Sym.Date where
   5
   6 import qualified Prelude ()
   7
   8 import Hcompta.LCC.Posting (Date)
   9 import Language.Symantic
  10
  11 -- * Class 'Sym_Date'
  12 type instance Sym Date = Sym_Date
  13 class Sym_Date (term:: * -> *) where
  14
  15 instance Sym_Date Eval where
  16 instance Sym_Date View where
  17 instance (Sym_Date r1, Sym_Date r2) => Sym_Date (Dup r1 r2) where
  18 instance (Sym_Date term, Sym_Lambda term) => Sym_Date (BetaT term)
  19
  20 instance NameTyOf Date where
  21         nameTyOf _c = ["LCC"] `Mod` "Date"
  22 instance ClassInstancesFor Date
  23 instance TypeInstancesFor Date
  24 instance (Source src, SymInj ss Date) => ModuleFor src ss Date
  25 instance Gram_Term_AtomsFor src ss g Date
  26
  27 tyDate :: Source src => LenInj vs => Type src vs Date
  28 tyDate = tyConst @(K Date) @Date