]> Git — Sourcephile - comptalang.git/blob - lib/Hcompta/Name.hs
Simplify hcompta-lib.
[comptalang.git] / 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 -}