

{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE DeriveFoldable #-}
{-# LANGUAGE DeriveTraversable #-}

{-# LANGUAGE DeriveDataTypeable #-}


{-# LANGUAGE DeriveAnyClass #-}


{-# LANGUAGE CPP #-}



--------------------------------------------------------------------
-- |
-- Copyright :  (c) Andreas Reuleaux 2015
-- License   :  BSD2
-- Maintainer:  Andreas Reuleaux <rx@a-rx.info>
-- Stability :  experimental
-- Portability: non-portable
--
-- white space in Pire's flavour of Pi-forall syntax.
--------------------------------------------------------------------


module Pire.Syntax.Ws where


#ifdef MIN_VERSION_GLASGOW_HASKELL
#if MIN_VERSION_GLASGOW_HASKELL(7,10,3,0)
-- ghc >= 7.10.3
#else
-- older ghc versions, but MIN_VERSION_GLASGOW_HASKELL defined
#endif
#else
-- MIN_VERSION_GLASGOW_HASKELL not even defined yet (ghc <= 7.8.x)
import Data.Foldable
import Data.Traversable
#endif


import Data.Typeable
import Data.Data

import Prelude.Extras


data Ws t = 
  Ws t
  | NoWs
  deriving (Eq, Eq1, Ord,Show,Read, Functor, Foldable, Traversable, Typeable, Data)
