MiniAgda-0.2014.1.9: Tokens.hs

module Tokens where

data Token 
  = Id String
  | Data
  | Fun
  | Def
  | Mutual
  | Pattern
  | Set
  | Case
  -- size type
  | Size
  | Infty
  | Succ
  --
  | BrOpen
  | BrClose
  | PrOpen
  | PrClose
  | Sem
  | Col
  | Arrow
  | Eq
  | Lam
  | UScore
  | NotUsed -- so happy doesn't generate overlap case pattern warning
    deriving (Eq,Ord,Show)