llvm-dsl-0.1.2: Support for writing an EDSL with LLVM-JIT as target
Safe HaskellSafe-Inferred
LanguageHaskell98

LLVM.DSL.Expression.Maybe

Synopsis

Documentation

data T a Source #

Constructors

Cons (Exp Bool) a 

Instances

Instances details
Aggregate exp mv => Aggregate (T exp) (T mv) Source # 
Instance details

Defined in LLVM.DSL.Expression.Maybe

Associated Types

type MultiValuesOf (T exp) Source #

type ExpressionsOf (T mv) 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