ADL1.hs

module Database.Design.Ampersand.ADL1
   ( module Database.Design.Ampersand.Core.ParseTree
   , module Database.Design.Ampersand.Core.AbstractSyntaxTree
   , module Database.Design.Ampersand.ADL1.Expression
   , module Database.Design.Ampersand.ADL1.ECArule
   , module Database.Design.Ampersand.ADL1.Rule
   )
where
import Database.Design.Ampersand.Core.ParseTree (
           PPurpose(..), PRef2Obj(..)
         , Paire, Pairs, mkPair , srcPaire, trgPaire
         , Label(..)
         , FilePos(..), Origin(..), Pos(..), Traced(..)
         , Prop(..)
         , P_Concept(..)
         , P_Sign(..)
         , P_Context(..), mergeContexts
         , Meta(..)
         , MetaObj(..)
         , P_RoleRelation(..), P_RoleRule(..)
         , P_Pattern(..)
         , PairView(..), PairViewSegment(..)
         , SrcOrTgt(..)
         , P_Rule(..)
         , P_IdentDef, P_IdentSegment
         , P_ViewDef, P_ViewSegment
         , P_Population(..)
         , P_ObjectDef
         , P_Interface(..)
         , P_SubInterface
         , Term(..)
         , TermPrim(..), P_NamedRel(..)
         , P_Gen(..)
         , P_Declaration(..)
         , ConceptDef(..)
         , gen_concs
         )
import Database.Design.Ampersand.Core.AbstractSyntaxTree (
          A_Concept(..)
         ,Sign(..),showSign,GenR()
         , (<==>),meet,join
         ,A_Context(..)
         ,Association(..)
         ,Expression(..)
         ,A_Gen(..)
         ,A_Markup(..)
         ,IdentityDef(..)
         ,IdentitySegment(..)
         ,ViewDef(..)
         ,ViewSegment(..)
         ,ObjectDef(..)
         ,SubInterface(..)
         ,Declaration(..),decusr
         ,Interface(..)
         ,Pattern(..)
         ,Rule(..)
         ,RuleType(..)
         ,A_RoleRelation(..)
         ,Population(..)
         ,Purpose(..), ExplObj(..)
         , (.==.), (.|-.), (./\.), (.\/.), (.-.), (./.), (.\.), (.<>.), (.:.), (.!.), (.*.)
         )
import Database.Design.Ampersand.ADL1.Expression
         ( notCpl, isCpl, deMorganERad, deMorganECps, deMorganEUni, deMorganEIsc
         , exprIsc2list, exprUni2list, exprCps2list, exprRad2list, exprPrd2list
         , insParentheses)
import Database.Design.Ampersand.ADL1.ECArule (
         isAll, isCHC, isBlk, isNop, isDo, eventsFrom)
import Database.Design.Ampersand.ADL1.Rule (
          rulefromProp, ruleviolations
         ,consequent,antecedent,hasantecedent)