Safe Haskell	None
Language	Haskell2010

Haskus.Binary.Serialize.File

Synopsis

data FileGetState = FileGetState {
- fileGetHandle :: !Handle
}
newtype FileGetT m a = FileGetT (StateT FileGetState m a)
runFileGet :: Handle -> FileGetT IO a -> IO a
runFilePathGet :: FilePath -> FileGetT IO a -> IO a

Documentation

data FileGetState Source #

FileGetT state

Constructors

FileGetState
Fields fileGetHandle :: !Handle

newtype FileGetT m a Source #

A Get monad over a File

Constructors

FileGetT (StateT FileGetState m a)

Instances

Monad m => Monad (FileGetT m) Source #
Instance details Defined in Haskus.Binary.Serialize.File Methods (>>=) :: FileGetT m a -> (a -> FileGetT m b) -> FileGetT m b # (>>) :: FileGetT m a -> FileGetT m b -> FileGetT m b # return :: a -> FileGetT m a # fail :: String -> FileGetT m a #
Functor m => Functor (FileGetT m) Source #
Instance details Defined in Haskus.Binary.Serialize.File Methods fmap :: (a -> b) -> FileGetT m a -> FileGetT m b # (<$) :: a -> FileGetT m b -> FileGetT m a #
MonadFix m => MonadFix (FileGetT m) Source #
Instance details Defined in Haskus.Binary.Serialize.File Methods mfix :: (a -> FileGetT m a) -> FileGetT m a #
MonadFail m => MonadFail (FileGetT m) Source #
Instance details Defined in Haskus.Binary.Serialize.File Methods fail :: String -> FileGetT m a #
Monad m => Applicative (FileGetT m) Source #
Instance details Defined in Haskus.Binary.Serialize.File Methods pure :: a -> FileGetT m a # (<>) :: FileGetT m (a -> b) -> FileGetT m a -> FileGetT m b # liftA2 :: (a -> b -> c) -> FileGetT m a -> FileGetT m b -> FileGetT m c # (>) :: FileGetT m a -> FileGetT m b -> FileGetT m b # (<*) :: FileGetT m a -> FileGetT m b -> FileGetT m a #
MonadIO m => MonadIO (FileGetT m) Source #
Instance details Defined in Haskus.Binary.Serialize.File Methods liftIO :: IO a -> FileGetT m a #
MonadIO m => GetMonad (FileGetT m) Source #
Instance details Defined in Haskus.Binary.Serialize.File Methods getWord8 :: FileGetT m Word8 Source # getWord16 :: FileGetT m Word16 Source # getWord32 :: FileGetT m Word32 Source # getWord64 :: FileGetT m Word64 Source # getWord8s :: Word -> FileGetT m [Word8] Source # getWord16s :: Word -> FileGetT m [Word16] Source # getWord32s :: Word -> FileGetT m [Word32] Source # getWord64s :: Word -> FileGetT m [Word64] Source # getBuffer :: Word -> FileGetT m BufferI Source # getBufferInto :: Word -> Buffer Mutable pin gc heap -> Maybe Word -> FileGetT m () Source # getSkipBytes :: Word -> FileGetT m () Source #

runFileGet :: Handle -> FileGetT IO a -> IO a Source #

Run a getter on a file

runFilePathGet :: FilePath -> FileGetT IO a -> IO a Source #

Run a getter on a file