LLVM.Extra.Either

LLVM counterpart to Either datatype.

Documentation

data T a b

If isRight, then fromLeft is an undefTuple. If not isRight, then fromRight is an undefTuple. I would prefer a union type, but it was temporarily removed in LLVM-2.8 and did not return since then.

Constructors

Cons

Fields

• isRight :: Value Bool
• fromLeft :: a
• fromRight :: b

Instances

(C a, C b) => C (T a b)

Defined in LLVM.Extra.Memory

Associated Types

type Struct (T a b)

Methods

load :: Value (Ptr (Struct (T a b))) -> CodeGenFunction r (T a b)

store :: T a b -> Value (Ptr (Struct (T a b))) -> CodeGenFunction r ()

decompose :: Value (Struct (T a b)) -> CodeGenFunction r (T a b)

compose :: T a b -> CodeGenFunction r (Value (Struct (T a b)))

(Phi a, Phi b) => Phi (T a b)

Defined in LLVM.Extra.EitherPrivate

Methods

phi :: BasicBlock -> T a b -> CodeGenFunction r (T a b)

addPhi :: BasicBlock -> T a b -> T a b -> CodeGenFunction r ()

(Undefined a, Undefined b) => Undefined (T a b)

Defined in LLVM.Extra.EitherPrivate

Methods

undef :: T a b

type Struct (T a b)

Defined in LLVM.Extra.Memory

type Struct (T a b) = Struct (Bool, (Struct a, (Struct b, ())))

run :: Phi c => T a b -> (a -> CodeGenFunction r c) -> (b -> CodeGenFunction r c) -> CodeGenFunction r c

counterpart to either

getIsLeft :: T a b -> CodeGenFunction r (Value Bool)

mapLeft :: (a0 -> a1) -> T a0 b -> T a1 b

mapRight :: (b0 -> b1) -> T a b0 -> T a b1

left :: Undefined b => a -> T a b

right :: Undefined a => b -> T a b