FSpec.hs

module Database.Design.Ampersand.FSpec
   ( module Database.Design.Ampersand.FSpec.FSpec
   , module Database.Design.Ampersand.FSpec.Plug
   , module Database.Design.Ampersand.FSpec.ShowHS
   , module Database.Design.Ampersand.FSpec.ShowADL
   , module Database.Design.Ampersand.FSpec.ShowECA
   , module Database.Design.Ampersand.FSpec.ShowMeatGrinder
   , module Database.Design.Ampersand.FSpec.Graphic.ClassDiagram
   , module Database.Design.Ampersand.FSpec.Graphic.Graphics
   , module Database.Design.Ampersand.FSpec.ToFSpec.Calc
   , module Database.Design.Ampersand.FSpec.ToFSpec.ADL2FSpec
   , module Database.Design.Ampersand.FSpec.ToFSpec.NormalForms
   , module Database.Design.Ampersand.FSpec.Motivations
   , module Database.Design.Ampersand.FSpec.ToFSpec.CreateFspec
   )
where
import Database.Design.Ampersand.FSpec.FSpec
       (FSpec(..), concDefs, ECArule(..), plugFields, lookupCpt, metaValues)
import Database.Design.Ampersand.FSpec.Plug
       (PlugInfo(..), PlugSQL(..), SqlField(..), SqlFieldUsage(..), SqlType(..), tblcontents,
        Plugable(..),
        showSQL, fldauto)
import Database.Design.Ampersand.FSpec.ShowHS
       (ShowHS(..), ShowHSName(..), fSpec2Haskell, haskellIdentifier)
import Database.Design.Ampersand.FSpec.ShowADL (ShowADL(..), LanguageDependent(..))
import Database.Design.Ampersand.FSpec.ShowECA (showECA)
import Database.Design.Ampersand.FSpec.ShowMeatGrinder (makeMetaPopulationFile,MetaType(..))
import Database.Design.Ampersand.FSpec.Graphic.ClassDiagram
       (clAnalysis, cdAnalysis, ClassDiag(..))
import Database.Design.Ampersand.FSpec.Graphic.Graphics
       (makePicture,writePicture,Picture(..), PictureReq(..),imagePath)
import Database.Design.Ampersand.FSpec.ToFSpec.Calc
       (showProof,showPrf, commaEngPandoc, commaNLPandoc, commaEngPandoc', commaNLPandoc')
import Database.Design.Ampersand.FSpec.ToFSpec.ADL2FSpec
       (makeFSpec)
import Database.Design.Ampersand.FSpec.ToFSpec.NormalForms
       (conjNF, disjNF, cfProof, simplify)
import Database.Design.Ampersand.FSpec.Motivations
       (Meaning(..),Motivated(..))
import Database.Design.Ampersand.FSpec.ToFSpec.CreateFspec 
       (createFSpec,getPopulationsFrom)