Language.C.Types

Views of C datatypes. While Language.C.Types.Parse defines datatypes for representing the concrete syntax tree of C types, this module provides friendlier views of C types, by turning them into a data type matching more closely how we read and think about types, both in Haskell and in C. To appreciate the difference, look at the difference between ParameterDeclaration and ParameterDeclaration.

As a bonus, routines are provided for describing types in natural language (English) -- see describeParameterDeclaration and describeType.

Types

data CIdentifier

A type for C identifiers.

Instances

Eq CIdentifier

Defined in Language.C.Types.Parse

Methods

(==) :: CIdentifier -> CIdentifier -> Bool

(/=) :: CIdentifier -> CIdentifier -> Bool

Ord CIdentifier

Defined in Language.C.Types.Parse

Methods

compare :: CIdentifier -> CIdentifier -> Ordering

(<) :: CIdentifier -> CIdentifier -> Bool

(<=) :: CIdentifier -> CIdentifier -> Bool

(>) :: CIdentifier -> CIdentifier -> Bool

(>=) :: CIdentifier -> CIdentifier -> Bool

max :: CIdentifier -> CIdentifier -> CIdentifier

min :: CIdentifier -> CIdentifier -> CIdentifier

Show CIdentifier

Defined in Language.C.Types.Parse

Methods

showsPrec :: Int -> CIdentifier -> ShowS

show :: CIdentifier -> String

showList :: [CIdentifier] -> ShowS

IsString CIdentifier

Defined in Language.C.Types.Parse

Methods

fromString :: String -> CIdentifier

Pretty CIdentifier

Defined in Language.C.Types.Parse

Methods

pretty :: CIdentifier -> Doc

prettyList :: [CIdentifier] -> Doc

Hashable CIdentifier

Defined in Language.C.Types.Parse

Methods

hashWithSalt :: Int -> CIdentifier -> Int

hash :: CIdentifier -> Int

unCIdentifier :: CIdentifier -> String

cIdentifierFromString :: String -> Either String CIdentifier

data StorageClassSpecifier

Constructors

TYPEDEF

EXTERN

STATIC

AUTO

REGISTER

Instances

Eq StorageClassSpecifier

Defined in Language.C.Types.Parse

Methods

(==) :: StorageClassSpecifier -> StorageClassSpecifier -> Bool

(/=) :: StorageClassSpecifier -> StorageClassSpecifier -> Bool

Show StorageClassSpecifier

Defined in Language.C.Types.Parse

Methods

showsPrec :: Int -> StorageClassSpecifier -> ShowS

show :: StorageClassSpecifier -> String

showList :: [StorageClassSpecifier] -> ShowS

Pretty StorageClassSpecifier

Defined in Language.C.Types.Parse

Methods

pretty :: StorageClassSpecifier -> Doc

prettyList :: [StorageClassSpecifier] -> Doc

data TypeQualifier

Constructors

CONST

RESTRICT

VOLATILE

Instances

Eq TypeQualifier

Defined in Language.C.Types.Parse

Methods

(==) :: TypeQualifier -> TypeQualifier -> Bool

(/=) :: TypeQualifier -> TypeQualifier -> Bool

Show TypeQualifier

Defined in Language.C.Types.Parse

Methods

showsPrec :: Int -> TypeQualifier -> ShowS

show :: TypeQualifier -> String

showList :: [TypeQualifier] -> ShowS

Pretty TypeQualifier

Defined in Language.C.Types.Parse

Methods

pretty :: TypeQualifier -> Doc

prettyList :: [TypeQualifier] -> Doc

data FunctionSpecifier

Constructors

INLINE

Instances

Eq FunctionSpecifier

Defined in Language.C.Types.Parse

Methods

(==) :: FunctionSpecifier -> FunctionSpecifier -> Bool

(/=) :: FunctionSpecifier -> FunctionSpecifier -> Bool

Show FunctionSpecifier

Defined in Language.C.Types.Parse

Methods

showsPrec :: Int -> FunctionSpecifier -> ShowS

show :: FunctionSpecifier -> String

showList :: [FunctionSpecifier] -> ShowS

Pretty FunctionSpecifier

Defined in Language.C.Types.Parse

Methods

pretty :: FunctionSpecifier -> Doc

prettyList :: [FunctionSpecifier] -> Doc

data ArrayType i

Constructors

VariablySized

Unsized

SizedByInteger Integer

SizedByIdentifier i

Instances

Functor ArrayType

Defined in Language.C.Types.Parse

Methods

fmap :: (a -> b) -> ArrayType a -> ArrayType b

(<$) :: a -> ArrayType b -> ArrayType a

Foldable ArrayType

Defined in Language.C.Types.Parse

Methods

fold :: Monoid m => ArrayType m -> m

foldMap :: Monoid m => (a -> m) -> ArrayType a -> m

foldr :: (a -> b -> b) -> b -> ArrayType a -> b

foldr' :: (a -> b -> b) -> b -> ArrayType a -> b

foldl :: (b -> a -> b) -> b -> ArrayType a -> b

foldl' :: (b -> a -> b) -> b -> ArrayType a -> b

foldr1 :: (a -> a -> a) -> ArrayType a -> a

foldl1 :: (a -> a -> a) -> ArrayType a -> a

toList :: ArrayType a -> [a]

null :: ArrayType a -> Bool

length :: ArrayType a -> Int

elem :: Eq a => a -> ArrayType a -> Bool

maximum :: Ord a => ArrayType a -> a

minimum :: Ord a => ArrayType a -> a

sum :: Num a => ArrayType a -> a

product :: Num a => ArrayType a -> a

Traversable ArrayType

Defined in Language.C.Types.Parse

Methods

traverse :: Applicative f => (a -> f b) -> ArrayType a -> f (ArrayType b)

sequenceA :: Applicative f => ArrayType (f a) -> f (ArrayType a)

mapM :: Monad m => (a -> m b) -> ArrayType a -> m (ArrayType b)

sequence :: Monad m => ArrayType (m a) -> m (ArrayType a)

Eq i => Eq (ArrayType i)

Defined in Language.C.Types.Parse

Methods

(==) :: ArrayType i -> ArrayType i -> Bool

(/=) :: ArrayType i -> ArrayType i -> Bool

Show i => Show (ArrayType i)

Defined in Language.C.Types.Parse

Methods

showsPrec :: Int -> ArrayType i -> ShowS

show :: ArrayType i -> String

showList :: [ArrayType i] -> ShowS

Pretty i => Pretty (ArrayType i)

Defined in Language.C.Types.Parse

Methods

pretty :: ArrayType i -> Doc

prettyList :: [ArrayType i] -> Doc

data Specifiers

Constructors

Specifiers

Fields

• storageClassSpecifiers :: [StorageClassSpecifier]
• typeQualifiers :: [TypeQualifier]
• functionSpecifiers :: [FunctionSpecifier]

Instances

Eq Specifiers

Defined in Language.C.Types

Methods

(==) :: Specifiers -> Specifiers -> Bool

(/=) :: Specifiers -> Specifiers -> Bool

Show Specifiers

Defined in Language.C.Types

Methods

showsPrec :: Int -> Specifiers -> ShowS

show :: Specifiers -> String

showList :: [Specifiers] -> ShowS

Semigroup Specifiers

Defined in Language.C.Types

Methods

(<>) :: Specifiers -> Specifiers -> Specifiers

sconcat :: NonEmpty Specifiers -> Specifiers

stimes :: Integral b => b -> Specifiers -> Specifiers

Monoid Specifiers

Defined in Language.C.Types

Methods

mempty :: Specifiers

mappend :: Specifiers -> Specifiers -> Specifiers

mconcat :: [Specifiers] -> Specifiers

data Type i

Constructors

TypeSpecifier Specifiers TypeSpecifier

Ptr [TypeQualifier] (Type i)

Array (ArrayType i) (Type i)

Proto (Type i) [ParameterDeclaration i]

Instances

Functor Type

Defined in Language.C.Types

Methods

fmap :: (a -> b) -> Type a -> Type b

(<$) :: a -> Type b -> Type a

Foldable Type

Defined in Language.C.Types

Methods

fold :: Monoid m => Type m -> m

foldMap :: Monoid m => (a -> m) -> Type a -> m

foldr :: (a -> b -> b) -> b -> Type a -> b

foldr' :: (a -> b -> b) -> b -> Type a -> b

foldl :: (b -> a -> b) -> b -> Type a -> b

foldl' :: (b -> a -> b) -> b -> Type a -> b

foldr1 :: (a -> a -> a) -> Type a -> a

foldl1 :: (a -> a -> a) -> Type a -> a

toList :: Type a -> [a]

null :: Type a -> Bool

length :: Type a -> Int

elem :: Eq a => a -> Type a -> Bool

maximum :: Ord a => Type a -> a

minimum :: Ord a => Type a -> a

sum :: Num a => Type a -> a

product :: Num a => Type a -> a

Traversable Type

Defined in Language.C.Types

Methods

traverse :: Applicative f => (a -> f b) -> Type a -> f (Type b)

sequenceA :: Applicative f => Type (f a) -> f (Type a)

mapM :: Monad m => (a -> m b) -> Type a -> m (Type b)

sequence :: Monad m => Type (m a) -> m (Type a)

Eq i => Eq (Type i)

Defined in Language.C.Types

Methods

(==) :: Type i -> Type i -> Bool

(/=) :: Type i -> Type i -> Bool

Show i => Show (Type i)

Defined in Language.C.Types

Methods

showsPrec :: Int -> Type i -> ShowS

show :: Type i -> String

showList :: [Type i] -> ShowS

Pretty i => Pretty (Type i)

Defined in Language.C.Types

Methods

pretty :: Type i -> Doc

prettyList :: [Type i] -> Doc

data TypeSpecifier

Constructors

Void

Char (Maybe Sign)

Short Sign

Int Sign

Long Sign

LLong Sign

Float

Double

LDouble

TypeName CIdentifier

Struct CIdentifier

Enum CIdentifier

Instances

Eq TypeSpecifier

Defined in Language.C.Types

Methods

(==) :: TypeSpecifier -> TypeSpecifier -> Bool

(/=) :: TypeSpecifier -> TypeSpecifier -> Bool

Ord TypeSpecifier

Defined in Language.C.Types

Methods

compare :: TypeSpecifier -> TypeSpecifier -> Ordering

(<) :: TypeSpecifier -> TypeSpecifier -> Bool

(<=) :: TypeSpecifier -> TypeSpecifier -> Bool

(>) :: TypeSpecifier -> TypeSpecifier -> Bool

(>=) :: TypeSpecifier -> TypeSpecifier -> Bool

max :: TypeSpecifier -> TypeSpecifier -> TypeSpecifier

min :: TypeSpecifier -> TypeSpecifier -> TypeSpecifier

Show TypeSpecifier

Defined in Language.C.Types

Methods

showsPrec :: Int -> TypeSpecifier -> ShowS

show :: TypeSpecifier -> String

showList :: [TypeSpecifier] -> ShowS

Pretty TypeSpecifier

Defined in Language.C.Types

Methods

pretty :: TypeSpecifier -> Doc

prettyList :: [TypeSpecifier] -> Doc

data Sign

Constructors

Signed

Unsigned

Instances

Eq Sign

Defined in Language.C.Types

Methods

(==) :: Sign -> Sign -> Bool

(/=) :: Sign -> Sign -> Bool

Ord Sign

Defined in Language.C.Types

Methods

compare :: Sign -> Sign -> Ordering

(<) :: Sign -> Sign -> Bool

(<=) :: Sign -> Sign -> Bool

(>) :: Sign -> Sign -> Bool

(>=) :: Sign -> Sign -> Bool

max :: Sign -> Sign -> Sign

min :: Sign -> Sign -> Sign

Show Sign

Defined in Language.C.Types

Methods

showsPrec :: Int -> Sign -> ShowS

show :: Sign -> String

showList :: [Sign] -> ShowS

data ParameterDeclaration i

Constructors

ParameterDeclaration

Fields

• parameterDeclarationId :: Maybe i
• parameterDeclarationType :: Type i

Instances

Functor ParameterDeclaration

Defined in Language.C.Types

Methods

fmap :: (a -> b) -> ParameterDeclaration a -> ParameterDeclaration b

(<$) :: a -> ParameterDeclaration b -> ParameterDeclaration a

Foldable ParameterDeclaration

Defined in Language.C.Types

Methods

fold :: Monoid m => ParameterDeclaration m -> m

foldMap :: Monoid m => (a -> m) -> ParameterDeclaration a -> m

foldr :: (a -> b -> b) -> b -> ParameterDeclaration a -> b

foldr' :: (a -> b -> b) -> b -> ParameterDeclaration a -> b

foldl :: (b -> a -> b) -> b -> ParameterDeclaration a -> b

foldl' :: (b -> a -> b) -> b -> ParameterDeclaration a -> b

foldr1 :: (a -> a -> a) -> ParameterDeclaration a -> a

foldl1 :: (a -> a -> a) -> ParameterDeclaration a -> a

toList :: ParameterDeclaration a -> [a]

null :: ParameterDeclaration a -> Bool

length :: ParameterDeclaration a -> Int

elem :: Eq a => a -> ParameterDeclaration a -> Bool

maximum :: Ord a => ParameterDeclaration a -> a

minimum :: Ord a => ParameterDeclaration a -> a

sum :: Num a => ParameterDeclaration a -> a

product :: Num a => ParameterDeclaration a -> a

Traversable ParameterDeclaration

Defined in Language.C.Types

Methods

traverse :: Applicative f => (a -> f b) -> ParameterDeclaration a -> f (ParameterDeclaration b)

sequenceA :: Applicative f => ParameterDeclaration (f a) -> f (ParameterDeclaration a)

mapM :: Monad m => (a -> m b) -> ParameterDeclaration a -> m (ParameterDeclaration b)

sequence :: Monad m => ParameterDeclaration (m a) -> m (ParameterDeclaration a)

Eq i => Eq (ParameterDeclaration i)

Defined in Language.C.Types

Methods

(==) :: ParameterDeclaration i -> ParameterDeclaration i -> Bool

(/=) :: ParameterDeclaration i -> ParameterDeclaration i -> Bool

Show i => Show (ParameterDeclaration i)

Defined in Language.C.Types

Methods

showsPrec :: Int -> ParameterDeclaration i -> ShowS

show :: ParameterDeclaration i -> String

showList :: [ParameterDeclaration i] -> ShowS

Pretty i => Pretty (ParameterDeclaration i)

Defined in Language.C.Types

Methods

pretty :: ParameterDeclaration i -> Doc

prettyList :: [ParameterDeclaration i] -> Doc

Parsing

type TypeNames = HashSet CIdentifier

A collection of named types (typedefs)

type CParser i m = (Monad m, Functor m, Applicative m, MonadPlus m, Parsing m, CharParsing m, TokenParsing m, LookAheadParsing m, MonadReader (CParserContext i) m, Hashable i)

All the parsing is done using the type classes provided by the parsers package. You can use the parsing routines with any of the parsers that implement the classes, such as parsec or trifecta.

We parametrize the parsing by the type of the variable identifiers, i. We do so because we use this parser to implement anti-quoters referring to Haskell variables, and thus we need to parse Haskell identifiers in certain positions.

data CParserContext i

cCParserContext :: TypeNames -> CParserContext CIdentifier

runCParser

Arguments

:: Stream s Identity Char

=> CParserContext i

-> String

Source name.

-> s

String to parse.

-> ReaderT (CParserContext i) (Parsec s ()) a

Parser. Anything with type forall m. CParser i m => m a is a valid argument.

-> Either ParseError a

Runs a CParser using parsec.

quickCParser

Arguments

:: CParserContext i

-> String

String to parse.

-> ReaderT (CParserContext i) (Parsec String ()) a

Parser. Anything with type forall m. CParser i m => m a is a valid argument.

-> a

Useful for quick testing. Uses "quickCParser" as source name, and throws an error if parsing fails.

quickCParser_

Arguments

:: String

String to parse.

-> ReaderT (CParserContext CIdentifier) (Parsec String ()) a

Parser. Anything with type forall m. CParser i m => m a is a valid argument.

-> a

Like quickCParser, but uses cCParserContext (const False) as CParserContext.

parseParameterDeclaration :: (CParser i m, Pretty i) => m (ParameterDeclaration i)

parseParameterList :: (CParser i m, Pretty i) => m [ParameterDeclaration i]

parseIdentifier :: CParser i m => m i

parseType :: (CParser i m, Pretty i) => m (Type i)

Convert to and from high-level views

data UntangleErr

Constructors

MultipleDataTypes [DeclarationSpecifier]

NoDataTypes [DeclarationSpecifier]

IllegalSpecifiers String [TypeSpecifier]

Instances

Eq UntangleErr

Defined in Language.C.Types

Methods

(==) :: UntangleErr -> UntangleErr -> Bool

(/=) :: UntangleErr -> UntangleErr -> Bool

Show UntangleErr

Defined in Language.C.Types

Methods

showsPrec :: Int -> UntangleErr -> ShowS

show :: UntangleErr -> String

showList :: [UntangleErr] -> ShowS

Pretty UntangleErr

Defined in Language.C.Types

Methods

pretty :: UntangleErr -> Doc

prettyList :: [UntangleErr] -> Doc

untangleParameterDeclaration :: ParameterDeclaration i -> Either UntangleErr (ParameterDeclaration i)

tangleParameterDeclaration :: forall i. ParameterDeclaration i -> ParameterDeclaration i

To english

describeParameterDeclaration :: Pretty i => ParameterDeclaration i -> Doc

describeType :: Pretty i => Type i -> Doc