lib/Hcompta/Name.hs

   1 {-# LANGUAGE DeriveDataTypeable #-}
   2 {-# LANGUAGE FlexibleContexts #-}
   3 {-# LANGUAGE FlexibleInstances #-}
   4 {-# LANGUAGE MultiParamTypeClasses #-}
   5 {-# OPTIONS_GHC -fno-warn-orphans #-}
   6 module Hcompta.Name where
   7
   8 import           Control.Applicative (Applicative(..))
   9 import           Control.Arrow (second)
  10 import           Control.DeepSeq (NFData(..))
  11 import           Data.Data
  12 import           Data.Eq (Eq)
  13 import           Data.Function (($), (.), flip)
  14 import           Data.Functor (Functor(..))
  15 import           Data.Int (Int)
  16 import           Data.Map.Strict (Map)
  17 import qualified Data.Map.Strict as Map
  18 import           Data.Maybe (Maybe(..))
  19 import           Data.Monoid (Monoid(..))
  20 import           Data.NonNull (NonNull)
  21 import           Data.Text (Text)
  22 import qualified Data.Text as Text
  23 import           Data.Typeable ()
  24 import           Text.Show (Show)
  25 import qualified Data.Sequences as Seqs
  26 import qualified Data.MonoTraversable as MT
  27
  28 import           Hcompta.Lib.Consable
  29 -- import           Language.Symantic as Sym
  30
  31 {-
  32 newtype Name = Name (NonNull Text)
  33  deriving (Eq, Ord, Show
  34  , MT.MonoFunctor, MT.MonoFoldable
  35  , Seqs.SemiSequence, Seqs.IsSequence)
  36 type instance MT.Element Name = MT.Element (NonNull Text)
  37
  38 class Sym_Name term where
  39         name :: term Text -> term (Maybe Name)
  40 -}