?prevdifflink? - Blame
|
{-# OPTIONS_GHC -Wall #-} ------------------------------------------------------------------------------- {- | Module : Language.Module.SyntaxADT Description : Representation of the modules used by Galculator, using Abstract Data Types Copyright : (c) Paulo Silva License : LGPL Maintainer : paufil@di.uminho.pt Stability : experimental Portability : portable -} ------------------------------------------------------------------------------- module Language.Module.SyntaxADT ( ModuleS(..) ) where import Language.Law.SyntaxADT import Language.R.SyntaxADT ------------------------------------------------------------------------------- data ModuleS = ModuleS { nameS :: String, lawsS :: [LawS], gcsS :: [S], definitionsS :: [S] } deriving (Eq, Show) ------------------------------------------------------------------------------- |