hylolib-1.4.0: src/HyLo/Signature/String.hs

{-# LANGUAGE GeneralizedNewtypeDeriving #-}
module HyLo.Signature.String( StringSignature,
                              PropSymbol(..),
                              NomSymbol(..),
                              RelSymbol(..) )

where

import HyLo.Signature ( Signature )

newtype PropSymbol = PropSymbol String deriving(Eq, Ord, Show, Read)

newtype NomSymbol = NomSymbol String deriving(Eq, Ord, Show, Read)

newtype RelSymbol = RelSymbol String deriving(Eq, Ord, Show, Read)

type StringSignature = Signature NomSymbol PropSymbol RelSymbol