language-bluespec-0.1: An implementation of the Bluespec Haskell AST
Safe HaskellNone
LanguageHaskell2010

Language.Bluespec.Classic.AST.Syntax

Synopsis

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 #

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

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 #

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

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 #

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

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 #

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

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

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

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

data CField Source #

Constructors

CField 

Fields

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

data CCaseArm Source #

Constructors

CCaseArm 

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

data CStmt Source #

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

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 #

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

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

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.

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

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 #

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

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

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 #

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

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

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

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 #