llvm-dsl-0.1: Support for writing an EDSL with LLVM-JIT as target

Safe HaskellNone
LanguageHaskell98

LLVM.DSL.Expression.Maybe

Synopsis

Documentation

data T a Source #

Constructors

Cons (Exp Bool) a 
Instances
Aggregate exp mv => Aggregate (T exp) (T mv) Source # 
Instance details

Defined in LLVM.DSL.Expression.Maybe

Associated Types

type MultiValuesOf (T exp) :: Type Source #

type ExpressionsOf (T mv) :: Type Source #

Methods

bundle :: T exp -> CodeGenFunction r (T0 mv) Source #

dissect :: T0 mv -> T exp Source #

type MultiValuesOf (T exp) Source # 
Instance details

Defined in LLVM.DSL.Expression.Maybe

type MultiValuesOf (T exp) = T (MultiValuesOf exp)

select :: Select a => T (Exp a) -> Exp a -> Exp a Source #

counterpart to fromMaybe with swapped arguments