| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
CheckedIO.Foreign
Contents
Synopsis
- newtype CString s = CString {}
- withCString :: MonadRunAsIOE e m => String -> (forall s. CString s -> m a) -> m (Either EncodingError a)
- fromCString :: MonadRunIOE e m => CString s -> m (Either EncodingError String)
- data EncodingError = EncodingError String
Documentation
A Ptr CChar with a state s to ensure that it's not used
after being destroyed.
withCString :: MonadRunAsIOE e m => String -> (forall s. CString s -> m a) -> m (Either EncodingError a) Source #
fromCString :: MonadRunIOE e m => CString s -> m (Either EncodingError String) Source #
Encodings
data EncodingError Source #
Constructors
| EncodingError String |
Instances
| Exception EncodingError Source # | |
Defined in CheckedIO.Foreign Methods toException :: EncodingError -> SomeException # fromException :: SomeException -> Maybe EncodingError # displayException :: EncodingError -> String # | |
| Show EncodingError Source # | |
Defined in CheckedIO.Foreign Methods showsPrec :: Int -> EncodingError -> ShowS # show :: EncodingError -> String # showList :: [EncodingError] -> ShowS # | |
| Eq EncodingError Source # | |
Defined in CheckedIO.Foreign Methods (==) :: EncodingError -> EncodingError -> Bool # (/=) :: EncodingError -> EncodingError -> Bool # | |