{-# LANGUAGE DeriveDataTypeable #-}
module PTS.Syntax.Constants
  ( C (C)
  , int
  , star
  , box
  , triangle
  , circle
  ) where

import Data.Data
import Data.Typeable

-- constants
newtype C = C Int
  deriving (Eq, Ord, Data, Typeable, Show)

int :: C
int = C 0

star :: C
star = C 1

box :: C
box = C 2

triangle :: C
triangle = C 3

circle :: C
circle = C 4
