LLVM.Extra.Maybe

LLVM counterpart to Maybe datatype.

Documentation

data T a

If isJust = False, then fromJust is an undefTuple.

Constructors

Cons

Fields

• isJust :: Value Bool
• fromJust :: a

Instances

Functor T

Defined in LLVM.Extra.MaybePrivate

Methods

fmap :: (a -> b) -> T a -> T b

(<$) :: a -> T b -> T a

C a => C (T a)

Defined in LLVM.Extra.Memory

Associated Types

type Struct (T a)

Methods

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

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

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

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

Phi a => Phi (T a)

Defined in LLVM.Extra.MaybePrivate

Methods

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

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

Undefined a => Undefined (T a)

Defined in LLVM.Extra.MaybePrivate

Methods

undef :: T a

type Struct (T a)

Defined in LLVM.Extra.Memory

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

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

counterpart to maybe

for :: T a -> (a -> CodeGenFunction r ()) -> CodeGenFunction r ()

select :: Select a => T a -> a -> CodeGenFunction r a

counterpart to fromMaybe with swapped arguments

alternative :: Select a => T a -> T a -> CodeGenFunction r (T a)

fromBool :: Value Bool -> a -> T a

counterpart to Data.Maybe.HT.toMaybe

toBool :: T a -> (Value Bool, a)

getIsNothing :: T a -> CodeGenFunction r (Value Bool)

just :: a -> T a

nothing :: Undefined a => T a

sequence :: T (CodeGenFunction r a) -> CodeGenFunction r (T a)

traverse :: (a -> CodeGenFunction r b) -> T a -> CodeGenFunction r (T b)

lift2 :: (a -> b -> c) -> T a -> T b -> CodeGenFunction r (T c)

liftM2 :: (a -> b -> CodeGenFunction r c) -> T a -> T b -> CodeGenFunction r (T c)

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