Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Alternative to defineFunction
that creates the final ret
instruction for you.
Synopsis
- class FunctionArgs f => C f
- type family CodeGen f
- define :: C f => Function f -> CodeGen f -> CodeGenModule ()
- create :: C f => Linkage -> CodeGen f -> CodeGenModule (Function f)
- createNamed :: C f => Linkage -> String -> CodeGen f -> CodeGenModule (Function f)
- class IsFirstClass a => Return a
- type family Result a
- ret :: Return a => Result a -> CodeGenFunction a ()
Documentation
class FunctionArgs f => C f Source #
CodeGen (a->b->...-> IO z) = Value a -> Value b -> ... CodeGenFunction r (Value z)@.
addRet
createNamed :: C f => Linkage -> String -> CodeGen f -> CodeGenModule (Function f) Source #
class IsFirstClass a => Return a Source #
Instances
Return Int16 Source # | |
Return Int32 Source # | |
Return Int64 Source # | |
Return Int8 Source # | |
Return Word16 Source # | |
Return Word32 Source # | |
Return Word64 Source # | |
Return Word8 Source # | |
Return () Source # | |
Defined in LLVM.Extra.Function ret :: Result () -> CodeGenFunction () () Source # | |
Return Bool Source # | |
Return Double Source # | |
Return Float Source # | |
Return Int Source # | |
Return Word Source # | |
IsFunction a => Return (FunPtr a) Source # | |
Return (Ptr a) Source # | |
Return (StablePtr a) Source # | |
IsType a => Return (Ptr a) Source # | |
Defined in LLVM.Extra.Function ret :: Result (Ptr a) -> CodeGenFunction (Ptr a) () Source # |