-- File generated by the BNF Converter.

-- Templates for pattern matching on abstract syntax

{-# OPTIONS_GHC -fno-warn-unused-matches #-}

module SkelFstStudio where

import Prelude (($), Either(..), String, (++), Show, show)

import qualified AbsFstStudio

type Err = Either String
type Result = Err String

failure :: Show a => a -> Result
failure x = Left $ "Undefined case: " ++ show x

transIdent :: AbsFstStudio.Ident -> Result
transIdent x = case x of
  AbsFstStudio.Ident string -> failure x

transProgram :: Show a => AbsFstStudio.Program' a -> Result
transProgram x = case x of
  AbsFstStudio.Prog _ defs -> failure x

transDef :: Show a => AbsFstStudio.Def' a -> Result
transDef x = case x of
  AbsFstStudio.Declaration _ x idents exp -> failure x
  AbsFstStudio.Import _ idents -> failure x
  AbsFstStudio.Main _ exp -> failure x

transExp :: Show a => AbsFstStudio.Exp' a -> Result
transExp x = case x of
  AbsFstStudio.Any _ -> failure x
  AbsFstStudio.AppDecl _ x exps -> failure x
  AbsFstStudio.Boundary _ -> failure x
  AbsFstStudio.CReplacement _ exp1 exp2 exp3 exp4 -> failure x
  AbsFstStudio.CSReplacement _ exp1 exp2 exp3 exp4 -> failure x
  AbsFstStudio.Complement _ exp -> failure x
  AbsFstStudio.Composition _ exp1 exp2 -> failure x
  AbsFstStudio.Concat _ exp1 exp2 -> failure x
  AbsFstStudio.Concats _ str -> failure x
  AbsFstStudio.Containment _ exp -> failure x
  AbsFstStudio.CrossProduct _ exp1 exp2 -> failure x
  AbsFstStudio.Epsilon _ -> failure x
  AbsFstStudio.Intersect _ exp1 exp2 -> failure x
  AbsFstStudio.LongReplace _ exp1 exp2 -> failure x
  AbsFstStudio.Markup _ exp1 exp2 -> failure x
  AbsFstStudio.Minus _ exp1 exp2 -> failure x
  AbsFstStudio.NConcat _ exp n -> failure x
  AbsFstStudio.Plus _ exp -> failure x
  AbsFstStudio.Relation _ str1 str2 -> failure x
  AbsFstStudio.Replacement _ exp1 exp2 -> failure x
  AbsFstStudio.Restriction _ exp1 exp2 exp3 -> failure x
  AbsFstStudio.Star _ exp -> failure x
  AbsFstStudio.Symbol _ str -> failure x
  AbsFstStudio.TComplement _ exp -> failure x
  AbsFstStudio.Union _ exp1 exp2 -> failure x
  AbsFstStudio.Variable _ x -> failure x