LLVM.Extra.Maybe

Description

Synopsis

• data T a = Cons {
  • isJust :: Value Bool
  • fromJust :: a
  }
• run :: Phi b => T a -> CodeGenFunction r b -> (a -> CodeGenFunction r b) -> CodeGenFunction r b
• for :: T a -> (a -> CodeGenFunction r ()) -> CodeGenFunction r ()
• select :: Select a => T a -> a -> CodeGenFunction r a
• alternative :: Select a => T a -> T a -> CodeGenFunction r (T a)
• fromBool :: Value Bool -> a -> T a
• 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

Documentation