Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
LLVM counterpart to Maybe
datatype.
Synopsis
- data T a = Cons {}
- 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
If isJust = False
, then fromJust
is an undefTuple
.
Instances
Functor T Source # | |
C a => C (T a) Source # | |
Defined in LLVM.Extra.Memory | |
Phi a => Phi (T a) Source # | |
Defined in LLVM.Extra.MaybePrivate phi :: BasicBlock -> T a -> CodeGenFunction r (T a) Source # addPhi :: BasicBlock -> T a -> T a -> CodeGenFunction r () Source # | |
Undefined a => Undefined (T a) Source # | |
Defined in LLVM.Extra.MaybePrivate | |
type Struct (T a) Source # | |
Defined in LLVM.Extra.Memory |
run :: Phi b => T a -> CodeGenFunction r b -> (a -> CodeGenFunction r b) -> CodeGenFunction r b Source #
counterpart to maybe
for :: T a -> (a -> CodeGenFunction r ()) -> CodeGenFunction r () Source #
select :: Select a => T a -> a -> CodeGenFunction r a Source #
counterpart to fromMaybe
with swapped arguments
alternative :: Select a => T a -> T a -> CodeGenFunction r (T a) Source #
getIsNothing :: T a -> CodeGenFunction r (Value Bool) Source #
sequence :: T (CodeGenFunction r a) -> CodeGenFunction r (T a) Source #
traverse :: (a -> CodeGenFunction r b) -> T a -> CodeGenFunction r (T b) Source #
liftM2 :: (a -> b -> CodeGenFunction r c) -> T a -> T b -> CodeGenFunction r (T c) Source #
loopWithExit :: Phi a => a -> (a -> CodeGenFunction r (T c, b)) -> ((c, b) -> CodeGenFunction r a) -> CodeGenFunction r b Source #