Language.Embedded.Backend.C.Expression

Documentation

class FreeExp exp => CompExp exp where

General interface for compiling expressions

Methods

compExp :: MonadC m => exp a -> m Exp

Compilation of expressions

Instances

CompExp CExp

Defined in Language.Embedded.CExp

Methods

compExp :: MonadC m => CExp a -> m Exp

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

Types supported by C

Minimal complete definition

cType

Methods

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

cLit :: MonadC m => a -> m Exp

default cLit :: (ToExp a, MonadC m) => a -> m Exp

Instances

CompTypeClass CType

Defined in Language.Embedded.Backend.C.Expression

Methods

compType :: (CType a, MonadC m) => proxy1 CType -> proxy2 a -> m Type

compLit :: (CType a, MonadC m) => proxy CType -> a -> m Exp

CType Bool

Defined in Language.Embedded.Backend.C.Expression

Methods

cType :: MonadC m => proxy Bool -> m Type

cLit :: MonadC m => Bool -> m Exp

CType Double

Defined in Language.Embedded.Backend.C.Expression

Methods

cType :: MonadC m => proxy Double -> m Type

cLit :: MonadC m => Double -> m Exp

CType Float

Defined in Language.Embedded.Backend.C.Expression

Methods

cType :: MonadC m => proxy Float -> m Type

cLit :: MonadC m => Float -> m Exp

CType Int8

Defined in Language.Embedded.Backend.C.Expression

Methods

cType :: MonadC m => proxy Int8 -> m Type

cLit :: MonadC m => Int8 -> m Exp

CType Int16

Defined in Language.Embedded.Backend.C.Expression

Methods

cType :: MonadC m => proxy Int16 -> m Type

cLit :: MonadC m => Int16 -> m Exp

CType Int32

Defined in Language.Embedded.Backend.C.Expression

Methods

cType :: MonadC m => proxy Int32 -> m Type

cLit :: MonadC m => Int32 -> m Exp

CType Int64

Defined in Language.Embedded.Backend.C.Expression

Methods

cType :: MonadC m => proxy Int64 -> m Type

cLit :: MonadC m => Int64 -> m Exp

CType Word8

Defined in Language.Embedded.Backend.C.Expression

Methods

cType :: MonadC m => proxy Word8 -> m Type

cLit :: MonadC m => Word8 -> m Exp

CType Word16

Defined in Language.Embedded.Backend.C.Expression

Methods

cType :: MonadC m => proxy Word16 -> m Type

cLit :: MonadC m => Word16 -> m Exp

CType Word32

Defined in Language.Embedded.Backend.C.Expression

Methods

cType :: MonadC m => proxy Word32 -> m Type

cLit :: MonadC m => Word32 -> m Exp

CType Word64

Defined in Language.Embedded.Backend.C.Expression

Methods

cType :: MonadC m => proxy Word64 -> m Type

cLit :: MonadC m => Word64 -> m Exp

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

Remove one layer of a nested proxy

class CompTypeClass ct where

Classes that support reification to C types

Methods

compType :: (ct a, MonadC m) => proxy1 ct -> proxy2 a -> m Type

compLit :: (ct a, MonadC m) => proxy ct -> a -> m Exp

Instances

CompTypeClass CType

Defined in Language.Embedded.Backend.C.Expression

Methods

compType :: (CType a, MonadC m) => proxy1 CType -> proxy2 a -> m Type

compLit :: (CType a, MonadC m) => proxy CType -> a -> m Exp

proxyPred :: cmd (Param3 p e pred) a -> Proxy pred

Get the type predicate from an instruction type

freshVar :: forall m ct proxy a. (MonadC m, CompTypeClass ct, ct a) => proxy ct -> m (Val a)

Create and declare a fresh variable