-- 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