Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Bluespec.Classic.AST.Syntax

Synopsis

data CPackage = CPackage Id (Either [CExport] [CExport]) [CImport] [CFixity] [CDefn] [CInclude]
data CExport
- = CExpVar Id
- | CExpCon Id
- | CExpConAll Id
- | CExpPkg Id
data CImport
- = CImpId Bool Id
- | CImpSign String Bool CSignature
data CSignature = CSignature Id [Id] [CFixity] [CDefn]
data CFixity
- = CInfix Integer Id
- | CInfixl Integer Id
- | CInfixr Integer Id
data CDefn
- = Ctype IdK [Id] CType
- | Cdata {
  - cd_visible :: Bool
  - cd_name :: IdK
  - cd_type_vars :: [Id]
  - cd_original_summands :: COSummands
  - cd_internal_summands :: CSummands
  - cd_derivings :: [CTypeclass]
  }
- | Cstruct Bool StructSubType IdK [Id] CFields [CTypeclass]
- | Cclass (Maybe Bool) [CPred] IdK [Id] CFunDeps CFields
- | Cinstance CQType [CDefl]
- | CValue Id [CClause]
- | CValueSign CDef
- | Cforeign {
  - cforg_name :: Id
  - cforg_type :: CQType
  - cforg_foreign_name :: Maybe String
  - cforg_ports :: Maybe ([String], [String])
  }
- | Cprimitive Id CQType
- | CprimType IdK
- | CPragma Pragma
- | CIinstance Id CQType
- | CItype IdK [Id] [Position]
- | CIclass (Maybe Bool) [CPred] IdK [Id] CFunDeps [Position]
- | CIValueSign Id CQType
data IdK
- = IdK Id
- | IdKind Id Kind
- | IdPKind Id PartialKind
type CFunDeps = [([Id], [Id])]
data CExpr
- = CLam (Either Position Id) CExpr
- | CLamT (Either Position Id) CQType CExpr
- | Cletseq [CDefl] CExpr
- | Cletrec [CDefl] CExpr
- | CSelect CExpr Id
- | CCon Id [CExpr]
- | Ccase Position CExpr CCaseArms
- | CStruct (Maybe Bool) Id [(Id, CExpr)]
- | CStructUpd CExpr [(Id, CExpr)]
- | Cwrite Position CExpr CExpr
- | CAny Position UndefKind
- | CVar Id
- | CApply CExpr [CExpr]
- | CTaskApply CExpr [CExpr]
- | CTaskApplyT CExpr CType [CExpr]
- | CLit CLiteral
- | CBinOp CExpr Id CExpr
- | CHasType CExpr CQType
- | Cif Position CExpr CExpr CExpr
- | CSub Position CExpr CExpr
- | CSub2 CExpr CExpr CExpr
- | CSubUpdate Position CExpr (CExpr, CExpr) CExpr
- | Cmodule Position [CMStmt]
- | Cinterface Position (Maybe Id) [CDefl]
- | CmoduleVerilog CExpr Bool VClockInfo VResetInfo [(VArgInfo, CExpr)] [VFieldInfo] VSchedInfo VPathInfo
- | CForeignFuncC Id CQType
- | Cdo Bool CStmts
- | Caction Position CStmts
- | Crules [CSchedulePragma] [CRule]
- | COper [COp]
- | CCon1 Id Id CExpr
- | CSelectTT Id CExpr Id
- | CCon0 (Maybe Id) Id
- | CConT Id Id [CExpr]
- | CStructT CType [(Id, CExpr)]
- | CSelectT Id Id
- | CLitT CType CLiteral
- | CAnyT Position UndefKind CType
- | CmoduleVerilogT CType CExpr Bool VClockInfo VResetInfo [(VArgInfo, CExpr)] [VFieldInfo] VSchedInfo VPathInfo
- | CForeignFuncCT Id CType
- | CTApply CExpr [CType]
- | Cattributes [(Position, PProp)]
data CLiteral = CLiteral Position Literal
data COp
- = CRand CExpr
- | CRator Int Id
type CSummands = [CInternalSummand]
data CInternalSummand = CInternalSummand {
- cis_names :: [Id]
- cis_arg_type :: CType
- cis_tag_encoding :: Integer
}
type COSummands = [COriginalSummand]
data COriginalSummand = COriginalSummand {
- cos_names :: [Id]
- cos_arg_types :: [CQType]
- cos_field_names :: Maybe [Id]
- cos_tag_encoding :: Maybe Integer
}
data CField = CField {
- cf_name :: Id
- cf_pragmas :: Maybe [IfcPragma]
- cf_type :: CQType
- cf_default :: [CClause]
- cf_orig_type :: Maybe CType
}
type CFields = [CField]
data CCaseArm = CCaseArm {
- cca_pattern :: CPat
- cca_filters :: [CQual]
- cca_consequent :: CExpr
}
type CCaseArms = [CCaseArm]
data CStmt
- = CSBindT CPat (Maybe CExpr) [(Position, PProp)] CQType CExpr
- | CSBind CPat (Maybe CExpr) [(Position, PProp)] CExpr
- | CSletseq [CDefl]
- | CSletrec [CDefl]
- | CSExpr (Maybe CExpr) CExpr
type CStmts = [CStmt]
data CMStmt
- = CMStmt CStmt
- | CMrules CExpr
- | CMinterface CExpr
- | CMTupleInterface Position [CExpr]
data CRule
- = CRule [RulePragma] (Maybe CExpr) [CQual] CExpr
- | CRuleNest [RulePragma] (Maybe CExpr) [CQual] [CRule]
data CDefl
- = CLValueSign CDef [CQual]
- | CLValue Id [CClause] [CQual]
- | CLMatch CPat CExpr
data CDef
- = CDef Id CQType [CClause]
- | CDefT Id [TyVar] CQType [CClause]
data CClause = CClause [CPat] [CQual] CExpr
data CQual
- = CQGen CType CPat CExpr
- | CQFilter CExpr
data CPat
- = CPCon Id [CPat]
- | CPstruct (Maybe Bool) Id [(Id, CPat)]
- | CPVar Id
- | CPAs Id CPat
- | CPAny Position
- | CPLit CLiteral
- | CPMixedLit Position Integer [(Integer, Maybe Integer)]
- | CPOper [CPOp]
- | CPCon1 Id Id CPat
- | CPConTs Id Id [CType] [CPat]
data CPOp
- = CPRand CPat
- | CPRator Int Id
newtype CInclude = CInclude String
cApply :: Int -> CExpr -> [CExpr] -> CExpr
cVApply :: Id -> [CExpr] -> CExpr
getName :: CDefn -> Either Position Id
iKName :: IdK -> Id

Documentation

data CPackage Source #

Constructors

CPackage Id (Either [CExport] [CExport]) [CImport] [CFixity] [CDefn] [CInclude]

Instances

Instances details

Show CPackage Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods showsPrec :: Int -> CPackage -> ShowS # show :: CPackage -> String # showList :: [CPackage] -> ShowS #
Eq CPackage Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods (==) :: CPackage -> CPackage -> Bool # (/=) :: CPackage -> CPackage -> Bool #
Ord CPackage Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods compare :: CPackage -> CPackage -> Ordering # (<) :: CPackage -> CPackage -> Bool # (<=) :: CPackage -> CPackage -> Bool # (>) :: CPackage -> CPackage -> Bool # (>=) :: CPackage -> CPackage -> Bool # max :: CPackage -> CPackage -> CPackage # min :: CPackage -> CPackage -> CPackage #
Pretty CPackage Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods pPrintPrec :: PrettyLevel -> Rational -> CPackage -> Doc # pPrint :: CPackage -> Doc # pPrintList :: PrettyLevel -> [CPackage] -> Doc #

data CExport Source #

Constructors

CExpVar Id
CExpCon Id
CExpConAll Id
CExpPkg Id

Instances

Instances details

Show CExport Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods showsPrec :: Int -> CExport -> ShowS # show :: CExport -> String # showList :: [CExport] -> ShowS #
Eq CExport Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods (==) :: CExport -> CExport -> Bool # (/=) :: CExport -> CExport -> Bool #
Ord CExport Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods compare :: CExport -> CExport -> Ordering # (<) :: CExport -> CExport -> Bool # (<=) :: CExport -> CExport -> Bool # (>) :: CExport -> CExport -> Bool # (>=) :: CExport -> CExport -> Bool # max :: CExport -> CExport -> CExport # min :: CExport -> CExport -> CExport #
Pretty CExport Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods pPrintPrec :: PrettyLevel -> Rational -> CExport -> Doc # pPrint :: CExport -> Doc # pPrintList :: PrettyLevel -> [CExport] -> Doc #

data CImport Source #

Constructors

CImpId Bool Id
CImpSign String Bool CSignature

Instances

Instances details

Show CImport Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods showsPrec :: Int -> CImport -> ShowS # show :: CImport -> String # showList :: [CImport] -> ShowS #
Eq CImport Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods (==) :: CImport -> CImport -> Bool # (/=) :: CImport -> CImport -> Bool #
Ord CImport Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods compare :: CImport -> CImport -> Ordering # (<) :: CImport -> CImport -> Bool # (<=) :: CImport -> CImport -> Bool # (>) :: CImport -> CImport -> Bool # (>=) :: CImport -> CImport -> Bool # max :: CImport -> CImport -> CImport # min :: CImport -> CImport -> CImport #
Pretty CImport Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods pPrintPrec :: PrettyLevel -> Rational -> CImport -> Doc # pPrint :: CImport -> Doc # pPrintList :: PrettyLevel -> [CImport] -> Doc #

data CSignature Source #

Constructors

CSignature Id [Id] [CFixity] [CDefn]

Instances

Instances details

Show CSignature Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods showsPrec :: Int -> CSignature -> ShowS # show :: CSignature -> String # showList :: [CSignature] -> ShowS #
Eq CSignature Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods (==) :: CSignature -> CSignature -> Bool # (/=) :: CSignature -> CSignature -> Bool #
Ord CSignature Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods compare :: CSignature -> CSignature -> Ordering # (<) :: CSignature -> CSignature -> Bool # (<=) :: CSignature -> CSignature -> Bool # (>) :: CSignature -> CSignature -> Bool # (>=) :: CSignature -> CSignature -> Bool # max :: CSignature -> CSignature -> CSignature # min :: CSignature -> CSignature -> CSignature #
Pretty CSignature Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods pPrintPrec :: PrettyLevel -> Rational -> CSignature -> Doc # pPrint :: CSignature -> Doc # pPrintList :: PrettyLevel -> [CSignature] -> Doc #

data CFixity Source #

Constructors

CInfix Integer Id
CInfixl Integer Id
CInfixr Integer Id

Instances

Instances details

Show CFixity Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods showsPrec :: Int -> CFixity -> ShowS # show :: CFixity -> String # showList :: [CFixity] -> ShowS #
Eq CFixity Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods (==) :: CFixity -> CFixity -> Bool # (/=) :: CFixity -> CFixity -> Bool #
Ord CFixity Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods compare :: CFixity -> CFixity -> Ordering # (<) :: CFixity -> CFixity -> Bool # (<=) :: CFixity -> CFixity -> Bool # (>) :: CFixity -> CFixity -> Bool # (>=) :: CFixity -> CFixity -> Bool # max :: CFixity -> CFixity -> CFixity # min :: CFixity -> CFixity -> CFixity #
Pretty CFixity Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods pPrintPrec :: PrettyLevel -> Rational -> CFixity -> Doc # pPrint :: CFixity -> Doc # pPrintList :: PrettyLevel -> [CFixity] -> Doc #

data CDefn Source #

Constructors

Ctype IdK [Id] CType
Cdata
Fields cd_visible :: Bool cd_name :: IdK cd_type_vars :: [Id] cd_original_summands :: COSummands cd_internal_summands :: CSummands cd_derivings :: [CTypeclass]
Cstruct Bool StructSubType IdK [Id] CFields [CTypeclass]
Cclass (Maybe Bool) [CPred] IdK [Id] CFunDeps CFields
Cinstance CQType [CDefl]
CValue Id [CClause]
CValueSign CDef
Cforeign
Fields cforg_name :: Id cforg_type :: CQType cforg_foreign_name :: Maybe String cforg_ports :: Maybe ([String], [String])
Cprimitive Id CQType
CprimType IdK
CPragma Pragma
CIinstance Id CQType
CItype IdK [Id] [Position]
CIclass (Maybe Bool) [CPred] IdK [Id] CFunDeps [Position]
CIValueSign Id CQType

Instances

Instances details

Show CDefn Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods showsPrec :: Int -> CDefn -> ShowS # show :: CDefn -> String # showList :: [CDefn] -> ShowS #
Eq CDefn Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods (==) :: CDefn -> CDefn -> Bool # (/=) :: CDefn -> CDefn -> Bool #
Ord CDefn Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods compare :: CDefn -> CDefn -> Ordering # (<) :: CDefn -> CDefn -> Bool # (<=) :: CDefn -> CDefn -> Bool # (>) :: CDefn -> CDefn -> Bool # (>=) :: CDefn -> CDefn -> Bool # max :: CDefn -> CDefn -> CDefn # min :: CDefn -> CDefn -> CDefn #
HasPosition CDefn Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: CDefn -> Position Source #
Pretty CDefn Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods pPrintPrec :: PrettyLevel -> Rational -> CDefn -> Doc # pPrint :: CDefn -> Doc # pPrintList :: PrettyLevel -> [CDefn] -> Doc #

data IdK Source #

Constructors

IdK Id
IdKind Id Kind
IdPKind Id PartialKind

Instances

Instances details

Show IdK Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods showsPrec :: Int -> IdK -> ShowS # show :: IdK -> String # showList :: [IdK] -> ShowS #
Eq IdK Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods (==) :: IdK -> IdK -> Bool # (/=) :: IdK -> IdK -> Bool #
Ord IdK Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods compare :: IdK -> IdK -> Ordering # (<) :: IdK -> IdK -> Bool # (<=) :: IdK -> IdK -> Bool # (>) :: IdK -> IdK -> Bool # (>=) :: IdK -> IdK -> Bool # max :: IdK -> IdK -> IdK # min :: IdK -> IdK -> IdK #
HasPosition IdK Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: IdK -> Position Source #
Pretty IdK Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods pPrintPrec :: PrettyLevel -> Rational -> IdK -> Doc # pPrint :: IdK -> Doc # pPrintList :: PrettyLevel -> [IdK] -> Doc #

type CFunDeps = [([Id], [Id])] Source #

data CExpr Source #

Constructors

CLam (Either Position Id) CExpr
CLamT (Either Position Id) CQType CExpr
Cletseq [CDefl] CExpr
Cletrec [CDefl] CExpr
CSelect CExpr Id
CCon Id [CExpr]
Ccase Position CExpr CCaseArms
CStruct (Maybe Bool) Id [(Id, CExpr)]
CStructUpd CExpr [(Id, CExpr)]
Cwrite Position CExpr CExpr
CAny Position UndefKind
CVar Id
CApply CExpr [CExpr]
CTaskApply CExpr [CExpr]
CTaskApplyT CExpr CType [CExpr]
CLit CLiteral
CBinOp CExpr Id CExpr
CHasType CExpr CQType
Cif Position CExpr CExpr CExpr
CSub Position CExpr CExpr
CSub2 CExpr CExpr CExpr
CSubUpdate Position CExpr (CExpr, CExpr) CExpr
Cmodule Position [CMStmt]
Cinterface Position (Maybe Id) [CDefl]
CmoduleVerilog CExpr Bool VClockInfo VResetInfo [(VArgInfo, CExpr)] [VFieldInfo] VSchedInfo VPathInfo
CForeignFuncC Id CQType
Cdo Bool CStmts
Caction Position CStmts
Crules [CSchedulePragma] [CRule]
COper [COp]
CCon1 Id Id CExpr
CSelectTT Id CExpr Id
CCon0 (Maybe Id) Id
CConT Id Id [CExpr]
CStructT CType [(Id, CExpr)]
CSelectT Id Id
CLitT CType CLiteral
CAnyT Position UndefKind CType
CmoduleVerilogT CType CExpr Bool VClockInfo VResetInfo [(VArgInfo, CExpr)] [VFieldInfo] VSchedInfo VPathInfo
CForeignFuncCT Id CType
CTApply CExpr [CType]
Cattributes [(Position, PProp)]

Instances

Instances details

Show CExpr Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods showsPrec :: Int -> CExpr -> ShowS # show :: CExpr -> String # showList :: [CExpr] -> ShowS #
Eq CExpr Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods (==) :: CExpr -> CExpr -> Bool # (/=) :: CExpr -> CExpr -> Bool #
Ord CExpr Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods compare :: CExpr -> CExpr -> Ordering # (<) :: CExpr -> CExpr -> Bool # (<=) :: CExpr -> CExpr -> Bool # (>) :: CExpr -> CExpr -> Bool # (>=) :: CExpr -> CExpr -> Bool # max :: CExpr -> CExpr -> CExpr # min :: CExpr -> CExpr -> CExpr #
HasPosition CExpr Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: CExpr -> Position Source #
Pretty CExpr Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods pPrintPrec :: PrettyLevel -> Rational -> CExpr -> Doc # pPrint :: CExpr -> Doc # pPrintList :: PrettyLevel -> [CExpr] -> Doc #

data CLiteral Source #

Constructors

CLiteral Position Literal

Instances

Instances details

Show CLiteral Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods showsPrec :: Int -> CLiteral -> ShowS # show :: CLiteral -> String # showList :: [CLiteral] -> ShowS #
Eq CLiteral Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods (==) :: CLiteral -> CLiteral -> Bool # (/=) :: CLiteral -> CLiteral -> Bool #
Ord CLiteral Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods compare :: CLiteral -> CLiteral -> Ordering # (<) :: CLiteral -> CLiteral -> Bool # (<=) :: CLiteral -> CLiteral -> Bool # (>) :: CLiteral -> CLiteral -> Bool # (>=) :: CLiteral -> CLiteral -> Bool # max :: CLiteral -> CLiteral -> CLiteral # min :: CLiteral -> CLiteral -> CLiteral #
HasPosition CLiteral Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: CLiteral -> Position Source #
Pretty CLiteral Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods pPrintPrec :: PrettyLevel -> Rational -> CLiteral -> Doc # pPrint :: CLiteral -> Doc # pPrintList :: PrettyLevel -> [CLiteral] -> Doc #

data COp Source #

Constructors

CRand CExpr
CRator Int Id

Instances

Instances details

Show COp Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods showsPrec :: Int -> COp -> ShowS # show :: COp -> String # showList :: [COp] -> ShowS #
Eq COp Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods (==) :: COp -> COp -> Bool # (/=) :: COp -> COp -> Bool #
Ord COp Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods compare :: COp -> COp -> Ordering # (<) :: COp -> COp -> Bool # (<=) :: COp -> COp -> Bool # (>) :: COp -> COp -> Bool # (>=) :: COp -> COp -> Bool # max :: COp -> COp -> COp # min :: COp -> COp -> COp #
HasPosition COp Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: COp -> Position Source #
Pretty COp Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods pPrintPrec :: PrettyLevel -> Rational -> COp -> Doc # pPrint :: COp -> Doc # pPrintList :: PrettyLevel -> [COp] -> Doc #

type CSummands = [CInternalSummand] Source #

data CInternalSummand Source #

Constructors

CInternalSummand
Fields cis_names :: [Id] cis_arg_type :: CType cis_tag_encoding :: Integer

Instances

Instances details

Show CInternalSummand Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods showsPrec :: Int -> CInternalSummand -> ShowS # show :: CInternalSummand -> String # showList :: [CInternalSummand] -> ShowS #
Eq CInternalSummand Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods (==) :: CInternalSummand -> CInternalSummand -> Bool # (/=) :: CInternalSummand -> CInternalSummand -> Bool #
Ord CInternalSummand Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods compare :: CInternalSummand -> CInternalSummand -> Ordering # (<) :: CInternalSummand -> CInternalSummand -> Bool # (<=) :: CInternalSummand -> CInternalSummand -> Bool # (>) :: CInternalSummand -> CInternalSummand -> Bool # (>=) :: CInternalSummand -> CInternalSummand -> Bool # max :: CInternalSummand -> CInternalSummand -> CInternalSummand # min :: CInternalSummand -> CInternalSummand -> CInternalSummand #
HasPosition CInternalSummand Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: CInternalSummand -> Position Source #

type COSummands = [COriginalSummand] Source #

data COriginalSummand Source #

Constructors

COriginalSummand
Fields cos_names :: [Id] cos_arg_types :: [CQType] cos_field_names :: Maybe [Id] cos_tag_encoding :: Maybe Integer

Instances

Instances details

Show COriginalSummand Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods showsPrec :: Int -> COriginalSummand -> ShowS # show :: COriginalSummand -> String # showList :: [COriginalSummand] -> ShowS #
Eq COriginalSummand Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods (==) :: COriginalSummand -> COriginalSummand -> Bool # (/=) :: COriginalSummand -> COriginalSummand -> Bool #
Ord COriginalSummand Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods compare :: COriginalSummand -> COriginalSummand -> Ordering # (<) :: COriginalSummand -> COriginalSummand -> Bool # (<=) :: COriginalSummand -> COriginalSummand -> Bool # (>) :: COriginalSummand -> COriginalSummand -> Bool # (>=) :: COriginalSummand -> COriginalSummand -> Bool # max :: COriginalSummand -> COriginalSummand -> COriginalSummand # min :: COriginalSummand -> COriginalSummand -> COriginalSummand #

data CField Source #

Constructors

CField
Fields cf_name :: Id cf_pragmas :: Maybe [IfcPragma] cf_type :: CQType cf_default :: [CClause] cf_orig_type :: Maybe CType

Instances

Instances details

Show CField Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods showsPrec :: Int -> CField -> ShowS # show :: CField -> String # showList :: [CField] -> ShowS #
Eq CField Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods (==) :: CField -> CField -> Bool # (/=) :: CField -> CField -> Bool #
Ord CField Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods compare :: CField -> CField -> Ordering # (<) :: CField -> CField -> Bool # (<=) :: CField -> CField -> Bool # (>) :: CField -> CField -> Bool # (>=) :: CField -> CField -> Bool # max :: CField -> CField -> CField # min :: CField -> CField -> CField #
Pretty CField Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods pPrintPrec :: PrettyLevel -> Rational -> CField -> Doc # pPrint :: CField -> Doc # pPrintList :: PrettyLevel -> [CField] -> Doc #

type CFields = [CField] Source #

data CCaseArm Source #

Constructors

CCaseArm
Fields cca_pattern :: CPat cca_filters :: [CQual] cca_consequent :: CExpr

Instances

Instances details

Show CCaseArm Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods showsPrec :: Int -> CCaseArm -> ShowS # show :: CCaseArm -> String # showList :: [CCaseArm] -> ShowS #
Eq CCaseArm Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods (==) :: CCaseArm -> CCaseArm -> Bool # (/=) :: CCaseArm -> CCaseArm -> Bool #
Ord CCaseArm Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods compare :: CCaseArm -> CCaseArm -> Ordering # (<) :: CCaseArm -> CCaseArm -> Bool # (<=) :: CCaseArm -> CCaseArm -> Bool # (>) :: CCaseArm -> CCaseArm -> Bool # (>=) :: CCaseArm -> CCaseArm -> Bool # max :: CCaseArm -> CCaseArm -> CCaseArm # min :: CCaseArm -> CCaseArm -> CCaseArm #
HasPosition CCaseArm Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: CCaseArm -> Position Source #

type CCaseArms = [CCaseArm] Source #

data CStmt Source #

Constructors

CSBindT CPat (Maybe CExpr) [(Position, PProp)] CQType CExpr
CSBind CPat (Maybe CExpr) [(Position, PProp)] CExpr
CSletseq [CDefl]
CSletrec [CDefl]
CSExpr (Maybe CExpr) CExpr

Instances

Instances details

Show CStmt Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods showsPrec :: Int -> CStmt -> ShowS # show :: CStmt -> String # showList :: [CStmt] -> ShowS #
Eq CStmt Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods (==) :: CStmt -> CStmt -> Bool # (/=) :: CStmt -> CStmt -> Bool #
Ord CStmt Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods compare :: CStmt -> CStmt -> Ordering # (<) :: CStmt -> CStmt -> Bool # (<=) :: CStmt -> CStmt -> Bool # (>) :: CStmt -> CStmt -> Bool # (>=) :: CStmt -> CStmt -> Bool # max :: CStmt -> CStmt -> CStmt # min :: CStmt -> CStmt -> CStmt #
HasPosition CStmt Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: CStmt -> Position Source #
Pretty CStmt Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods pPrintPrec :: PrettyLevel -> Rational -> CStmt -> Doc # pPrint :: CStmt -> Doc # pPrintList :: PrettyLevel -> [CStmt] -> Doc #

type CStmts = [CStmt] Source #

data CMStmt Source #

Constructors

CMStmt CStmt
CMrules CExpr
CMinterface CExpr
CMTupleInterface Position [CExpr]

Instances

Instances details

Show CMStmt Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods showsPrec :: Int -> CMStmt -> ShowS # show :: CMStmt -> String # showList :: [CMStmt] -> ShowS #
Eq CMStmt Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods (==) :: CMStmt -> CMStmt -> Bool # (/=) :: CMStmt -> CMStmt -> Bool #
Ord CMStmt Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods compare :: CMStmt -> CMStmt -> Ordering # (<) :: CMStmt -> CMStmt -> Bool # (<=) :: CMStmt -> CMStmt -> Bool # (>) :: CMStmt -> CMStmt -> Bool # (>=) :: CMStmt -> CMStmt -> Bool # max :: CMStmt -> CMStmt -> CMStmt # min :: CMStmt -> CMStmt -> CMStmt #
HasPosition CMStmt Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: CMStmt -> Position Source #
Pretty CMStmt Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods pPrintPrec :: PrettyLevel -> Rational -> CMStmt -> Doc # pPrint :: CMStmt -> Doc # pPrintList :: PrettyLevel -> [CMStmt] -> Doc #

data CRule Source #

Constructors

CRule [RulePragma] (Maybe CExpr) [CQual] CExpr
CRuleNest [RulePragma] (Maybe CExpr) [CQual] [CRule]

Instances

Instances details

Show CRule Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods showsPrec :: Int -> CRule -> ShowS # show :: CRule -> String # showList :: [CRule] -> ShowS #
Eq CRule Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods (==) :: CRule -> CRule -> Bool # (/=) :: CRule -> CRule -> Bool #
Ord CRule Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods compare :: CRule -> CRule -> Ordering # (<) :: CRule -> CRule -> Bool # (<=) :: CRule -> CRule -> Bool # (>) :: CRule -> CRule -> Bool # (>=) :: CRule -> CRule -> Bool # max :: CRule -> CRule -> CRule # min :: CRule -> CRule -> CRule #
HasPosition CRule Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: CRule -> Position Source #
Pretty CRule Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods pPrintPrec :: PrettyLevel -> Rational -> CRule -> Doc # pPrint :: CRule -> Doc # pPrintList :: PrettyLevel -> [CRule] -> Doc #

data CDefl Source #

A definition with a binding. Can occur as a let expression, let statement in a do block, a typeclass instance defn, or bindings in an interface.

Constructors

CLValueSign CDef [CQual]
CLValue Id [CClause] [CQual]
CLMatch CPat CExpr

Instances

Instances details

Show CDefl Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods showsPrec :: Int -> CDefl -> ShowS # show :: CDefl -> String # showList :: [CDefl] -> ShowS #
Eq CDefl Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods (==) :: CDefl -> CDefl -> Bool # (/=) :: CDefl -> CDefl -> Bool #
Ord CDefl Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods compare :: CDefl -> CDefl -> Ordering # (<) :: CDefl -> CDefl -> Bool # (<=) :: CDefl -> CDefl -> Bool # (>) :: CDefl -> CDefl -> Bool # (>=) :: CDefl -> CDefl -> Bool # max :: CDefl -> CDefl -> CDefl # min :: CDefl -> CDefl -> CDefl #
HasPosition CDefl Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: CDefl -> Position Source #
Pretty CDefl Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods pPrintPrec :: PrettyLevel -> Rational -> CDefl -> Doc # pPrint :: CDefl -> Doc # pPrintList :: PrettyLevel -> [CDefl] -> Doc #

data CDef Source #

Constructors

CDef Id CQType [CClause]
CDefT Id [TyVar] CQType [CClause]

Instances

Instances details

Show CDef Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods showsPrec :: Int -> CDef -> ShowS # show :: CDef -> String # showList :: [CDef] -> ShowS #
Eq CDef Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods (==) :: CDef -> CDef -> Bool # (/=) :: CDef -> CDef -> Bool #
Ord CDef Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods compare :: CDef -> CDef -> Ordering # (<) :: CDef -> CDef -> Bool # (<=) :: CDef -> CDef -> Bool # (>) :: CDef -> CDef -> Bool # (>=) :: CDef -> CDef -> Bool # max :: CDef -> CDef -> CDef # min :: CDef -> CDef -> CDef #
HasPosition CDef Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: CDef -> Position Source #
Pretty CDef Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods pPrintPrec :: PrettyLevel -> Rational -> CDef -> Doc # pPrint :: CDef -> Doc # pPrintList :: PrettyLevel -> [CDef] -> Doc #

data CClause Source #

Constructors

CClause [CPat] [CQual] CExpr

Instances

Instances details

Show CClause Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods showsPrec :: Int -> CClause -> ShowS # show :: CClause -> String # showList :: [CClause] -> ShowS #
Eq CClause Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods (==) :: CClause -> CClause -> Bool # (/=) :: CClause -> CClause -> Bool #
Ord CClause Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods compare :: CClause -> CClause -> Ordering # (<) :: CClause -> CClause -> Bool # (<=) :: CClause -> CClause -> Bool # (>) :: CClause -> CClause -> Bool # (>=) :: CClause -> CClause -> Bool # max :: CClause -> CClause -> CClause # min :: CClause -> CClause -> CClause #
HasPosition CClause Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: CClause -> Position Source #
Pretty CClause Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods pPrintPrec :: PrettyLevel -> Rational -> CClause -> Doc # pPrint :: CClause -> Doc # pPrintList :: PrettyLevel -> [CClause] -> Doc #

data CQual Source #

Constructors

CQGen CType CPat CExpr
CQFilter CExpr

Instances

Instances details

Show CQual Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods showsPrec :: Int -> CQual -> ShowS # show :: CQual -> String # showList :: [CQual] -> ShowS #
Eq CQual Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods (==) :: CQual -> CQual -> Bool # (/=) :: CQual -> CQual -> Bool #
Ord CQual Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods compare :: CQual -> CQual -> Ordering # (<) :: CQual -> CQual -> Bool # (<=) :: CQual -> CQual -> Bool # (>) :: CQual -> CQual -> Bool # (>=) :: CQual -> CQual -> Bool # max :: CQual -> CQual -> CQual # min :: CQual -> CQual -> CQual #
HasPosition CQual Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: CQual -> Position Source #
Pretty CQual Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods pPrintPrec :: PrettyLevel -> Rational -> CQual -> Doc # pPrint :: CQual -> Doc # pPrintList :: PrettyLevel -> [CQual] -> Doc #

data CPat Source #

Constructors

CPCon Id [CPat]
CPstruct (Maybe Bool) Id [(Id, CPat)]
CPVar Id
CPAs Id CPat
CPAny Position
CPLit CLiteral
CPMixedLit Position Integer [(Integer, Maybe Integer)]
CPOper [CPOp]
CPCon1 Id Id CPat
CPConTs Id Id [CType] [CPat]

Instances

Instances details

Show CPat Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods showsPrec :: Int -> CPat -> ShowS # show :: CPat -> String # showList :: [CPat] -> ShowS #
Eq CPat Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods (==) :: CPat -> CPat -> Bool # (/=) :: CPat -> CPat -> Bool #
Ord CPat Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods compare :: CPat -> CPat -> Ordering # (<) :: CPat -> CPat -> Bool # (<=) :: CPat -> CPat -> Bool # (>) :: CPat -> CPat -> Bool # (>=) :: CPat -> CPat -> Bool # max :: CPat -> CPat -> CPat # min :: CPat -> CPat -> CPat #
HasPosition CPat Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: CPat -> Position Source #
Pretty CPat Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods pPrintPrec :: PrettyLevel -> Rational -> CPat -> Doc # pPrint :: CPat -> Doc # pPrintList :: PrettyLevel -> [CPat] -> Doc #

data CPOp Source #

Constructors

CPRand CPat
CPRator Int Id

Instances

Instances details

Show CPOp Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods showsPrec :: Int -> CPOp -> ShowS # show :: CPOp -> String # showList :: [CPOp] -> ShowS #
Eq CPOp Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods (==) :: CPOp -> CPOp -> Bool # (/=) :: CPOp -> CPOp -> Bool #
Ord CPOp Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods compare :: CPOp -> CPOp -> Ordering # (<) :: CPOp -> CPOp -> Bool # (<=) :: CPOp -> CPOp -> Bool # (>) :: CPOp -> CPOp -> Bool # (>=) :: CPOp -> CPOp -> Bool # max :: CPOp -> CPOp -> CPOp # min :: CPOp -> CPOp -> CPOp #
HasPosition CPOp Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods getPosition :: CPOp -> Position Source #
Pretty CPOp Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods pPrintPrec :: PrettyLevel -> Rational -> CPOp -> Doc # pPrint :: CPOp -> Doc # pPrintList :: PrettyLevel -> [CPOp] -> Doc #

newtype CInclude Source #

Constructors

CInclude String

Instances

Instances details

Show CInclude Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods showsPrec :: Int -> CInclude -> ShowS # show :: CInclude -> String # showList :: [CInclude] -> ShowS #
Eq CInclude Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods (==) :: CInclude -> CInclude -> Bool # (/=) :: CInclude -> CInclude -> Bool #
Ord CInclude Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods compare :: CInclude -> CInclude -> Ordering # (<) :: CInclude -> CInclude -> Bool # (<=) :: CInclude -> CInclude -> Bool # (>) :: CInclude -> CInclude -> Bool # (>=) :: CInclude -> CInclude -> Bool # max :: CInclude -> CInclude -> CInclude # min :: CInclude -> CInclude -> CInclude #
Pretty CInclude Source #
Instance details Defined in Language.Bluespec.Classic.AST.Syntax Methods pPrintPrec :: PrettyLevel -> Rational -> CInclude -> Doc # pPrint :: CInclude -> Doc # pPrintList :: PrettyLevel -> [CInclude] -> Doc #

cApply :: Int -> CExpr -> [CExpr] -> CExpr Source #

cVApply :: Id -> [CExpr] -> CExpr Source #

getName :: CDefn -> Either Position Id Source #

iKName :: IdK -> Id Source #