Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data Type
- data TyVar = TyVar {}
- data TyCon
- data TISort
- = TItype Integer Type
- | TIdata {
- tidata_cons :: [Id]
- tidata_enum :: Bool
- | TIstruct StructSubType [Id]
- | TIabstract
- data StructSubType
- = SStruct
- | SClass
- | SDataCon { }
- | SInterface [IfcPragma]
- | SPolyWrap {
- spolywrap_id :: Id
- spolywrap_ctor :: Maybe Id
- spolywrap_field :: Id
- type CType = Type
- data Kind
- data 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
Representation of types
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
Show Type Source # | |
Eq Type Source # | |
Ord Type Source # | |
HasKind Type Source # | |
HasPosition Type Source # | |
Defined in Language.Bluespec.Classic.AST.Type getPosition :: Type -> Position Source # | |
Pretty Type Source # | |
Defined in Language.Bluespec.Classic.AST.Type pPrintPrec :: PrettyLevel -> Rational -> Type -> Doc # pPrintList :: PrettyLevel -> [Type] -> Doc # |
Representation of a type variable
Instances
Show TyVar Source # | |
Eq TyVar Source # | |
Ord TyVar Source # | |
HasKind TyVar Source # | |
HasPosition TyVar Source # | |
Defined in Language.Bluespec.Classic.AST.Type getPosition :: TyVar -> Position Source # | |
Pretty TyVar Source # | |
Defined in Language.Bluespec.Classic.AST.Type pPrintPrec :: PrettyLevel -> Rational -> TyVar -> Doc # pPrintList :: PrettyLevel -> [TyVar] -> Doc # |
Representation of a type constructor
TyCon | A constructor for a type of value kind |
TyNum | A constructor for a type of numeric kind |
| |
TyStr | A constructor for a type of string kind |
|
Instances
Show TyCon Source # | |
Eq TyCon Source # | |
Ord TyCon Source # | |
HasKind TyCon Source # | |
HasPosition TyCon Source # | |
Defined in Language.Bluespec.Classic.AST.Type getPosition :: TyCon -> Position Source # | |
Pretty TyCon Source # | |
Defined in Language.Bluespec.Classic.AST.Type pPrintPrec :: PrettyLevel -> Rational -> TyCon -> Doc # pPrintList :: PrettyLevel -> [TyCon] -> Doc # |
TItype Integer Type | |
TIdata | |
| |
TIstruct StructSubType [Id] | |
TIabstract |
data StructSubType Source #
SStruct | |
SClass | |
SDataCon | |
SInterface [IfcPragma] | |
SPolyWrap | |
|
Instances
Representation of kinds
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) |
data PartialKind Source #
Instances
Show PartialKind Source # | |
Defined in Language.Bluespec.Classic.AST.Type showsPrec :: Int -> PartialKind -> ShowS # show :: PartialKind -> String # showList :: [PartialKind] -> ShowS # | |
Eq PartialKind Source # | |
Defined in Language.Bluespec.Classic.AST.Type (==) :: PartialKind -> PartialKind -> Bool # (/=) :: PartialKind -> PartialKind -> Bool # | |
Ord PartialKind Source # | |
Defined in Language.Bluespec.Classic.AST.Type 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 # | |
Defined in Language.Bluespec.Classic.AST.Type pPrintPrec :: PrettyLevel -> Rational -> PartialKind -> Doc # pPrint :: PartialKind -> Doc # pPrintList :: PrettyLevel -> [PartialKind] -> Doc # |
newtype CTypeclass Source #
A named typeclass
Instances
Representation of the provisos and other class constraints
CPred | |
|
Instances
Show CPred Source # | |
Eq CPred Source # | |
Ord CPred Source # | |
HasPosition CPred Source # | |
Defined in Language.Bluespec.Classic.AST.Type getPosition :: CPred -> Position Source # | |
Pretty CPred Source # | |
Defined in Language.Bluespec.Classic.AST.Type pPrintPrec :: PrettyLevel -> Rational -> CPred -> Doc # pPrintList :: PrettyLevel -> [CPred] -> Doc # |
Instances
Show CQType Source # | |
Eq CQType Source # | |
Ord CQType Source # | |
HasPosition CQType Source # | |
Defined in Language.Bluespec.Classic.AST.Type getPosition :: CQType -> Position Source # | |
Pretty CQType Source # | |
Defined in Language.Bluespec.Classic.AST.Type pPrintPrec :: PrettyLevel -> Rational -> CQType -> Doc # pPrintList :: PrettyLevel -> [CQType] -> Doc # |
isTConArrow :: TyCon -> Bool Source #
isTConPair :: TyCon -> Bool Source #