LLVM.DSL.Expression.Maybe

Documentation

data T a

Constructors

Cons (Exp Bool) a

Instances

Aggregate exp mv => Aggregate (T exp) (T mv)

Defined in LLVM.DSL.Expression.Maybe

Associated Types

type MultiValuesOf (T exp) :: Type

type ExpressionsOf (T mv) :: Type

Methods

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

dissect :: T0 mv -> T exp

type MultiValuesOf (T exp)

Defined in LLVM.DSL.Expression.Maybe

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

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

counterpart to fromMaybe with swapped arguments