Safe Haskell	None
Language	Haskell2010

Language.Bluespec.Classic.AST.Type

Synopsis

data Type
- = TVar TyVar
- | TCon TyCon
- | TAp Type Type
- | TGen Position Int
- | TDefMonad Position
data TyVar = TyVar {
- tv_name :: Id
- tv_num :: Int
- tv_kind :: Kind
}
data TyCon
- = TyCon {
  - tcon_name :: Id
  - tcon_kind :: Maybe Kind
  - tcon_sort :: TISort
  }
- | TyNum {
  - tynum_value :: Integer
  - tynum_pos :: Position
  }
- | TyStr {
  - tystr_value :: FString
  - tystr_pos :: Position
  }
data TISort
- = TItype Integer Type
- | TIdata {
  - tidata_cons :: [Id]
  - tidata_enum :: Bool
  }
- | TIstruct StructSubType [Id]
- | TIabstract
data StructSubType
- = SStruct
- | SClass
- | SDataCon {
  - sdatacon_id :: Id
  - sdatacon_named_fields :: Bool
  }
- | SInterface [IfcPragma]
- | SPolyWrap {
  - spolywrap_id :: Id
  - spolywrap_ctor :: Maybe Id
  - spolywrap_field :: Id
  }
type CType = Type
data Kind
- = KStar
- | KNum
- | KStr
- | Kfun Kind Kind
- | KVar Int
data PartialKind
- = PKNoInfo
- | PKStar
- | PKNum
- | PKStr
- | PKfun PartialKind PartialKind
newtype CTypeclass = CTypeclass Id
data CPred = CPred {
- cpred_tc :: CTypeclass
- cpred_args :: [CType]
}
data CQType = CQType [CPred] CType
baseKVar :: Int
cTNum :: Integer -> Position -> CType
isTConArrow :: TyCon -> Bool
isTConPair :: TyCon -> Bool
leftCon :: CType -> Maybe Id

Documentation

data Type Source #

Representation of types

Constructors

TVar TyVar	type variable
TCon TyCon	type constructor
TAp Type Type	type-level application
TGen Position Int	quantified type variable used in type schemes
TDefMonad Position	not used after CVParserImperative

Instances

Instances details

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

data TyVar Source #

Representation of a type variable

Constructors

TyVar
Fields tv_name :: Id name of the type variable tv_num :: Int number for a generated type variable tv_kind :: Kind kind of the type variable

Instances

Instances details

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

data TyCon Source #

Representation of a type constructor

Constructors

TyCon	A constructor for a type of value kind
Fields tcon_name :: Id name of the type constructor tcon_kind :: Maybe Kind kind of the type constructor tcon_sort :: TISort purpose of the type constructor
TyNum	A constructor for a type of numeric kind
Fields tynum_value :: Integer type-level numeric value tynum_pos :: Position position of introduction
TyStr	A constructor for a type of string kind
Fields tystr_value :: FString type-level string value tystr_pos :: Position position of introduction

Instances

Instances details

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

data TISort Source #

Constructors

TItype Integer Type
TIdata
Fields tidata_cons :: [Id] tidata_enum :: Bool
TIstruct StructSubType [Id]
TIabstract

Instances

Instances details

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

data StructSubType Source #

Constructors

SStruct
SClass
SDataCon
Fields sdatacon_id :: Id sdatacon_named_fields :: Bool
SInterface [IfcPragma]
SPolyWrap
Fields spolywrap_id :: Id name of the type with the wrapped field spolywrap_ctor :: Maybe Id name of the data constructor spolywrap_field :: Id name of the wrapped field

Instances

Instances details

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

type CType = Type Source #

data Kind Source #

Representation of kinds

Constructors

KStar	kind of a simple value type
KNum	kind of a simple numeric type
KStr	kind of a simple string type
Kfun Kind Kind	kind of type constructors (type-level function)
KVar Int	generated kind variable (used only during kind inference)

Instances

Instances details

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

data PartialKind Source #

Constructors

PKNoInfo
PKStar
PKNum
PKStr
PKfun PartialKind PartialKind

Instances

Instances details

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

newtype CTypeclass Source #

A named typeclass

Constructors

CTypeclass Id

Instances

Instances details

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

data CPred Source #

Representation of the provisos and other class constraints

Constructors

CPred
Fields cpred_tc :: CTypeclass constraint class, e.g., Eq cpred_args :: [CType] argument types

Instances

Instances details

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

data CQType Source #

Constructors

CQType [CPred] CType

Instances

Instances details

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

baseKVar :: Int Source #

cTNum :: Integer -> Position -> CType Source #

isTConArrow :: TyCon -> Bool Source #

isTConPair :: TyCon -> Bool Source #

leftCon :: CType -> Maybe Id Source #