Haskus.Binary.Serialize.File

Documentation

data FileGetState

FileGetT state

Constructors

FileGetState

Fields

• fileGetHandle :: !Handle

newtype FileGetT m a

A Get monad over a File

Constructors

FileGetT (StateT FileGetState m a)

Instances

Monad m => Monad (FileGetT m)

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)

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)

Defined in Haskus.Binary.Serialize.File

Methods

mfix :: (a -> FileGetT m a) -> FileGetT m a

MonadFail m => MonadFail (FileGetT m)

Defined in Haskus.Binary.Serialize.File

Methods

fail :: String -> FileGetT m a

Monad m => Applicative (FileGetT m)

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)

Defined in Haskus.Binary.Serialize.File

Methods

liftIO :: IO a -> FileGetT m a

MonadIO m => GetMonad (FileGetT m)

Defined in Haskus.Binary.Serialize.File

Methods

getWord8 :: FileGetT m Word8

getWord16 :: FileGetT m Word16

getWord32 :: FileGetT m Word32

getWord64 :: FileGetT m Word64

getWord8s :: Word -> FileGetT m [Word8]

getWord16s :: Word -> FileGetT m [Word16]

getWord32s :: Word -> FileGetT m [Word32]

getWord64s :: Word -> FileGetT m [Word64]

getBuffer :: Word -> FileGetT m BufferI

getBufferInto :: Word -> Buffer Mutable pin gc heap -> Maybe Word -> FileGetT m ()

getSkipBytes :: Word -> FileGetT m ()

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

Run a getter on a file

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

Run a getter on a file