{-# LANGUAGE DeriveDataTypeable #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}
module Hcompta.Name where

import           Control.Applicative (Applicative(..))
import           Control.Arrow (second)
import           Control.DeepSeq (NFData(..))
import           Data.Data
import           Data.Eq (Eq)
import           Data.Function (($), (.), flip)
import           Data.Functor (Functor(..))
import           Data.Int (Int)
import           Data.Map.Strict (Map)
import qualified Data.Map.Strict as Map
import           Data.Maybe (Maybe(..))
import           Data.Monoid (Monoid(..))
import           Data.NonNull (NonNull)
import           Data.Text (Text)
import qualified Data.Text as Text
import           Data.Typeable ()
import           Text.Show (Show)
import qualified Data.Sequences as Seqs
import qualified Data.MonoTraversable as MT

import           Hcompta.Lib.Consable
-- import           Language.Symantic as Sym

{-
newtype Name = Name (NonNull Text)
 deriving (Eq, Ord, Show
 , MT.MonoFunctor, MT.MonoFoldable
 , Seqs.SemiSequence, Seqs.IsSequence)
type instance MT.Element Name = MT.Element (NonNull Text)

class Sym_Name term where
	name :: term Text -> term (Maybe Name)
-}