hdirect-0.21.0: An IDL compiler for Haskell

AbstractH

Documentation

data HTopDecl Source

Constructors

HMod HModule 
HInclude String 
HLit String 
CLit String 

data HModule Source

Constructors

HModule Name Bool [HExport] [HImport] HDecl 

data HExport Source

Constructors

HExport HIEEntity (Maybe String) 

data HIEEntity Source

Constructors

IEModule Name 
IEVal Name 
IEClass Name 
IEType Name Bool 

Instances

data HImport Source

Constructors

HImport Bool (Maybe Name) Name (Maybe [HIEEntity]) 

data HDecl Source

Constructors

AndDecl HDecl HDecl 
TypeSig Name (Maybe Context) Type 
ValDecl QualName [Pat] [GuardedExpr] 
Primitive Bool CallConv LocSpec Name Type Bool [(Bool, String)] (Bool, String) 
PrimCast CallConv Name Type Bool [(Bool, String)] (Bool, String) 
Entry CallConv Name Name Type 
Callback CallConv Name Type 
ExtLabel Name Name Type 
TyD TyDecl 
Class Context ClassName [TyVar] [HDecl] 
Instance Context ClassName Type [HDecl] 
Include String 
Haskell String 
CCode String 
EmptyDecl 

type LocSpec = (String, Maybe Integer, String, Maybe Int)Source

type ClassName = QualNameSource

data Context Source

Constructors

CtxtTuple [Context] 
CtxtClass ClassName [Type] 

Instances

data Type Source

Constructors

TyVar Bool TyVar 
TyCon TyCon 
TyApply Type [Type] 
TyList Type 
TyTuple [Type] 
TyFun Type Type 
TyCtxt Context Type 

Instances

data TyDecl Source

Constructors

TypeSyn Name [Name] Type 
TyDecl TyDeclKind Name [Name] [ConDecl] [QualName] 

data TyDeclKind Source

Constructors

Data 
Newtype 

data ConDecl Source

Constructors

ConDecl Name [BangType] 
RecDecl Name [(Name, BangType)] 

data BangType Source

Constructors

Banged Type 
Unbanged Type 

type TyVar = QualNameSource

type TyCon = QualNameSource

data GuardedExpr Source

Constructors

GExpr [Expr] Expr 

data Expr Source

Constructors

Lit Literal 
Lam [Pat] Expr 
Apply Expr [Expr] 
RApply Expr Expr 
Tup [Expr] 
List [Expr] 
InfixOp Expr VarName Expr 
BinOp BinaryOp Expr Expr 
UnOp UnaryOp Expr 
Bind Expr Pat Expr 
Bind_ Expr Expr 
Return Expr 
Case Expr [CaseAlt] 
If Expr Expr Expr 
Let [Binding] Expr 
Var VarName 
Con ConName 
WithTy Expr Type 

data Binding Source

Constructors

Binder Name Expr 

type VarName = QualNameSource

type ConName = QualNameSource

data Pat Source

Constructors

PatVar VarName 
PatLit Literal 
PatWildCard 
PatTuple [Pat] 
PatAs VarName Pat 
PatCon ConName [Pat] 
PatList [Pat] 
PatIrrefut Pat 
PatRecord VarName [(VarName, Pat)] 

data CaseAlt Source

Constructors

Alt Pat [GuardedExpr] 
Default (Maybe VarName) Expr