| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Lang.Crucible.LLVM.MalformedLLVMModule
Synopsis
- data MalformedLLVMModule = MalformedLLVMModule (Doc Void) [Doc Void]
- malformedLLVMModule :: Doc Void -> [Doc Void] -> a
- renderMalformedLLVMModule :: MalformedLLVMModule -> Doc Void
Documentation
data MalformedLLVMModule Source #
This datatype represents an exception that occurs when an LLVM module is broken in some way; for example, if the types of expressions do not match up in some way. The first argument is a short description of the error, and the remaining arguments are any additional details describing the error.
Constructors
| MalformedLLVMModule (Doc Void) [Doc Void] |
Instances
| Exception MalformedLLVMModule Source # | |
Defined in Lang.Crucible.LLVM.MalformedLLVMModule Methods toException :: MalformedLLVMModule -> SomeException # fromException :: SomeException -> Maybe MalformedLLVMModule # | |
| Show MalformedLLVMModule Source # | |
Defined in Lang.Crucible.LLVM.MalformedLLVMModule Methods showsPrec :: Int -> MalformedLLVMModule -> ShowS # show :: MalformedLLVMModule -> String # showList :: [MalformedLLVMModule] -> ShowS # | |