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

Phi a => Phi (T a)

Undefined a => Undefined (T a)

C a => C (T 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