Copyright	(c) roki 2019
License	MIT
Maintainer	falgon53@yahoo.co.jp
Stability	experimental
Portability	POSIX
Safe Haskell	None
Language	Haskell2010

Htcc.CRules.Types.StorageClass

Contents

StorageClass data type and class

Description

The storage-class of C language

Synopsis

data StorageClass i
- = SCAuto (TypeKind i)
- | SCStatic (TypeKind i)
- | SCRegister (TypeKind i)
- | SCUndef (TypeKind i)
class StorageClassBase a where
- isSCStatic :: a i -> Bool

StorageClass data type and class

data StorageClass i Source #

The data type representing StorageClass

Constructors

SCAuto (TypeKind i)	The `auto` keyword
SCStatic (TypeKind i)	The `static` keyword
SCRegister (TypeKind i)	The `register` keyword
SCUndef (TypeKind i)	`SCUndef` is used when storage-class specifier is not defined

Instances

Instances details

IncompleteBase StorageClass Source #
Instance details Defined in Htcc.CRules.Types.StorageClass Methods isIncompleteArray :: StorageClass i -> Bool Source # isIncompleteStruct :: StorageClass i -> Bool Source # fromIncompleteStruct :: StorageClass i -> Maybe Text Source # fromIncompleteArray :: StorageClass i -> Maybe (TypeKind i) Source # isValidIncomplete :: Ord i => StorageClass i -> Bool Source #
TypeKindBase StorageClass Source #
Instance details Defined in Htcc.CRules.Types.StorageClass Methods isCTArray :: StorageClass i -> Bool Source # isArray :: StorageClass i -> Bool Source # isCTStruct :: StorageClass i -> Bool Source # isCTUndef :: StorageClass i -> Bool Source # isCTIncomplete :: StorageClass i -> Bool Source # makeCTArray :: [Natural] -> StorageClass i -> StorageClass i Source # concatCTArray :: Ord i => StorageClass i -> StorageClass i -> Maybe (StorageClass i) Source # toTypeKind :: StorageClass i -> TypeKind i Source # mapTypeKind :: (TypeKind i -> TypeKind j) -> StorageClass i -> StorageClass j Source #
StorageClassBase StorageClass Source #
Instance details Defined in Htcc.CRules.Types.StorageClass Methods isSCStatic :: StorageClass i -> Bool Source #
Eq i => Eq (StorageClass i) Source #
Instance details Defined in Htcc.CRules.Types.StorageClass Methods (==) :: StorageClass i -> StorageClass i -> Bool # (/=) :: StorageClass i -> StorageClass i -> Bool #
Ord i => Ord (StorageClass i) Source #
Instance details Defined in Htcc.CRules.Types.StorageClass Methods compare :: StorageClass i -> StorageClass i -> Ordering # (<) :: StorageClass i -> StorageClass i -> Bool # (<=) :: StorageClass i -> StorageClass i -> Bool # (>) :: StorageClass i -> StorageClass i -> Bool # (>=) :: StorageClass i -> StorageClass i -> Bool # max :: StorageClass i -> StorageClass i -> StorageClass i # min :: StorageClass i -> StorageClass i -> StorageClass i #
Show i => Show (StorageClass i) Source #
Instance details Defined in Htcc.CRules.Types.StorageClass Methods showsPrec :: Int -> StorageClass i -> ShowS # show :: StorageClass i -> String # showList :: [StorageClass i] -> ShowS #
Generic (StorageClass i) Source #
Instance details Defined in Htcc.CRules.Types.StorageClass Associated Types type Rep (StorageClass i) :: Type -> Type # Methods from :: StorageClass i -> Rep (StorageClass i) x # to :: Rep (StorageClass i) x -> StorageClass i #
NFData i => NFData (StorageClass i) Source #
Instance details Defined in Htcc.CRules.Types.StorageClass Methods rnf :: StorageClass i -> () #
Ord i => CType (StorageClass i) Source #
Instance details Defined in Htcc.CRules.Types.StorageClass Methods isFundamental :: StorageClass i -> Bool Source # qualify :: StorageClass i -> StorageClass i -> Maybe (StorageClass i) Source # sizeof :: StorageClass i -> Natural Source # alignof :: StorageClass i -> Natural Source # deref :: StorageClass i -> Maybe (StorageClass i) Source # ctorPtr :: Natural -> StorageClass i -> StorageClass i Source # dctorPtr :: StorageClass i -> (StorageClass i, StorageClass i -> StorageClass i) Source # dctorArray :: StorageClass i -> (StorageClass i, StorageClass i -> StorageClass i) Source # removeAllExtents :: StorageClass i -> StorageClass i Source # conversion :: StorageClass i -> StorageClass i -> StorageClass i Source # implicitInt :: StorageClass i -> StorageClass i Source #
type Rep (StorageClass i) Source #
Instance details Defined in Htcc.CRules.Types.StorageClass type Rep (StorageClass i) = D1 ('MetaData "StorageClass" "Htcc.CRules.Types.StorageClass" "htcc-0.0.0.1-I8tHuOdNzco4DzUthNftqr" 'False) ((C1 ('MetaCons "SCAuto" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TypeKind i))) :+: C1 ('MetaCons "SCStatic" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TypeKind i)))) :+: (C1 ('MetaCons "SCRegister" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TypeKind i))) :+: C1 ('MetaCons "SCUndef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TypeKind i)))))

class StorageClassBase a where Source #

Class to a type based on StorageClass.

Methods

isSCStatic :: a i -> Bool Source #

When the given argument is SCStatic, isSCStatic returns True, otherwise False.

Instances

Instances details

StorageClassBase StorageClass Source #
Instance details Defined in Htcc.CRules.Types.StorageClass Methods isSCStatic :: StorageClass i -> Bool Source #