Safe Haskell	None
Language	Haskell2010

Language.Embedded.Backend.C.Expression

Synopsis

Documentation

class FreeExp exp => CompExp exp where Source

General interface for compiling expressions

Methods

Compilation of expressions

Instances

class (Show a, Eq a, Typeable a) => CType a where Source

Types supported by C

Minimal complete definition

Methods

cType :: MonadC m => proxy a -> m Type Source

Instances

ShowClass CType Source
CType Bool Source
CType Double Source
CType Float Source
CType Int8 Source
CType Int16 Source
CType Int32 Source
CType Int64 Source
CType Word8 Source
CType Word16 Source
CType Word32 Source
CType Word64 Source
Witness CType BoolType t Source
Witness CType FloatType t Source
Witness CType DoubleType t Source
Witness CType IntWordType t Source
PWitness CType TupleType t Source
PWitness CType BoolType t Source
PWitness CType CharType t Source
PWitness CType FloatType t Source
PWitness CType DoubleType t Source
PWitness CType ListType t Source
PWitness CType FunType t Source
PWitness CType IntWordType t Source
Arg (* -> Constraint) PtrArg CType Source
Arg (* -> Constraint) IArrArg CType Source
Arg (* -> Constraint) ArrArg CType Source
Arg (* -> Constraint) RefArg CType Source
CompExp exp => Arg (* -> Constraint) (FunArg * exp) CType Source

proxyArg :: proxy1 (proxy2 a) -> Proxy a Source

Remove one layer of a nested proxy

freshVar :: forall m a. (MonadC m, CType a) => m (Val a) Source

Create and declare a fresh variable